Mathematical Proof Between Generations.
Jonas BayerChristoph BenzmüllerKevin BuzzardMarco DavidLeslie LamportYuri V. MatiyasevichLawrence C. PaulsonDierk SchleicherBenedikt StockEfim I. ZelmanovPublished in: CoRR (2022)
Keyphrases
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- theorem prover
- theorem proving
- computer algebra
- image processing
- mathematical expressions
- neural network
- web pages
- knowledge base
- optimal solution
- data structure
- databases
- cognitive processes
- mathematical theory
- artificial intelligence
- machine learning