Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra
From MaRDI portal
Publication:6653971
DOI10.4204/EPTCS.352.19MaRDI QIDQ6653971FDOQ6653971
Authors: Zoltán Kovács, R. Vajda 
Publication date: 17 December 2024
Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- QEPCAD B
- Solving parametric polynomial systems by RealComprehensiveTriangularize
- Partial cylindrical algebraic decomposition for quantifier elimination
- Title not available (Why is that?)
- Solving parametric polynomial systems
- Real quantifier elimination is doubly exponential
- Complexity of the resolution of parametric systems of polynomial equations and inequations
- A package for solving parametric polynomial systems
- Title not available (Why is that?)
- Properness defects of projection and minimal discriminant variety
This page was built for publication: Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653971)
