Automated proving in planar geometry based on the complex number identity method and elimination
Fields of Study & Subjects
Polynomial and algebraic computation
Commutative Algebra and Its Applications
Logic
programming
and type systems
Publication details
- Journal / source
- Research Square
- Publication date
- 9 January 2026
- Document type
- Preprint