The following pages link to DISCOVERER (Q19736):
Displayed 50 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems (Q369723) (← links)
- Modular composition modulo triangular sets and applications (Q371190) (← links)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- Real solution isolation with multiplicity of zero-dimensional triangular systems (Q543162) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- Collision and intersection detection of two ruled surfaces using bracket method (Q631071) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- A systematic approach for doing an a priori identifiability study of dynamical nonlinear models (Q669172) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Real root classification of parametric spline functions (Q902826) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. (Q1416272) (← links)
- The maximum number and its distribution of singular points for parametric piecewise algebraic curves (Q1675395) (← links)
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q1690489) (← links)
- An equivalence theorem for regular differential chains (Q1733300) (← links)
- An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897) (← links)
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
- On solving parametric polynomial systems (Q1949089) (← links)
- Parameter identification on abelian integrals to achieve Chebyshev property (Q2033878) (← links)
- Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
- Solving parametric systems of polynomial equations over the reals through Hermite matrices (Q2117425) (← links)
- Dynamic behaviors of a symmetrically coupled period-doubling system (Q2122209) (← links)
- The monotonicity of ratios of some abelian integrals (Q2220332) (← links)
- On the extended Hensel construction and its application to the computation of real limit points (Q2284954) (← links)
- Domain-of-attraction estimation for uncertain non-polynomial systems (Q2300227) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Witness to non-termination of linear programs (Q2357364) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
- Machine learning the real discriminant locus (Q2674017) (← links)
- Signature-Based Method of Deciding Program Termination (Q2799567) (← links)
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation (Q2799571) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- (Q2973565) (← links)
- Chemical Reaction Systems, Computer Algebra and Systems Biology (Q3090893) (← links)