DISCOVERER
From MaRDI portal
Software:19736
No author found.
Related Items (59)
Dynamic behaviors of a symmetrically coupled period-doubling system ⋮ Unnamed Item ⋮ Chordality Preserving Incremental Triangular Decomposition and Its Implementation ⋮ Automated Inequality Proving and Discovering ⋮ Recent advances in program verification through computer algebra ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems ⋮ Modular composition modulo triangular sets and applications ⋮ Termination of linear programs with nonlinear constraints ⋮ The maximum number and its distribution of singular points for parametric piecewise algebraic curves ⋮ Gröbner bases for polynomial systems with parameters ⋮ Dynamics in a discrete time model of logistic type ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Generating exact nonlinear ranking functions by symbolic-numeric hybrid method ⋮ Machine learning the real discriminant locus ⋮ Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces ⋮ Real root classification of parametric spline functions ⋮ Collision and intersection detection of two ruled surfaces using bracket method ⋮ Generic regular decompositions for parametric polynomial systems ⋮ Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems ⋮ On solving parametric polynomial systems ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. ⋮ Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Generating Polynomial Invariants with DISCOVERER and QEPCAD ⋮ Solving parametric piecewise polynomial systems ⋮ Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification ⋮ The monotonicity of ratios of some abelian integrals ⋮ An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks ⋮ Analysis of Snapback Repellers Using Methods of Symbolic Computation ⋮ An equivalence theorem for regular differential chains ⋮ 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 ⋮ Solution to the generalized champagne problem on simultaneous stabilization of linear systems ⋮ A class of mechanically decidable problems beyond Tarski's model ⋮ Symbolic decision procedure for termination of linear programs ⋮ Real solution isolation with multiplicity of zero-dimensional triangular systems ⋮ Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition ⋮ Parameter identification on abelian integrals to achieve Chebyshev property ⋮ On the extended Hensel construction and its application to the computation of real limit points ⋮ Signature-Based Method of Deciding Program Termination ⋮ Real Root Isolation of Polynomial Equations Based on Hybrid Computation ⋮ Domain-of-attraction estimation for uncertain non-polynomial systems ⋮ Chemical Reaction Systems, Computer Algebra and Systems Biology ⋮ Real zeros of the zero-dimensional parametric piecewise algebraic variety ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ Generic regular decompositions for generic zero-dimensional systems ⋮ Discovering non-terminating inputs for multi-path polynomial programs ⋮ Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure ⋮ Special algorithm for stability analysis of multistable biological regulatory systems ⋮ An algorithm for isolating the real solutions of semi-algebraic systems ⋮ Solving parametric systems of polynomial equations over the reals through Hermite matrices ⋮ Witness to non-termination of linear programs
This page was built for software: DISCOVERER
