еНаука - преглед
Преглед према Аутор Janičić, Predrag
Приказ резултата 1 до 20 од 70
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (✓) | Stojanović Đurđević, Sana ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
1999 | A framework for the flexible integration of a class of decision procedures into theorem provers (✓) | Janičić, Predrag ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2002 | A General Setting for Flexibly Combining and Augmenting Decision Procedures (✓) | Janicic, Predrag ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2007 | A variant of N-gram based language classification (✓) | Tomović, A.; Janičić, Predrag ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2014 | A Vernacular for Coherent Logic (✓) | Stojanović Đurđević, Sana ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2004 | ARGO-LIB: A generic platform for decision procedures (✓) | Maric, Filip M ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2023 | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving (✓) | Gonzalez, Salwa Tabet; Janicic, Predrag ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2023 | Automated generation of illustrated proofs in geometry and beyond (✓) | Janicic, Predrag ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2021 | Automated Generation of Illustrations for Synthetic Geometry Proofs (✓) | Janičić, Predrag ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry (✓) | Ðurđević, Sana Stojanović ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2011 | Automated Reasoning: Some Successes and New Challenges (✓) | Janičić, Predrag ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2015 | Automated Theorem Proving in GeoGebra: Current Achievements (✓) | Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2007 | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic (✓) | Janicic, Predrag ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2007 | Automatic verification of regular constructions in dynamic geometry systems (✓) | Janicic, Predrag ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | CDCL-Based Abstract State Transition System for Coherent Logic (✓) | Nikolić, Mladen ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (✓) | Marinković, Vesna ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture (✓) | Janičić, Predrag Đ. ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2018 | Computer-Assisted Theorem Proving in Synthetic Geometry (✓) | Julien Narboux; Janičić, Predrag Đ. ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2016 | Constructibility Classes for Triangle Location Problems (✓) | Schreck, Pascal; Marinković, Vesna ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |