Login / Signup
Combinatorial Proofs of Some Formulas for Triangular Tilings.
Mark Shattuck
Published in:
J. Integer Seq. (2014)
Keyphrases
</>
theorem proving
theorem prover
equational theories
discrete geometry
decision procedures
neural network
genetic algorithm
real numbers
real time
predicate calculus
mathematical knowledge
formal proofs
square grid