Author:
Boulier François,Lemaire François
Publisher
Springer Nature Switzerland
Reference32 articles.
1. Aroca, F., Garay, C., Toghani, Z.: The fundamental theorem of tropical differential algebraic geometry. Pac. J. Math. 283(2), 257–270 (2016). arXiv:1510.01000v3
2. Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symb. Comput. 28, 105–124 (1999)
3. Algorithms and Computation in Mathematics;S Basu,2003
4. Boulier, F., Lemaire, F.: A normal form algorithm for regular differential chains. Math. Comput. Sci. 4(2), 185–201 (2010). https://doi.org/10.1007/s11786-010-0060-3
5. Boulier, F., et al.: DifferentialAlgebra. https://codeberg.org/francois.boulier/DifferentialAlgebra