1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/2232
Title: Computer-Assisted Theorem Proving in Synthetic Geometry
Authors: Narboux, Julien
Janičić, Predrag 
Fleuriot, Jacques
Affiliations: Informatics and Computer Science 
Rank: M14
Publisher: Chapman and Hall
Related Publication(s): Handbook of Geometric Constraint Systems Principles
URI: https://research.matf.bg.ac.rs/handle/123456789/2232
Appears in Collections:Research outputs

Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.