Proof Pearl: Bounding Least Common Multiples with Triangles.

Hing-Lun Chan Michael Norrish

Published in: J. Autom. Reason. (2019)

Keyphrases

upper bound
proof planning
causal models
theorem proving
theorem prover
information systems
data sets
delaunay triangulation
belief change
decision making
real time
knowledge representation
evolutionary algorithm
relational databases
lower bound
case study
neural network
automated theorem proving
proof theory