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

DOI10.4204/EPTCS.352.19MaRDI QIDQ6653971

R. Vajda, Zoltán Kovács

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Properness defects of projection and minimal discriminant variety
• Real quantifier elimination is doubly exponential
• Partial cylindrical algebraic decomposition for quantifier elimination
• Solving parametric polynomial systems
• Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
• Complexity of the resolution of parametric systems of polynomial equations and inequations
• QEPCAD B
• A package for solving parametric polynomial systems

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)