Sign in
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