Skip to Main content Skip to Navigation
Book sections

Computer-assisted Theorem Proving in Synthetic Geometry

Complete list of metadata

https://hal.inria.fr/hal-01779452
Contributor : Julien Narboux <>
Submitted on : Thursday, April 26, 2018 - 3:49:37 PM
Last modification on : Saturday, October 27, 2018 - 1:27:28 AM

Licence


Copyright

Identifiers

  • HAL Id : hal-01779452, version 1

Citation

Julien Narboux, Predrag Janicic, Jacques Fleuriot. Computer-assisted Theorem Proving in Synthetic Geometry. Meera Sitharam; Audrey St. John; Jessica Sidman. Handbook of Geometric Constraint Systems Principles, Chapman and Hall/CRC , In press, Discrete Mathematics and Its Applications, 1498738915. ⟨hal-01779452⟩

Share

Metrics

Record views

177