×
Author ID: janicic.predrag Recent zbMATH articles by "Janičić, Predrag"
Published as: Janičić, Predrag; Janicic, Predrag
Homepage: http://poincare.matf.bg.ac.rs/~janicic/
External Links: MGP · ORCID · Wikidata · dblp

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 189 times in 93 Documents Cited by Year
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
26
2015
The area method. A recapitulation. Zbl 1242.68281
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro
21
2012
GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024
Janičić, Predrag
20
2006
Geometry constructions language. Zbl 1185.68626
Janičić, Predrag
14
2010
A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264
Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
13
2011
GeoThms – a web system for Euclidean constructive geometry. Zbl 1278.68279
Quaresma, Pedro; Janičić, Predrag
10
2007
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206
Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag
9
2015
Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264
Quaresma, Pedro; Janičić, Predrag
8
2006
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
7
2012
URSA: a system for uniform reduction to SAT. Zbl 1248.68456
Janičić, Predrag
7
2012
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
7
2015
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
6
2014
Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092
Janičić, Predrag; Quaresma, Pedro
6
2007
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
5
2011
Logical analysis of hash functions. Zbl 1171.94351
Jovanović, Dejan; Janičić, Predrag
5
2005
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
4
2010
Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377
Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques
3
2019
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
3
2016
Euclid – the geometry theorems prover. Zbl 0846.68093
Janičić, Predrag; Kordić, Stevan
2
1995
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761
Nikolić, Mladen; Janičić, Predrag
1
2012
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian
1
1999
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Theorem proving as constraint solving with coherent logic. Zbl 1511.68316
Janičić, Predrag; Narboux, Julien
1
2022
Theorem proving as constraint solving with coherent logic. Zbl 1511.68316
Janičić, Predrag; Narboux, Julien
1
2022
Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377
Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques
3
2019
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
3
2016
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
26
2015
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206
Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag
9
2015
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
7
2015
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
6
2014
The area method. A recapitulation. Zbl 1242.68281
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro
21
2012
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
7
2012
URSA: a system for uniform reduction to SAT. Zbl 1248.68456
Janičić, Predrag
7
2012
CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761
Nikolić, Mladen; Janičić, Predrag
1
2012
A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264
Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
13
2011
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
5
2011
Geometry constructions language. Zbl 1185.68626
Janičić, Predrag
14
2010
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
4
2010
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
GeoThms – a web system for Euclidean constructive geometry. Zbl 1278.68279
Quaresma, Pedro; Janičić, Predrag
10
2007
Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092
Janičić, Predrag; Quaresma, Pedro
6
2007
GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024
Janičić, Predrag
20
2006
Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264
Quaresma, Pedro; Janičić, Predrag
8
2006
Logical analysis of hash functions. Zbl 1171.94351
Jovanović, Dejan; Janičić, Predrag
5
2005
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian
1
1999
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
Euclid – the geometry theorems prover. Zbl 0846.68093
Janičić, Predrag; Kordić, Stevan
2
1995
all top 5

Cited by 119 Authors

18 Janičić, Predrag
12 Kovács, Zoltán
10 Quaresma, Pedro
9 Narboux, Julien
9 Recio, Tomas
8 Marić, Filip
7 Botana, Francisco
7 Schreck, Pascal
6 Marinković, Vesna
4 Chen, Xiaoyu
3 Sólyom-Gecse, Csilla
3 Todd, Philip H.
3 Wang, Dongming
3 Zaikin, Oleg Sergeevich
2 Abánades, Miguel Angel
2 Baeta, Nuno
2 Banković, Milan
2 Beeson, Michael J.
2 Boutry, Pierre
2 Braun, Gabriel
2 Coghetto, Roland
2 Dyckhoff, Roy
2 Ghilardi, Silvio
2 Grabowski, Adam
2 Graziani, Pierluigi
2 Kochemazov, Stepan
2 Mathis, Pascal
2 Semenov, Aleksandr Anatol’evich
2 Stojanović Đurđević, Sana
2 Stojanović, Sana
2 Vélez, M. Pilar
2 Zhang, Jingzhong
1 Abdesselam, Abdelmalek
1 Abdyldayev, Satbek
1 Aley, Danny
1 Armando, Alessandro
1 Barnes, Janet
1 Bataille, Michel
1 Berger, Ulrich
1 Bertot, Yves
1 Bezem, Marc
1 Billich, Martin
1 Blanchette, Jasmin Christian
1 Blazek, Jiri
1 Bøgsted Poulsen, Danny
1 Braude, Eric John
1 Braun, David J.
1 Cao, Henrik
1 Chapman, Roderick
1 Chen, Mao
1 Chen, Qihang
1 Chipalkatti, Jaydeep V.
1 Ciobâcă, Ştefan
1 Cook, Andrew W.
1 Datta, Pratish
1 Drecun, Ivan
1 Dutta, Ratna
1 Ellis, Bill J.
1 Fleuriot, Jacques D.
1 Fleury, Mathias
1 Génevaux, Jean-David
1 Gribanova, Irina
1 Han, Jesse Michael
1 Hašek, Roman
1 Hohenwarter, Markus
1 Ida, Tetsuo
1 Iordache, Viorel
1 Ireland, Andrew
1 Jamnik, Mateja
1 Jiang, Jianguo
1 Kaliszyk, Cezary
1 Kircanski, Aleksandar
1 Kochemazov, S. E.
1 Krueger, Ryan
1 Kulczynski, Mitja
1 Lafitte, Frederic
1 Lammich, Peter
1 Lawrence, Andrew
1 Lotz, Kevin
1 Macke, Jaroslav
1 Magaud, Nicolas
1 Maliković, Marko
1 Mukhopadhyay, Sourav
1 Nakahara, Jorge jun.
1 Negri, Sara
1 Nikolić, Mladen
1 Nowotka, Dirk
1 Olšák, Miroslav
1 Oren, Yossef
1 Otpuschennikov, Ilya V.
1 Palmer, Jake E.
1 Pavlović, Vesna
1 Pech, Pavel
1 Peng, Xicheng
1 Petrović, Danijela
1 Petrovic, Ivan
1 Pham, Tuan Minh
1 Ranise, Silvio
1 Roanes-Lozano, Eugenio
1 Santos, Vanda
...and 19 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.