scientific article; zbMATH DE number 1421053
From MaRDI portal
Publication:4946077
Recommendations
- scientific article; zbMATH DE number 1293322
- scientific article; zbMATH DE number 1745034
- scientific article; zbMATH DE number 4072432
- Automatted geometry theorem proving
- Automated inequality proving and discovering
- scientific article; zbMATH DE number 4160161
- scientific article; zbMATH DE number 1421051
- Automated discovery of geometric theorems based on vector equations
Cited in
(17)- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
- An algorithm for isolating the real solutions of semi-algebraic systems
- On solving parametric polynomial systems
- Recent advances in automated theorem proving on inequalities
- DISCOVERER
- On one method of proving inequalities in automated way
- Automated inequality proving and discovering
- scientific article; zbMATH DE number 1293322 (Why is no real title available?)
- scientific article; zbMATH DE number 1745034 (Why is no real title available?)
- The automatic detection and judgment of two triangle inequalities related to the program agl2010 through inequalities
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
- A Direttissimo Algorithm for Equidimensional Decomposition
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
- Comprehensive characteristic decomposition of parametric polynomial systems
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Application of Sturm theorem in the global controllability of a class of high dimensional polynomial systems
- Generic regular decompositions for parametric polynomial systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4946077)
