Treffer 1 - 20 von 76 für Suche 'Artur Kornilowicz', Suchdauer: 1,37s Treffer weiter einschränken
  1. 1
    Elementary Number Theory Problems. Part IX

    Elementary Number Theory Problems. Part IX von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Elementary Number Theory Problems. Part VIII

    Elementary Number Theory Problems. Part VIII von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Elementary Number Theory Problems. Part X – Diophantine Equations

    Elementary Number Theory Problems. Part X – Diophantine Equations von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Elementary Number Theory Problems. Part VII

    Elementary Number Theory Problems. Part VII von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Elementary Number Theory Problems. Part IV

    Elementary Number Theory Problems. Part IV von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Elementary Number Theory Problems. Part III

    Elementary Number Theory Problems. Part III von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On algebraic hierarchies in mathematical repository of Mizar

    On algebraic hierarchies in mathematical repository of Mizar von Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Mizar in a Nutshell

    Mizar in a Nutshell von Grabowski, Adam, Kornilowicz, Artur, Naumowicz, Adam

    Veröffentlicht in Journal of Formalized Reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Implementation of the Composition-nominative Approach to Program Formalization in Mizar

    Implementation of the Composition-nominative Approach to Program Formalization in Mizar von Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

    The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar von Bancerek, Grzegorz, Byliński, Czesław, Grabowski, Adam, Korniłowicz, Artur, Matuszewski, Roman, Naumowicz, Adam, Pąk, Karol

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Partial Correctness of a Fibonacci Algorithm

    Partial Correctness of a Fibonacci Algorithm von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Enhancement of properties in Mizar

    Enhancement of properties in Mizar von Kornilowicz, Artur

    Veröffentlicht in PeerJ. Computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Elementary Number Theory Problems. Part V

    Elementary Number Theory Problems. Part V von Korniłowicz, Artur, Naumowicz, Adam

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs

    MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs von Tomaszuk, Dominik, Szeremeta, Łukasz, Korniłowicz, Artur

    Veröffentlicht in Scientific data

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Elementary Number Theory Problems. Part XIII

    Elementary Number Theory Problems. Part XIII von Korniłowicz, Artur, Ziobro, Rafał

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Elementary Number Theory Problems. Part II

    Elementary Number Theory Problems. Part II von Korniłowicz, Artur, Surowik, Dariusz

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Differentiability of Polynomials over Reals

    Differentiability of Polynomials over Reals von Korniłowicz, Artur

    Veröffentlicht in Formalized mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Flexary connectives in Mizar

    Flexary connectives in Mizar von Korniowicz, Artur


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Mizar: State-of-the-art and Beyond

    Mizar: State-of-the-art and Beyond von Bancerek, Grzegorz, Byliński, Czesław, Grabowski, Adam, Korniłowicz, Artur, Matuszewski, Roman, Naumowicz, Adam, Pa̧k, Karol, Urban, Josef


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    On Rewriting Rules in Mizar

    On Rewriting Rules in Mizar von Korniowicz, Artur

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: