Proofs of Guo and Schlosser's two conjectures.
Chang XuXiaoxia WangPublished in: Period. Math. Hung. (2022)
Keyphrases
- theorem prover
- theorem proving
- formal proof
- automated theorem proving
- inference rules
- mathematical proofs
- formal proofs
- natural deduction
- first order logic
- computer algebra
- proof search
- mathematical knowledge
- data structure
- image processing
- decision procedures
- computer vision
- artificial intelligence
- learning algorithm
- genetic algorithm
- information retrieval