The following pages link to (Q4946077):
Displaying 11 items.
- DISCOVERER (Q19736) (← links)
- A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930) (← links)
- Application of Sturm theorem in the global controllability of a class of high dimensional polynomial systems (Q905141) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. (Q1416272) (← links)
- An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897) (← links)
- On solving parametric polynomial systems (Q1949089) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)
- Comprehensive characteristic decomposition of parametric polynomial systems (Q6666527) (← links)