DISCOVERER

swMATH7719MaRDI QIDQ19736FDOQ19736

Author name not available (Why is that?)

Described by source

• Unnamed Publication
• A complete algorithm for automated discovering of a class of inequality-type theorems

Cited In (59)

• 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
• 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
• Discovering non-terminating inputs for multi-path polynomial programs
• Machine learning the real discriminant locus
• Real zeros of the zero-dimensional parametric piecewise algebraic variety
• Witness to non-termination of linear programs
• 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
• Formal Modelling, Analysis and Verification of Hybrid Systems
• 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
• Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces
• A class of mechanically decidable problems beyond Tarski's model
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• Gröbner bases for polynomial systems with parameters
• 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
• Automated Inequality Proving and Discovering
• 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
• Chordality Preserving Incremental Triangular Decomposition and Its Implementation
• 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
• 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
• Solution to the generalized champagne problem on simultaneous stabilization of linear systems
• Signature-Based Method of Deciding Program Termination
• Chemical Reaction Systems, Computer Algebra and Systems Biology
• Dynamics in a discrete time model of logistic type
• Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition
• Title not available (Why is that?)

This page was built for software: DISCOVERER