Tarski's geometry modelled in Mizar computerized proof assistant.
Adam GrabowskiPublished in: FedCSIS (2016)
Keyphrases
- natural deduction
- data structure
- theorem prover
- theorem proving
- computer assisted
- geometry theorem proving
- test bed
- three dimensional
- computer aided
- linear logic
- data sets
- knowledge representation
- case study
- camera calibration
- mobile robot
- geometric constraints
- geometric structure
- image processing
- genetic algorithm
- euclidean geometry
- information retrieval