Combinatorial Proofs of Fermat's, Lucas's, and Wilson's Theorems.
Peter G. AndersonArthur T. BenjaminJeremy A. RousePublished in: Am. Math. Mon. (2005)
Keyphrases
- cut elimination
- sequent calculus
- proof search
- natural deduction
- theorem proving
- theorem prover
- linear logic
- equational theories
- databases
- formal proofs
- neural network
- digital topology
- inference rules
- mathematical proofs
- learning classifier systems
- database
- interactive theorem proving
- combinatorial search
- modal logic
- multiresolution
- reinforcement learning
- high level
- search engine
- learning algorithm
- data sets
- real time