Rezultati

eNauka >  Results >  Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Title: Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Authors: Gonzalez, Salwa Tabet; Janicic, Predrag  ; Narboux, Julien
Issue Date: 2023
Publication: Electronic Proceedings in Theoretical Computer Science; Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023)
ISSN: 2075-2180 Search Idenfier
Type: Conference Paper
Collation: vol. 398 str. 21-37
DOI: 10.4204/EPTCS.398.6
WoS-ID: 001167498600006
Scopus-ID: 2-s2.0-85184136367
URI: https://enauka.gov.rs/handle/123456789/904655
Project: European Cost project [CA20111]
Ministry of Science of Serbia [451-03-47/2023-01/200104]
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
Mp. category will be shown later

3
SCOPUSTM
3
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.