Automated Mathematics and the Reconfiguration of Proof and Labor.
Rodrigo OchigamePublished in: CoRR (2023)
Keyphrases
- automated theorem provers
- computer algebra
- semi automated
- fully automated
- mathematical knowledge
- manufacturing systems
- theorem proving
- theorem prover
- computer assisted
- information technology
- context sensitive
- electrical engineering
- information retrieval
- real world
- semi automatic
- data driven
- logic programs
- automated analysis
- computer science
- machine learning