FirstOrderSolve, a Maple software-package for computing local and algebraic solutions of first order autonomous AODEs.
Developed and published together with J. Cano, F. Boulier and J.R. Sendra, available at https://risc.jku.at/sw/firstordersolve/
The Algebro-Geometric Method: solving algebraic differential equations by parametrizations (together with J.J. Mitteramskogler, J.R. Sendra, F. Winkler). Bulletin of the AMS, 2022.
18. Infinite matroids in tropical differential algebra (with F. Aroca, L. Bossinger, C. Garay, L. Gonzalez-Ramirez, C. Valencia Negrete). Canadian Mathematical Bulletin, 2025.
17. Rational solutions of parametric first-order algebraic differential equations (with J.R. Sendra). Bulletin des Sciences Mathématiques, 2025.
16. On real and observable realizations of input-output equations (with D. Pavlov, J.R. Sendra). Systems & Control Letters, 2025.
15. Rationality and parametrizations of algebraic curves under specializations (with J.R. Sendra). Journal of Algebra, 2024.
14. Algorithm for globally identifiable reparametrizions of ODEs (with A. Ovchinnikov, J.R. Sendra). Journal of Symbolic Computation, 2024.
13. Tropical initial degeneration for system of algebraic differential equations (with L. Bossinger, C. Garay, M.P. Noordman). Boletín de la Sociedad Matemática Mexicana, 2024.
12. Transforming radical differential equations to algebraic differential equations (with J.R. Sendra). Mediterranean Journal of Mathematics, 2024.
11. Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs. International Symposium on Symbolic and Algebraic Computation, 2022.
10. Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables (with J. Cano, D. Robertz, J.R. Sendra). Journal of Symbolic Computation, 2022.
9. Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package (with F. Boulier, J. Cano, J.R. Sendra). Proceedings of Maple Conference'20, 2021.
8. On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry (with F. Boulier, M.P. Noordman, O.L. Sánchez). International Workshop on Computer Algebra in Scientific Computing, 2021.
7. On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry (with C. Garay-López, M. Haiech, M.P. Noordman, F. Boulier, Z. Toghani). Journal of Symbolic Computation, 2022.
6. The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry (with C. Garay-López, M. Haiech, M.P. Noordman, Z. Toghani, F. Boulier). International Symposium on Symbolic and Algebraic Computation, 2020.
5. Power Series Solutions of AODEs – Existence, Uniqueness, Convergence and Computation (PhD Thesis). Johannes Kepler University Linz, 2020.
4. On Formal Power Series Solutions of Algebraic Ordinary Differential Equations (with N. Thieu Vo, Y. Zhang). Mediterranean Journal of Mathematics, 2022.
3. Existence and convergence of Puiseux series solutions for first order autonomous differential equations (with J. Cano, J.R. Sendra). Journal of Symbolic Computation, 2022.
2. Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One (with J. Cano, J.R. Sendra). Mathematics in Computer Science, 2021.
1.Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places (with J.R. Sendra). Mathematics in Computer Science, 2020.