A Simpler Proof of the Boros-Füredi-Bárány-Pach-Gromov Theorem.
Roman N. KarasevPublished in: Discret. Comput. Geom. (2012)
Keyphrases
- interactive theorem proving
- hausdorff distance
- von neumann
- linear logic
- theorem prover
- image processing
- lecture notes in artificial intelligence
- real time
- pairwise
- artificial neural networks
- expert systems
- three dimensional
- case study
- computer vision
- automated theorem proving
- digital topology
- proof theoretic
- intuitionistic logic
- geometry theorem proving
- databases