Browsing by Author Janičić, Predrag


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 45  next >
Issue DateTitleAuthor(s)Rank
1-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, Pedro
1-Jan-2004ARGO-LIB: A generic platform for decision proceduresMarić, Filip ; Janičić, Predrag 
1-Dec-2023Automated generation of illustrated proofs in geometry and beyondJaničić, Predrag ; Narboux, JulienM22
30-Dec-2021Automated Generation of Illustrations for Synthetic Geometry ProofsJaničić, Predrag ; Narboux, Julien
1-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of tarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag 
15-Jun-2015Automated Theorem Proving in GeoGebra: Current AchievementsBotana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
1-Jan-2007Automatic synthesis of decision procedures: A case study of ground and linear arithmeticJaničić, Predrag ; Bundy, Alan
1-Jan-2007Automatic verification of regular constructions in dynamic geometry systemsJaničić, Predrag ; Quaresma, Pedro
17-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag 
25-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag 
1-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna; Janičić, Predrag ; Schreck, Pascal
1-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag 
1-Jan-2004Constructions, instructions, interactionsĐorić, Mirjana ; Janičić, Predrag 
1-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag 
8-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
1-Dec-2023Formalization of geometry, automated and interactive geometric reasoningKovács, Zoltán; Janičić, Predrag M22
1-Jan-1999A framework for the flexible integration of a class of decision procedures into theorem proversJaničić, Predrag ; Bundy, Alan; Green, Ian
1-Jan-2006GCLC - A tool for constructive euclidean geometry and more than thatJaničić, Predrag 
1-Jan-2001GD-SAT model and crossover lineJaničić, Predrag 
1-Jan-2002A general setting for flexibly combining and augmenting decision proceduresJaničić, Predrag ; Bundy, Alan