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