Ce projet héberge des codes et documents liés à des recherches en mathématiques et informatique théorique. Il propose des implémentations d'algorithmes pour résoudre des équations différentielles polynomiales et transformer des équations différentielles en équations algébriques différentielles. Ces travaux s'appuient sur des publications scientifiques et visent à expérimenter des méthodes théoriques.