Results

eNauka >  Results >  Computer-Assisted Theorem Proving in Synthetic Geometry
Title: Computer-Assisted Theorem Proving in Synthetic Geometry
Authors: Julien Narboux; Janičić, Predrag Đ.  ; Jacques Fleuriot
Issue Date: 2018
Publication: Handbook of Geometric Constraint Systems Principles
Publisher: CRC Press, Taylor & Francis Group
Type: Book parts
ISBN: 978-1-4987-3891-0 Search Idenfier
Collation: str. 21-60
URI: https://enauka.gov.rs/handle/123456789/541866
URL: https://www.crcpress.com/Handbook-of-Geometric-Constraint-Systems-Principles/Sitharam-John-Sidman/p/book/9781498738910
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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