Lifting proofs from countable to uncountable mathematics.
Sam SandersPublished in: Inf. Comput. (2022)
Keyphrases
- data mining
- mathematical knowledge
- computer science
- wavelet transform
- markov chain
- theorem prover
- theorem proving
- formal proofs
- formal proof
- mathematical proofs
- lifting scheme
- computer algebra
- computer algebra systems
- databases
- automated theorem provers
- computer software
- grade students
- computer programming
- statistically significant
- image processing
- e learning