GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry.

Miroslav Olsák

Published in: ICMS (2020)

Keyphrases

theorem prover
euclidean geometry
computer algebra systems
theorem proving
first order logic
term rewriting
inference rules
automated theorem proving
formal proof
computer algebra
proof search
natural deduction
boolean algebra
high dimensional
vector space