A logic based approach to finding real singularities of implicit ordinary differential equations (Q2035628): Difference between revisions

@@ Property / arXiv ID @@
+.00740
@@ Property / arXiv ID: 2003.00740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040102
@@ Property / cites work: Q4040102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3217281
@@ Property / cites work: Q3217281 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Thomas decomposition of algebraic and differential systems
+Normal rank
@@ Property / cites work @@
+Solving parametric linear systems
@@ Property / cites work: Solving parametric linear systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
+Normal rank
@@ Property / cites work @@
+Q3135197
@@ Property / cites work: Q3135197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Ideals, Varieties, and Algorithms
@@ Property / cites work: Ideals, Varieties, and Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Singularites generiques des equations differentielles multiformes
+Normal rank
@@ Property / cites work @@
+Normal form of a differential equation, not solvable for the derivative, in a neighborhood of a singular point
+Normal rank
@@ Property / cites work @@
+Power series solutions of algebraic differential equations
+Normal rank
@@ Property / cites work @@
+Q4226991
@@ Property / cites work: Q4226991 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification of quantifier-free formulae over ordered fields
+Normal rank
@@ Property / cites work @@
+On decomposition of algebraic PDE systems into simple subsystems
+Normal rank
@@ Property / cites work @@
+The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
+Normal rank
@@ Property / cites work @@
+Q4046802
@@ Property / cites work: Q4046802 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting degenerate behaviors in first order algebraic differential equations
+Normal rank
@@ Property / cites work @@
+Q4138831
@@ Property / cites work: Q4138831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of real radicals of polynomial ideals. II
+Normal rank
@@ Property / cites work @@
+Q3715336
@@ Property / cites work: Q3715336 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal algorithmic elimination for PDEs
@@ Property / cites work: Formal algorithmic elimination for PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+Involution. The formal theory of differential equations and its applications in computer algebra
+Normal rank
@@ Property / cites work @@
+Singular initial value problems for scalar quasi-linear ordinary differential equations
+Normal rank
@@ Property / cites work @@
+An algorithm for solving parametric linear systems
+Normal rank
@@ Property / cites work @@
+New Domains for Applied Quantifier Elimination
@@ Property / cites work: New Domains for Applied Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
+Normal rank
@@ Property / cites work @@
+Thirty Years of Virtual Substitution
@@ Property / cites work: Thirty Years of Virtual Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
+Normal rank
@@ Property / cites work @@
+Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
+Normal rank
@@ Property / cites work @@
+Q5766208
@@ Property / cites work: Q5766208 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585594
@@ Property / cites work: Q5585594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343650
@@ Property / cites work: Q5343650 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Q3374875
@@ Property / cites work: Q3374875 / rank @@
+Normal rank