Search results for "OpenMath"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Peter Horn, Dan Roozemond	OpenMath in SCIEnce: SCSCP and POPCORN.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
83	James H. Davenport, Paul Libbrecht	The Freedom to Extend OpenMath and its Utility.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	World Wide Web, semantics, multilinguality, Notation
81	Ken Wenzel	OpenMath-RDF: RDF Encodings for OpenMath Objects and Content Dictionaries.	CICM Workshops	2021	DBLP BibTeX RDF
75	William Naylor, Julian A. Padget	From Untyped to Polymorphically Typed Objects in Mathematical Web Services.	MKM	2006	DBLP DOI BibTeX RDF
65	Joseph B. Collins	OpenMath Content Dictionaries for SI Quantities and Units.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
65	Miguel A. Abánades, Jesús Escribano, Francisco Botana	First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
56	Jonathan Stratford, James H. Davenport	Unit Knowledge Management.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
54	James H. Davenport, Michael Kohlhase	OpenMath Preface.	CICM Workshops	2021	DBLP BibTeX RDF
54	Ken Wenzel	Pattern Matching for Mathematical Expressions with OpenMath (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
54	Tom Wiesing, Michael Kohlhase	A Proposal for an OpenMath JSON Encoding.	CICM Workshops	2018	DBLP BibTeX RDF
54	Moritz Schubotz	Generating OpenMath Content Dictionaries from Wikidata (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
54	Michael Kohlhase	OpenMath Language Extensions.	CICM Workshops	2014	DBLP BibTeX RDF
54	Michael Kohlhase	Extension Proposal: Records in Pragmatic OpenMath.	CICM Workshops	2014	DBLP BibTeX RDF
54	Lars Hellström	Quantifiers and n-ary binders: an OpenMath standard enhancement proposal.	CICM Workshops	2013	DBLP BibTeX RDF
54	Nathan C. Carter, Kenneth G. Monks	Lurch: a word processor built on OpenMath that can check mathematical reasoning.	CICM Workshops	2013	DBLP BibTeX RDF
49	Ana Romero 0001, Graham Ellis, Julio Rubio 0001	Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP.	ISSAC	2009	DBLP DOI BibTeX RDF	group cohomology, kenzo, openmath, interoperability, gap
49	Francisco Botana, Miguel A. Abánades, Jesús Escribano	Computing Locus Equations for Standard Dynamic Geometry Environments.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Interactive geometry, OpenMath, Automated deduction, Locus
38	Kuo-pao Yang, Wendy Zhang, Frederick E. Petry	Building content dictionaries for geometric algebra in OMDoc format.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	OMDoc, content dictionaries, documentation semantics, XML, XHTML, geometric algebra
38	James H. Davenport, Michael Kohlhase	Unifying Math Ontologies: A Tale of Two Standards.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
38	Paul Libbrecht, Christian Gross 0004	Authoring LeActiveMath Calculus Content.	MKM	2006	DBLP DOI BibTeX RDF
31	Chuan Cai, Xun Lai, Wei Su 0008, Lian Li, Paul S. Wang	A Web-Based Mathematical User Interface for E-Science System.	GCC	2009	DBLP DOI BibTeX RDF	OpenMath, Infix, Mathematical Formula Editing, Interactive Geometry System, XML, SVG, e-Science, DOM, LaTex
27	Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller 0001, Yasmine Sharoda, Claudio Sacerdoti Coen (eds.)	Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021.	CICM Workshops	2023	DBLP BibTeX RDF
27	Jonas Betzendahl	Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract.	CICM Workshops	2021	DBLP BibTeX RDF
27	Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase	MioGatto: A Math Identifier-oriented Grounding Annotation Tool.	CICM Workshops	2021	DBLP BibTeX RDF
27	Stepan Holub	Computing the Border Array in Isabelle/HOL (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Muhammad Ahmed, Adnan Rashid	Formalization of Transform Methods in Higher-order Logic: A Survey (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Anthony Bordg, Nicolò Cavalleri	Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Jasmin Blanchette, Adam Naumowicz	FMM Preface.	CICM Workshops	2021	DBLP BibTeX RDF
27	Zoltán Kovács, Róbert Vajda	Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.	CICM Workshops	2021	DBLP BibTeX RDF
27	Alex J. Best	Automatically Generalizing Theorems Using Typeclasses (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Muhammad Harun Ali Khan	Formalizing Fibonacci Squares (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Peter Koepke, Dennis Müller 0001	Preface.	CICM Workshops	2021	DBLP BibTeX RDF
27	Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada	Dynamic User Interfaces via Incremental Knowledge Management.	CICM Workshops	2021	DBLP BibTeX RDF
27	Andrea Kohlhase, Michael Kohlhase	A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking.	CICM Workshops	2021	DBLP BibTeX RDF
27	Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki	A Web Platform for Hosting the Mizar Mathematical Library (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Eric Wieser	Scalar actions in Lean's mathlib (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Martin Raska, Stepán Starosta	Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Dennis Müller 0001, Michael Kohlhase, Jan Frederik Schaefer	System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Osman Hasan	FVPS Preface.	CICM Workshops	2021	DBLP BibTeX RDF
27	William Farmer	Formal Mathematics for the Masses (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Peter Koepke, Tim Lichtnau, Jonas Lippert	Natural Typesetting of Naproche Formalizations in LaTeX (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar	Semantic parsing of geometry statements using supervised machine learning on synthetic data.	CICM Workshops	2021	DBLP BibTeX RDF
27	Andrea Kohlhase	MathUI Preface.	CICM Workshops	2021	DBLP BibTeX RDF
27	Takeo Noda, Takahiro Nakahara, Masataka Kaneko	Monitoring the Impact of Teacher's Intervention in Inquiry-Based Mathematics Learning with the use of Dynamic Geometry.	CICM Workshops	2021	DBLP BibTeX RDF
27	Stanislaw J. Purgal	Deep Learning for Automated Theorem Proving - Extended Abstract.	CICM Workshops	2021	DBLP BibTeX RDF
27	Alexander Bentkamp, Jeremy Avigad	Verified Optimization (work in progress).	CICM Workshops	2021	DBLP BibTeX RDF
27	Abhishek Chugh	Sophize Markdown and Collaboration Interface.	CICM Workshops	2021	DBLP BibTeX RDF
27	Zibo Yang	Formalization of Gambler's Ruin Problem (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Sebastien Gouezel	Formalizing the Gromov-Hausdorff space.	CICM Workshops	2021	DBLP BibTeX RDF
27	Michael Junk, Sebastian Sahli	Story Based Content Structuring in MATh.	CICM Workshops	2021	DBLP BibTeX RDF
27	Fabian Huch	Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Karol Pak	Formalization of Prime Representing Polynomial in Mizar (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
27	Theresa Kruse	Develop a Mathematical E-Dictionary and Test it - Extended Abstract.	CICM Workshops	2021	DBLP BibTeX RDF
27	Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe 0001, 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 (eds.)	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.	CICM Workshops	2019	DBLP BibTeX RDF
27	James H. Davenport, Matthew England 0001, Roberto Sebastiani, Patrick Trentin	OpenMath and SMT-LIB.	CoRR	2018	DBLP BibTeX RDF
27	Jan Frederik Schaefer, Michael Kohlhase	Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
27	Moritz Schubotz	VMEXT2: A Visual Wikidata aware Content MathML Editor (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
27	Zoltán Kovács	Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools.	CICM Workshops	2018	DBLP BibTeX RDF
27	Felix Petersen, Moritz Schubotz, Bela Gipp	Towards Formula Translation using Recursive Neural Networks.	CICM Workshops	2018	DBLP BibTeX RDF
27	Sebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen	On the Syntax and Semantics of CAP.	CICM Workshops	2018	DBLP BibTeX RDF
27	Alberto Fiori, Claudio Sacerdoti Coen	Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
27	Walther Neuper	Mechanical Explanation in "Systems that Explain Themselves".	CICM Workshops	2018	DBLP BibTeX RDF
27	Christopher J. Sangwin	High Stakes Automatic Assessments: Developing an Online Linear Algebra Examination.	CICM Workshops	2018	DBLP BibTeX RDF
27	Karol Pak	Progress in the Formalization of Matiyasevich's Theorem in the Mizar System.	CICM Workshops	2018	DBLP BibTeX RDF
27	Slawomir Kolodynski	IsarMathLib - a Formalized Mathematics Library for Isabelle/ZF.	CICM Workshops	2018	DBLP BibTeX RDF
27	François Bidet, Éric Goubault, Sylvie Putot	Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
27	Jonas Betzendahl	Formal Languages for Mathematics.	CICM Workshops	2018	DBLP BibTeX RDF
27	Adnan Rashid, Osman Hasan	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
27	Wolfgang Schreiner	Logic as a Path to Enlightenment (Work in Progress Report).	CICM Workshops	2018	DBLP BibTeX RDF
27	Bruce R. Miller	RFC: DLMF Content Dictionaries (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
27	André Greiner-Petter	Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems.	CICM Workshops	2018	DBLP BibTeX RDF
27	Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague	Automating Abstraction Computation of Hybrid Systems.	CICM Workshops	2018	DBLP BibTeX RDF
27	Philipp Scharpf	Formula Concept Discovery and Recognition.	CICM Workshops	2018	DBLP BibTeX RDF
27	Burak Ekici	Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq.	CICM Workshops	2018	DBLP BibTeX RDF
27	Steffen Frerix, Peter Koepke	Automatic Proof-Checking of Ordinary Mathematical Texts.	CICM Workshops	2018	DBLP BibTeX RDF
27	Michael Junk, Stefan Hölle	A Meta Language for Mathematical Reasoning.	CICM Workshops	2018	DBLP BibTeX RDF
27	Matthew England 0001, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt (eds.)	Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014.	CICM Workshops	2014	DBLP BibTeX RDF
27	Andrea Kohlhase	Design of Search Interfaces for Mathematicians.	CICM Workshops	2014	DBLP BibTeX RDF
27	Paul Libbrecht, Kerstin Schneider	Formula Collection Mobile Apps Realized by Teachers.	CICM Workshops	2014	DBLP BibTeX RDF
27	Reinhard Kahle	Towards the Structure of Mathematical Proof.	CICM Workshops	2014	DBLP BibTeX RDF
27	Hans-Gert Gräbe, Andreas Nareike, Simon Johanning	The SymbolicData Project - Towards a Computer Algebra Social Network.	CICM Workshops	2014	DBLP BibTeX RDF
27	Lars Hellström	The eval Symbol for Axiomatising Variadic Functions.	CICM Workshops	2014	DBLP BibTeX RDF
27	Helena Mihaljevic-Brandt, Fabian Müller 0002, Nicolas Roy 0001	Author Profile Pages in zbMATH - Improving Accuracy through User Interaction.	CICM Workshops	2014	DBLP BibTeX RDF
27	Carmela Acevedo, Michael Kohlhase	OpenMathMap: Interaction.	CICM Workshops	2014	DBLP BibTeX RDF
27	Marco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang	Towards a Universal Interface for Real-Time Mathematical Communication.	CICM Workshops	2014	DBLP BibTeX RDF
27	Walther Neuper	GCD - A Case Study on Lucas-Interpretation.	CICM Workshops	2014	DBLP BibTeX RDF
27	Ou Yamamoto, Masatoshi Kokubu	Visualization of Tangent Developables on a Volumetric Display.	CICM Workshops	2014	DBLP BibTeX RDF
27	Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura	Formalizing a Named Explicit Substitutions Calculus in Coq.	CICM Workshops	2014	DBLP BibTeX RDF
27	Lars Hellström	Literate Sources for Content Dictionaries: A Progress Report.	CICM Workshops	2014	DBLP BibTeX RDF
27	Robert Pagel, Moritz Schubotz	Mathematical Language Processing Project.	CICM Workshops	2014	DBLP BibTeX RDF
27	Roxanne Leitão, Chris Roast	Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects.	CICM Workshops	2014	DBLP BibTeX RDF
27	Florian Rabe 0001	MMT Objects.	CICM Workshops	2014	DBLP BibTeX RDF
27	Jaime Gaspar	Short Introduction by Example to Coq and Formalising ZF ⊆ ZFε in Coq.	CICM Workshops	2014	DBLP BibTeX RDF
27	Danijela Petrovic	Using Small-Step Refinement For Algorithm Verification In Computer Science Education.	CICM Workshops	2014	DBLP BibTeX RDF
27	Pedro Quaresma, Vanda Santos, Juan Moral	Reproducing a Geometric Working Session.	CICM Workshops	2014	DBLP BibTeX RDF
27	James H. Davenport	Another Look at Formal Mathematical Properties.	CICM Workshops	2014	DBLP BibTeX RDF
27	Nils Schwinning, Melanie Schypula, Michael Striewe, Michael Goedicke	Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for Mathematics.	CICM Workshops	2014	DBLP BibTeX RDF
27	Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud	Certified Proofs in Programs Involving Exceptions.	CICM Workshops	2014	DBLP BibTeX RDF
27	Andrea Kohlhase, Alexandru Toader	FEncy: Spreadsheet Formulae Exploration.	CICM Workshops	2014	DBLP BibTeX RDF
27	Raniere Silva, Frédéric Wang	Firefox OS Web Apps for Science.	CICM Workshops	2014	DBLP BibTeX RDF