Radical solutions of first order autonomous algebraic ordinary differential equations

DOI10.1145/2608628.2608636zbMath1325.68283OpenAlexW2017653519MaRDI QIDQ3452397

Georg Grasegger

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2608628.2608636

zbMATH Keywords

algebraic curvesalgebraic ordinary differential equationsradical parametrizations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Explicit solutions, first integrals of ordinary differential equations (34A05) Computational aspects of algebraic curves (14Q05) Abstract differential equations (12H20)

Related Items

A heuristic and evolutionary algorithm to optimize the coefficients of curve parametrizations ⋮ Rational Liouvillian solutions of algebraic ordinary differential equations of order one ⋮ Rational general solutions of systems of first-order algebraic partial differential equations ⋮ On the existence of birational surjective parametrizations of affine surfaces ⋮ A solution method for autonomous first-order algebraic partial differential equations ⋮ Birational transformations preserving rational solutions of algebraic ordinary differential equations

Uses Software

• Jordan

Cites Work

• Unnamed Item
• Unnamed Item
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic

This page was built for publication: Radical solutions of first order autonomous algebraic ordinary differential equations