Fragments of bounded arithmetic and the lengths of proofs.

Published in: J. Symb. Log. (2008)

Keyphrases

theorem proving
database
arithmetic operations
natural deduction
formal proof
multiscale
hidden markov models
theorem prover
floating point
asymptotically optimal
continuous functions