Pretraga




Rezultati

Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry   [2015]

Ðurđević, Sana Stojanović  ; Narboux, Julien; Janičić, Predrag  

From informal to formal proofs in Euclidean geometry   [2019]

Stojanović Đurđević, Sana  

A propositional probabilistic logic with discrete linear time for reasoning about evidence   [2012]

Ognjanović, Zoran  ; Marković, Zoran; Rašković, Miodrag  ; Doder, Dragan ; Perović, Aleksandar  

Towards automated proving in solid geometry   [2025]

Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana

Portfolio theorem proving and prover runtime prediction for geometry   [2019]

Nikolić, Mladen  ; Marinković, Vesna  ; Kovács, Zoltán; Janičić, Predrag  

Formalization of geometry, automated and interactive geometric reasoning   [2023]

Kovacs, Zoltan; Janicic, Predrag  

Automated non-monotonic reasoning in System P   [2021]

Stojanovic, Tatjana  ; Ikodinović, Nebojša.  ; Davidovíc T.  ; Ognjanović Z.  

Automated generation of illustrated proofs in geometry and beyond   [2023]

Janicic, Predrag  ; Narboux, Julien

Automated triangle constructions in hyperbolic geometry   [2023]

Marinkovic, Vesna  ; Sukilovic, Tijana  ; Maric, Filip M  

Readable automated proofs of ruler and compass constructions   [2025]

Marinković, Vesna  ; Šukilović, Tijana  ; Novaković, Viktor; Marić, Filip  

Филтери

По типу