DISCOVERER
From MaRDI portal
swMATH7719MaRDI QIDQ19736FDOQ19736
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-540-69149-5_58
Cited In (77)
- Computing switching surfaces in optimal control based on triangular decomposition
- VerifyRealRoots
- Discovering non-terminating inputs for multi-path polynomial programs
- Signature-based method of deciding program~termination
- Dynamics in a discrete time model of logistic type
- Witness to non-termination of linear programs
- Computer discovered mathematics and applications in education
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
- Chemical reaction systems, computer algebra and systems biology. (Invited talk)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- An algorithm for isolating the real solutions of semi-algebraic systems
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- A review and prospect of readable machine proofs for geometry theorems
- The monotonicity of ratios of some abelian integrals
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks
- Real solution isolation with multiplicity of zero-dimensional triangular systems
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
- Formal modelling, analysis and verification of hybrid systems
- Modular composition modulo triangular sets and applications
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- Solving parametric systems of polynomial equations over the reals through Hermite matrices
- Algorithms for computing triangular decomposition of polynomial systems
- Machine learning the real discriminant locus
- Real zeros of the zero-dimensional parametric piecewise algebraic variety
- Chordality preserving incremental triangular decomposition and its implementation
- Symbolic computation for the qualitative theory of differential equations
- On solving parametric polynomial systems
- Analysis of Snapback Repellers Using Methods of Symbolic Computation
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- On the extended Hensel construction and its application to the computation of real limit points
- Automated inequality proving and discovering
- Dynamic behaviors of a symmetrically coupled period-doubling system
- Parameter identification on abelian integrals to achieve Chebyshev property
- Generic regular decompositions for parametric polynomial systems
- Solving parametric piecewise polynomial systems
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
- Special algorithm for stability analysis of multistable biological regulatory systems
- A class of mechanically decidable problems beyond Tarski's model
- Epsilon
- QEPCAD
- RAGlib
- TERMINATOR
- PHCpack
- BPAS
- DifferentialThomas
- BOTTEMA
- Wsolve
- OpenXM
- SMRSOFT
- DifferentialAlgebra
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Emscripten
- ConstructibleSetTools
- ParametricSystemTools
- Gröbner bases for polynomial systems with parameters
- Chordal
- HOARD ATINF
- Real root classification of parametric spline functions
- The maximum number and its distribution of singular points for parametric piecewise algebraic curves
- Domain-of-attraction estimation for uncertain non-polynomial systems
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
- Recent advances in program verification through computer algebra
- Symbolic decision procedure for termination of linear programs
- Termination of linear programs with nonlinear constraints
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Stability analysis for discrete biological models using algebraic methods
- Collision and intersection detection of two ruled surfaces using bracket method
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods
- A systematic approach for doing an a priori identifiability study of dynamical nonlinear models
- An equivalence theorem for regular differential chains
- Generic regular decompositions for generic zero-dimensional systems
- Exact safety verification of hybrid systems using sums-of-squares representation
- Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems
This page was built for software: DISCOVERER
