A Geometric Proof of the Siebeck-Marden Theorem.

Beniamin Bogosel

Published in: Am. Math. Mon. (2017)

Keyphrases

interactive theorem proving
geometry theorem proving
theorem proving
decision trees
geometric structure
geometric constraints
mathematical proofs
complete axiomatization
proof planning
automated theorem proving
von neumann
database
steady state
database systems
artificial intelligence
neural network
databases