Type

Date issued

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 1-20 of 60 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2025	Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols	Janičić, Predrag	Article	23M23
2023	Formalization of geometry, automated and interactive geometric reasoning	Kovacs, Zoltan; Janicic, Predrag	Article	22M22
2023	Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving	Gonzalez, Salwa Tabet; Janicic, Predrag ; Narboux, Julien	Conference Paper	Mp. category will be shown later
2023	Automated generation of illustrated proofs in geometry and beyond	Janicic, Predrag ; Narboux, Julien	Article	22M22
2022	Theorem Proving as Constraint Solving with Coherent Logic	Janicic, Predrag ; Narboux, Julien	Article	22M22
2022	Programiranje 2 - osnove programiranja kroz programski jezik C	Janičić, Predrag ; Marić, Filip	Text book	Mp. category will be shown later
2021	Veštačka inteligencija	Janičić, Predrag ; Nikolić, Mladen	Text book	Mp. category will be shown later
2021	Automated Generation of Illustrations for Synthetic Geometry Proofs	Janičić, Predrag ; Julien Narboux	Article	Mp. category will be shown later
2020	New dynamics in dynamic geometry: Dragging constructed points	Selaković, Milica; Marinković, Vesna ; Janičić, Predrag	Article	22M22
2019	Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture	Janičić, Predrag Đ. ; Marić, Filip M. ; Maliković, Marko	Article	22M22
2019	Portfolio theorem proving and prover runtime prediction for geometry	Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag	Article	22M22
2018	Computer-Assisted Theorem Proving in Synthetic Geometry	Julien Narboux; Janičić, Predrag Đ. ; Jacques Fleuriot	Book parts	Mp. category will be shown later
2016	Geometrisation of Geometry	Janičić, Predrag	Conference Paper	Mp. category will be shown later
2016	Constructibility Classes for Triangle Location Problems	Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag	Article	Mp. category will be shown later
2016	Portfolio Methods in Theorem Proving for Elementary Geometry	Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag	Conference Paper	Mp. category will be shown later
2016	Wernick's List: A Final Update	Janičić, Predrag ; Marinković Pavlović, Vesna ; Pascal Schreck; Pascal Mathis	Article	Mp. category will be shown later
2015	Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3	Marić, Filip ; Janičić, Predrag ; Maliković, Marko	Conference Paper	Mp. category will be shown later
2015	Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems	Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal	Conference Paper	Mp. category will be shown later
2015	Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry	Ðurđević, Sana Stojanović ; Narboux, Julien; Janičić, Predrag	Article	22M22
2015	Automated Theorem Proving in GeoGebra: Current Achievements	Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon	Article	21M21