Pages that link to "Item:Q1662298"
From MaRDI portal
The following pages link to Polynomial constraints and unsat cores in \textsc{Tarski} (Q1662298):
Displaying 8 items.
- Tarski (Q37521) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving (Q5041067) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition (Q6536548) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)