Treffer 1 - 3 von 3 für Suche 'Ðurđević, Sana Stojanović', Suchdauer: 0,48s Treffer weiter einschränken
  1. 1
    From informal to formal proofs in Euclidean geometry

    From informal to formal proofs in Euclidean geometry von Stojanović-Ðurđević, Sana


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formalizing IMO Problems and Solutions in Isabelle/HOL

    Formalizing IMO Problems and Solutions in Isabelle/HOL von Marić, Filip, Stojanović-Đurđević, Sana


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry

    Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry von Ðurđević, Sana Stojanović, Narboux, Julien, Janičić, Predrag


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: