Претрага
Резултати
Theorem Proving as Constraint Solving with Coherent Logic
[2022]
Janicic, Predrag 
; Narboux, Julien
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols
[2025]
Janičić, Predrag
The Area Method: A Recapitulation
[2012]
Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro
Geometry Constructions Language
[2010]
Janičić, Predrag
Formalization of the Poincare Disc Model of Hyperbolic Geometry
[2021]
Simic, Danijela ; Maric, Filip M ; Boutry, Pierre
Automated Theorem Proving in GeoGebra: Current Achievements
[2015]
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
[2019]
Marić, Filip
A General Setting for Flexibly Combining and Augmenting Decision Procedures
[2002]
Janicic, Predrag ; Bundy, Alan
Formalization and implementation of modern SAT solvers
[2009]
Marić, Filip
Филтери
По типу