Cited in
(83)- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems
- An algorithm for isolating the real solutions of semi-algebraic systems
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Computing switching surfaces in optimal control based on triangular decomposition
- A review and prospect of readable machine proofs for geometry theorems
- The monotonicity of ratios of some abelian integrals
- Real solution isolation with multiplicity of zero-dimensional triangular systems
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks
- Modular composition modulo triangular sets and applications
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
- Formal modelling, analysis and verification of hybrid systems
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- Algorithms for computing triangular decomposition of polynomial systems
- Solving parametric systems of polynomial equations over the reals through Hermite matrices
- Discovering non-terminating inputs for multi-path polynomial programs
- Machine learning the real discriminant locus
- Signature-based method of deciding program~termination
- Real zeros of the zero-dimensional parametric piecewise algebraic variety
- Witness to non-termination of linear programs
- Dynamics in a discrete time model of logistic type
- 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
- Computer discovered mathematics and applications in education
- 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
- Dynamic behaviors of a symmetrically coupled period-doubling system
- Automated inequality proving and discovering
- Solving parametric piecewise polynomial systems
- Generic regular decompositions for parametric polynomial systems
- Parameter identification on abelian integrals to achieve Chebyshev property
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
- Epsilon
- Kronecker
- PGB
- QEPCAD
- RAGlib
- RegularChains
- LINLBF
- SYNRAC
- REDLOG
- TERMINATOR
- PHCpack
- BPAS
- DifferentialThomas
- BOTTEMA
- Wsolve
- OpenXM
- SMRSOFT
- DifferentialAlgebra
- Emscripten
- ConstructibleSetTools
- ParametricSystemTools
- Chordal
- HOARD ATINF
- Special algorithm for stability analysis of multistable biological regulatory systems
- A class of mechanically decidable problems beyond Tarski's model
- Gröbner bases for polynomial systems with parameters
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Real root classification of parametric spline functions
- The maximum number and its distribution of singular points for parametric piecewise algebraic curves
- VerifyRealRoots
- Domain-of-attraction estimation for uncertain non-polynomial systems
- Recent advances in program verification through computer algebra
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
- Symbolic decision procedure for termination of linear programs
- Termination of linear programs with nonlinear constraints
- Stability analysis for discrete biological models using algebraic methods
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Collision and intersection detection of two ruled surfaces using bracket method
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
- 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
- Chemical reaction systems, computer algebra and systems biology. (Invited talk)
- An equivalence theorem for regular differential chains
- Exact safety verification of hybrid systems using sums-of-squares representation
- Generic regular decompositions for generic zero-dimensional systems
- Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces
This page was built for software: DISCOVERER
