×
Compute Distance To:
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

26 Publications have been cited 146 times in 75 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
20
2015
The area method. A recapitulation. Zbl 1242.68281
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro
19
2012
GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024
Janičić, Predrag
14
2006
Geometry constructions language. Zbl 1185.68626
Janičić, Predrag
11
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
10
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
Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092
Janičić, Predrag; Quaresma, Pedro
6
2007
Logical analysis of hash functions. Zbl 1171.94351
Jovanović, Dejan; Janičić, Predrag
5
2005
URSA: a system for uniform reduction to SAT. Zbl 1248.68456
Janičić, Predrag
5
2012
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
4
2014
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
4
2012
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
3
2015
Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264
Quaresma, Pedro; Janičić, Predrag
3
2006
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
3
2010
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377
Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques
2
2019
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
Euclid – the geometry theorems prover. Zbl 0846.68093
Janičić, Predrag; Kordić, Stevan
2
1995
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
2
2011
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
2
2016
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
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
CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761
Nikolić, Mladen; Janičić, Predrag
1
2012
Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377
Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques
2
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
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, 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
20
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
3
2015
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
4
2014
The area method. A recapitulation. Zbl 1242.68281
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro
19
2012
URSA: a system for uniform reduction to SAT. Zbl 1248.68456
Janičić, Predrag
5
2012
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
4
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
10
2011
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
2
2011
Geometry constructions language. Zbl 1185.68626
Janičić, Predrag
11
2010
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
3
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
14
2006
Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264
Quaresma, Pedro; Janičić, Predrag
3
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 104 Authors

13 Janičić, Predrag
11 Kovács, Zoltán
8 Narboux, Julien
8 Recio, Tomas
7 Quaresma, Pedro
6 Botana, Francisco
5 Marić, Filip
5 Schreck, Pascal
3 Chen, Xiaoyu
3 Marinković, Vesna
3 Sólyom-Gecse, Csilla
3 Zaikin, Oleg Sergeevich
2 Abánades, Miguel Angel
2 Baeta, Nuno
2 Beeson, Michael J.
2 Boutry, Pierre
2 Braun, Gabriel
2 Coghetto, Roland
2 Dyckhoff, Roy
2 Ghilardi, Silvio
2 Grabowski, Adam
2 Kochemazov, Stepan
2 Semenov, Aleksandr Anatol’evich
2 Stojanović Đurđević, Sana
2 Stojanović, Sana
2 Vélez, M. Pilar
2 Wang, Dongming
2 Zhang, Jingzhong
1 Abdesselam, Abdelmalek
1 Abdyldayev, Satbek
1 Armando, Alessandro
1 Banković, Milan
1 Barnes, Janet
1 Bataille, Michel
1 Berger, Ulrich
1 Bertot, Yves
1 Bezem, Marc
1 Blazek, Jiri
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 Dutta, Ratna
1 Ellis, Bill J.
1 Fleuriot, Jacques D.
1 Génevaux, Jean-David
1 Graziani, Pierluigi
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 Lafitte, Frederic
1 Lawrence, Andrew
1 Macke, Jaroslav
1 Magaud, Nicolas
1 Mathis, Pascal
1 Mukhopadhyay, Sourav
1 Nakahara, Jorge jun.
1 Negri, Sara
1 Nikolić, Mladen
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 Santos, Vanda
1 Schmoetten, Richard
1 Sedlář, Jiří
1 Seisenberger, Monika
1 Selaković, Milica
1 Selsam, Daniel
1 Simić, Danijela
1 Sivic, Josef
1 Song, Dan
1 Stojadinović, Mirko
1 Todd, Philip H.
1 Urban, Josef
1 Van Heule, Dirk
1 Weitzhofer, Simon
...and 4 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.