Proof Pearl: Bounding Least Common Multiples with Triangles.

Hing-Lun Chan Michael Norrish

Published in: ITP (2016)

Keyphrases

theorem prover
upper bound
theorem proving
belief revision
linear logic
real world
conditional independence
neural network
three dimensional
learning environment
relational databases
surface reconstruction
mathematical proofs