Computer-assisted proofs of "Kariya's theorem" with computer algebra.
Ayane ItoTakefumi KasaiAkira TeruiPublished in: CoRR (2023)
Keyphrases
- computer assisted
- computer algebra
- automated theorem provers
- theorem prover
- interactive theorem proving
- computer aided
- theorem proving
- first order logic
- intraoperative
- von neumann
- inference rules
- mathematical proofs
- natural deduction
- computer algebra systems
- probabilistic model
- surgical training
- image analysis
- natural language
- image segmentation
- neural network