Pages that link to "Item:Q865930"

The following pages link to A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930):

Displaying 33 items.

• DISCOVERER (Q19736) (← links)
• Recent advances in program verification through computer algebra (Q351971) (← links)
• Modular composition modulo triangular sets and applications (Q371190) (← links)
• Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
• Some geometric properties of successive difference substitutions (Q415953) (← links)
• Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
• Gröbner bases for polynomial systems with parameters (Q607062) (← links)
• Solving parametric piecewise polynomial systems (Q651936) (← links)
• Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
• Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
• Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
• The maximum number and its distribution of singular points for parametric piecewise algebraic curves (Q1675395) (← links)
• An equivalence theorem for regular differential chains (Q1733300) (← links)
• An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897) (← links)
• Parameter identification on abelian integrals to achieve Chebyshev property (Q2033878) (← links)
• Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
• Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
• Solving parametric systems of polynomial equations over the reals through Hermite matrices (Q2117425) (← links)
• Dynamic behaviors of a symmetrically coupled period-doubling system (Q2122209) (← links)
• The monotonicity of ratios of some abelian integrals (Q2220332) (← links)
• On the extended Hensel construction and its application to the computation of real limit points (Q2284954) (← links)
• Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
• Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
• Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
• Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
• A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
• A probabilistic algorithm for computing data-discriminants of likelihood equations (Q2628325) (← links)
• An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks (Q4627647) (← links)
• Analysis of Snapback Repellers Using Methods of Symbolic Computation (Q4632158) (← links)
• Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
• Dynamics in a discrete time model of logistic type (Q5095231) (← links)
• A program to create new geometry proof problems (Q6185788) (← links)