ADG 2016
ADG 2016
Différences entre les versions de « Invited Talks »
De ADG 2016
| Ligne 2 : | Ligne 2 : | ||
'''Title:''' "Geometrization of Geometry" | '''Title:''' "Geometrization of Geometry" | ||
| + | |||
| + | '''Abstract:''' Coherent logic (CL) or geometry logic is a | ||
| + | (semi-decidable) fragment of FOL that can be considered to be an extension of resolution logic. CL is suitable for formalization and automation of various mathematical theories, including geometry. This talk will give an overview of developments in geometry based on CL: automated theorem provers for CL, CL-based formalizations of geometry, CL-based proof representation for geometry, links between CL and geometry construction problems, links between CL and geometrical illustrations, etc. | ||
* [http://le2i.cnrs.fr/-Dominique-Michelucci- Dominique Michelucci], University of Bourgogne. | * [http://le2i.cnrs.fr/-Dominique-Michelucci- Dominique Michelucci], University of Bourgogne. | ||
'''Title:''' TBA | '''Title:''' TBA | ||
Version du 2 mars 2016 à 12:09
- Predrag Janicic, Faculty of Mathematics, University of Belgrade
Title: "Geometrization of Geometry"
Abstract: Coherent logic (CL) or geometry logic is a (semi-decidable) fragment of FOL that can be considered to be an extension of resolution logic. CL is suitable for formalization and automation of various mathematical theories, including geometry. This talk will give an overview of developments in geometry based on CL: automated theorem provers for CL, CL-based formalizations of geometry, CL-based proof representation for geometry, links between CL and geometry construction problems, links between CL and geometrical illustrations, etc.
- Dominique Michelucci, University of Bourgogne.
Title: TBA
