Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra

DOI10.4204/EPTCS.352.19MaRDI QIDQ6653971zbMATH OpenFDO

Authors Zoltán Kovács, R. Vajda

Publication date 17 December 2024

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1157650 (Why is no real title available?)
• scientific article; zbMATH DE number 3278999 (Why is no real title available?)
• A package for solving parametric polynomial systems
• Complexity of the resolution of parametric systems of polynomial equations and inequations
• Partial cylindrical algebraic decomposition for quantifier elimination
• Properness defects of projection and minimal discriminant variety
• QEPCAD B
• Real quantifier elimination is doubly exponential
• Solving parametric polynomial systems
• Solving parametric polynomial systems by RealComprehensiveTriangularize

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)