Login / Signup
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.
Zoltán Kovács
Róbert Vajda
Published in:
CICM Workshops (2021)
Keyphrases
</>
sufficient conditions
theorem prover
database
data structure
linear inequalities