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

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

Latest revision as of 01:27, 26 July 2024

scientific article
Language Label Description Also known as
English
A logic based approach to finding real singularities of implicit ordinary differential equations
scientific article

    Statements

    A logic based approach to finding real singularities of implicit ordinary differential equations (English)
    0 references
    0 references
    0 references
    0 references
    25 June 2021
    0 references
    implicit differential equations
    0 references
    geometric singularities
    0 references
    Vessiot distribution
    0 references
    real algebraic computations
    0 references
    logic computation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references