46 Infos zu Erik Sturzenhecker

2 Aktuelle Nachrichten

— Das Pub Quiz wird moderiert durch den Quiz-Profi „Quizquamperfekt“ Erik Sturzenhecker. Ob Sie alleine oder als Gruppe kommen - Gespielt wird ...

· ... in dem Fiona Allen, Erik Sturzenhecker, Sebastian Peters und Frederik Scheiter an dem Vortrag für die Jury über ihren Roboter arbeiten.

4 Profile in Sozialen Netzwerken

› erik-sturzenhecker

... Erik Sturzenhecker. #ITP #IsabelleNaproche #Math + [[https://thma.github.io/posts Evaluating-SKI-combinators-as-native-Haskell-functions.html][ ...

Dienstag, 16 c.t.-18 Uhr, N0.007, Nebengeäude , gehalten von Erik Sturzenhecker, Beginn: Die Anmeldung zur Übung verläuft ...

· Lorenzen, Adrian Marti, Marcel Schütz and Erik Sturzenhecker. Example 1 (Euclid) #Primes= ∞. “Naproche” = “Natural Language Proof Checker”.

3 Hobbys & Interessen

Button to report this content. Create your own with AI Download PDF. ES · Erik Sturzenhecker. Updated Jan. 23, Transcript. Der Wettlauf ins All. Erste ...

Erik Sturzenhecker ; Total Views ; Total Likes. 2 ; Total Documents. 9 ; Reusable Documents

1 Business-Profile

Erik Sturzenhecker. University of Bonn | Uni Bonn ... Join ResearchGate to contact this researcher and connect with your scientific community. Join for free.

2 Bücher zum Namen

Beautiful Formalizations in Isabelle/Naproche. Adrian De Lon. ,. Peter Koepke. ,. Anton Lorenzen. ,. Adrian Marti. ,. Marcel Schütz. ,. Erik Sturzenhecker.

Beautiful Formalizations in Isabelle/Naproche Adrian De Lon( B ) , Peter Koepke , Anton Lorenzen , Adrian Marti , Marcel Schütz , and Erik Sturzenhecker ...

5 Dokumente

Erik Sturzenhecker · Most frequent co-Author · Most cited colleague · Most frequent Affiliation.

... Erik Sturzenhecker. CADE The Isabelle/Naproche Natural Language Proof Assistant. Adrian De Lon, Peter Koepke, Anton LorenzenA, Adrian Marti, Marcel Seiten·133 KB

von A De Lonr0000 — Lorenzen, Adrian Marti, Marcel Schütz, and Erik Sturzenhecker. University of Bonn, Germany, https://www.math.uni-bonn.de/ag/logik/. Abstract. We present short ...

von P Koepke · Zitiert von: 1 — Peter Koepke, Jan Penquitt, Marcel Schütz, Erik Sturzenhecker ... On the other hand, formalizations by Erik Sturzenhecker first viewed structures.

5 Wissenschaftliche Publikationen

Adrian De Lon , Peter Koepke , Anton Lorenzen , Adrian Marti , Marcel Schütz , Erik Sturzenhecker: Beautiful Formalizations in Isabelle/Naproche view.

, Erik Sturzenhecker: Beautiful Formalizations in Isabelle/Naproche. CICM 2021: ; [c1]. view. electronic edition via DOI · unpaywalled version ...

Verfasserangabe: Erik Sturzenhecker ; Advisor: Prof. Dr. Jan Schröer, Second Advisor: Dr. René Marczinzik, Mathematisches Institut. Verlagsort ...

Erik Sturzenhecker (2022); Jan Thomm (2022) (--> now doing a PhD with Gustavo Jasso); Bjondina Kabashaj (2019); Abdalla Alia (2018) (--> PhD with Istvan ...

2 Allgemeine Veröffentlichungen

von F Kamareddine · · Zitiert von: 1 — ... Erik Sturzenhecker. Pages Download chapter PDF · Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. Asta Halkjær From ...

3-18 [doi] · Beautiful Formalizations in Isabelle/NaprocheAdrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker.

1 Video- & Audioinhalte

... Erik Sturzenhecker INFORMATIONSQUELLEN: α-Centauri (Prof. Harald Lesch) - Schwarze Löcher: http://www.youtube.com/watch?v=qgkOJNevLUU Schwarze Löcher - Eine ...

20 Webfunde aus dem Netz

— Bester in der Alterswertung U25 wurde Erik Sturzenhecker mit 34 Punkten und einem . Wolfgang Gropp entschied die Alterswertung ...

... Erik Sturzenhecker 19. Formalizing Axiomatic Systems for Propositional Logic ... Erik Sturzenhecker University of Bonn, Bonn, Germany  ...

Erik Sturzenhecker. Affiliation: University of Bonn. Pages in this Program. Program · Program for Thursday, July 30th · Disclaimer | Powered by EasyChair Smart ...

... Erik Sturzenhecker - slides] 4) Quasiperiodic tiling in two and three dimensions. [April Johannes Lin - slides] 5) Quaquaversal tilings and rotations ...

Erik Sturzenhecker. Show more detail. Source: check_circle. Crossref. The Isabelle/Naproche Natural Language Proof Assistant | Book chapter. DOI:

Erik Sturzenhecker. List of references. Cramer, M.: Proof-checking mathematical texts in controlled natural language. PhD thesis, University of Bonn (2013) ...

... Erik Sturzenhecker. https://doi.org _2 · , Lecture Notes in Computer Science Intelligent Computer Mathematics, p Scopus.

Erik Sturzenhecker Bonn. Der Websitebetreiber nimmt Ihren Datenschutz sehr ernst und behandelt Ihre personenbezogenen Daten ...

Ebenfalls sehr erfolgreich auf NRW-Landesebene, dieses Mal im Rahmen der Mathematik-Olympiade, war Erik Sturzenhecker (Jg.

... Erik Sturzenhecker. Mehr anzeigen. Erschienen in: Intelligent Computer Mathematics. Verlag: Springer International Publishing. Einloggen. Jetzt neu: KI- ...

— Die Abiturprüfung ist ja schon eine Herausforderung, doch für die drei Schüler Nils Makoschey, Alexander Schulze und Erik Sturzenhecker aus ...

— „Wir haben den ersten Platz im Blick“, versichert der 16-jährige Erik Sturzenhecker selbstbewusst. Namens-Anekdote. Dass die Walburgis ...

Thank you Adrian Balthasar, Alessio Anselm, Annalena Lange, Doron Karaman, Erik Sturzenhecker, Han Dittmar, Jan Putensen, Jessy, Leonard ...

293, Erik Sturzenhecker, Germany0, 0, 35, 0, 0Predrag Savić, Serbia0, 0, 35, 0, 0Isabell Lorenz, Germany,

Erik Sturzenhecker vor einem Jahr. avatar. Kevin Heckmann vor einem Jahr. avatar. H F vor 3 Wochen. avatar. Andreas Kubik vor 2 Jahren.

46, Erik Sturzenhecker, 31,0 (46.) 31,0, Köln. 46, Matthias Kemmerer, 31,0 (46.) 31,0, Dresden. 51, Gerhard Taake Beste(r) 60+, 30,0 (51.) 30,0, Münster.

Erik Sturzenhecker. Disciplines. Pure Mathematics · Topology · Zakariya Nassar Ben Badhann. Disciplines. Excavation · Landscape Archaeology · Pottery ...

· Herausragende Leistungen in gleich zwei Mathematikolympiaden auf Landesebene Über die großartige Leistung von Erik Sturzenhecker bei der ...

· ... doch für die drei Schüler Nils Makoschey, Alexander Schulze und Erik Sturzenhecker aus der Q2 reichte dies noch nicht aus, sie nahmen in ...