Proceedings of the 13th International Conference on Automated Deduction in Geometry.
Predrag JanicicZoltán KovácsPublished in: CoRR (2021)
Keyphrases
- proceedings of the th international conference
- automated deduction
- theorem proving
- volume part ii
- image analysis and processing
- image analysis and recognition
- theorem prover
- inference rules
- deductive databases
- advances in computational intelligence
- image computing and computer assisted intervention
- logic programming
- artificial intelligence and law
- image processing
- hybrid artificial intelligence systems
- advances in database technology
- application fields
- geometric objects
- integrity constraints
- image segmentation