The following pages link to Predrag Janičić (Q286775):
Displaying 38 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Constructibility classes for triangle location problems (Q294373) (← links)
- The area method. A recapitulation (Q437042) (← links)
- A general setting for flexibly combining and augmenting decision procedures (Q1610671) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Geometry constructions language (Q2655329) (← links)
- (Q2796478) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- CDCL-Based Abstract State Transition System for Coherent Logic (Q2907328) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- URSA: A System for Uniform Reduction to SAT (Q3166220) (← links)
- Formalization of Abstract State Transition Systems for SAT (Q3224685) (← links)
- Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference (Q3225204) (← links)
- Simple characterization of functionally complete one-element sets of propositional connectives (Q3419673) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (Q3454099) (← links)
- (Q3562927) (← links)
- (Q4263161) (← links)
- (Q4435128) (← links)
- (Q4556039) (← links)
- (Q4708424) (← links)
- GD-SAT model and crossover line (Q4784347) (← links)
- (Q4874803) (← links)
- Learning Strategies for Mechanised Building of Decision Procedures (Q4916230) (← links)
- Automated Reasoning (Q5307059) (← links)
- (Q5376649) (← links)
- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic (Q5428261) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Frontiers of Combining Systems (Q5491900) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- URBiVA: Uniform Reduction to Bit-Vector Arithmetic (Q5747772) (← links)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That (Q5747799) (← links)
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (Q5756763) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
