Two almost-circles, and two real ones
From MaRDI portal
Publication:2071537
DOI10.1007/s11786-021-00506-3OpenAlexW3140745484MaRDI QIDQ2071537
Publication date: 28 January 2022
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.11490
computer algebraautomated theorem provingeliminationGeoGebraabsolute factorization\(n\)-ellipsecomputer aided mathematics educationlemniscate of boothtrue on partsvan Schooten's theoremViviani's theorem
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Reasoning about linkages with dynamic geometry
- Detecting truth, just on parts
- Rewriting input expressions in complex algebraic geometry provers
- Giac and GeoGebra – Improved Gröbner Basis Computations
- CindyJS
- Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra
- Proof Without Words: van Schooten's Theorem
- Development of automatic reasoning tools in GeoGebra