Login / Signup
Statistical testing procedure for lengths of formalized proofs.
Ivan Kramosil
Published in:
Kybernetika (1980)
Keyphrases
</>
statistical tests
hypothesis testing
statistical analysis
statistical methods
theorem prover
iterative procedure
databases
test set
hypothesis test
knowledge base
case study
test cases
information theoretic
theorem proving
statistical approaches