×

zbMATH — the first resource for mathematics

Janičić, Predrag

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 · Wikidata · ORCID · dblp
Documents Indexed: 36 Publications since 1995, including 1 Book

Publications by Year

Citations contained in zbMATH Open

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

Cited by 79 Authors

11 Janičić, Predrag
10 Kovács, Zoltán
7 Narboux, Julien
7 Quaresma, Pedro
7 Recio, Tomas
5 Botana, Francisco
5 Schreck, Pascal
4 Marić, Filip
3 Chen, Xiaoyu
3 Marinković, Vesna
3 Sólyom-Gecse, Csilla
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 Hašek, Roman
2 Stojanović Đurđević, Sana
2 Stojanović, Sana
2 Vélez, M. Pilar
2 Wang, Dongming
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 Chapman, Roderick
1 Chipalkatti, Jaydeep V.
1 Cook, Andrew W.
1 Ellis, Bill J.
1 Génevaux, Jean-David
1 Graziani, Pierluigi
1 Gribanova, Irina
1 Hohenwarter, Markus
1 Ida, Tetsuo
1 Ireland, Andrew
1 Jamnik, Mateja
1 Jiang, Jianguo
1 Kaliszyk, Cezary
1 Kochemazov, Stepan
1 Lawrence, Andrew
1 Magaud, Nicolas
1 Mathis, Pascal
1 Negri, Sara
1 Nikolić, Mladen
1 Oren, Yossef
1 Otpuschennikov, Ilya V.
1 Pavlović, Vesna
1 Pech, Pavel
1 Petrović, Danijela
1 Petrovic, Ivan
1 Pham, Tuan Minh
1 Ranise, Silvio
1 Santos, Vanda
1 Seisenberger, Monika
1 Selaković, Milica
1 Semenov, Aleksandr Anatol’evich
1 Simić, Danijela
1 Song, Dan
1 Stojadinović, Mirko
1 Todd, Philip H.
1 Weitzhofer, Simon
1 Wiedijk, Freek
1 Wool, Avishai
1 Wos, Larry
1 Zahradník, Jan
1 Zaikin, Oleg Sergeevich
1 Zhang, Jingzhong

Citations by Year

Wikidata Timeline

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