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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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, editors, 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. Volume 2307 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

Conference: mkm2019

Abstract is missing.

Towards Formula Translation using Recursive Neural NetworksFelix Petersen, Moritz Schubotz, Bela Gipp. [doi]

Automating Abstraction Computation of Hybrid SystemsHadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague. [doi]

A Proposal for an OpenMath JSON EncodingTom Wiesing, Michael Kohlhase. [doi]

A Meta Language for Mathematical ReasoningMichael Junk, Stefan Hölle. [doi]

Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra SystemsAndré Greiner-Petter. [doi]

Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper)Jan Frederik Schaefer, Michael Kohlhase. [doi]

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper)Adnan Rashid, Osman Hasan. [doi]

IsarMathLib - a Formalized Mathematics Library for Isabelle/ZFSlawomir Kolodynski. [doi]

Mechanical Explanation in "Systems that Explain Themselves"Walther Neuper. [doi]

Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper)Alberto Fiori, Claudio Sacerdoti Coen. [doi]

Automatic Proof-Checking of Ordinary Mathematical TextsSteffen Frerix, Peter Koepke. [doi]

Logic as a Path to Enlightenment (Work in Progress Report)Wolfgang Schreiner. [doi]

Advantages and Dangers on Utilizing GeoGebra Automated Reasoning ToolsZoltán Kovács. [doi]

Formula Concept Discovery and RecognitionPhilipp Scharpf. [doi]

Progress in the Formalization of Matiyasevich's Theorem in the Mizar SystemKarol Pak. [doi]

RFC: DLMF Content Dictionaries (short paper)Bruce R. Miller. [doi]

On the Syntax and Semantics of CAPSebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen. [doi]

High Stakes Automatic Assessments: Developing an Online Linear Algebra ExaminationChristopher J. Sangwin. [doi]

Generating OpenMath Content Dictionaries from Wikidata (short paper)Moritz Schubotz. [doi]

Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in CoqBurak Ekici. [doi]

Formal Languages for MathematicsJonas Betzendahl. [doi]

VMEXT2: A Visual Wikidata aware Content MathML Editor (short paper)Moritz Schubotz. [doi]

Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper)François Bidet, Éric Goubault, Sylvie Putot. [doi]

runs on WebDSL