default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM Workshops 2018: Hagenberg, Austria
- Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019
Computer Mathematics in Education - Enlightenment or Incantation (CME-EI) (Short Papers)
- Walther Neuper:
Mechanical Explanation in "Systems that Explain Themselves". - Wolfgang Schreiner:
Logic as a Path to Enlightenment (Work in Progress Report). - Christopher J. Sangwin:
High Stakes Automatic Assessments: Developing an Online Linear Algebra Examination. - Zoltán Kovács:
Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools.
Formal Mathematics for Mathematicians (FMM) (Short Papers)
- Burak Ekici:
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq. - Michael Junk, Stefan Hölle:
A Meta Language for Mathematical Reasoning. - Steffen Frerix, Peter Koepke:
Automatic Proof-Checking of Ordinary Mathematical Texts. - Slawomir Kolodynski:
IsarMathLib - a Formalized Mathematics Library for Isabelle/ZF. - Karol Pak:
Progress in the Formalization of Matiyasevich's Theorem in the Mizar System.
Computer Algebra in the Age of Types (CAAT) (Short Papers)
- Sebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen:
On the Syntax and Semantics of CAP.
Formal Verification of Physical Systems (FVPS)
- François Bidet, Éric Goubault, Sylvie Putot:
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). - Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague:
Automating Abstraction Computation of Hybrid Systems. - Adnan Rashid, Osman Hasan:
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).
29th OpenMath Workshop
- Moritz Schubotz:
Generating OpenMath Content Dictionaries from Wikidata (short paper). - Bruce R. Miller:
RFC: DLMF Content Dictionaries (short paper). - Tom Wiesing, Michael Kohlhase:
A Proposal for an OpenMath JSON Encoding.
The CICM 2018 Doctoral Program (Short Papers)
- André Greiner-Petter:
Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems. - Philipp Scharpf:
Formula Concept Discovery and Recognition. - Jonas Betzendahl:
Formal Languages for Mathematics.
The Work in Progress Section of CICM 2018
- Jan Frederik Schaefer, Michael Kohlhase:
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). - Alberto Fiori, Claudio Sacerdoti Coen:
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper). - Felix Petersen, Moritz Schubotz, Bela Gipp:
Towards Formula Translation using Recursive Neural Networks. - Moritz Schubotz:
VMEXT2: A Visual Wikidata aware Content MathML Editor (short paper).
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-16 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
