The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for openmath with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2000 (17) 2001-2007 (18) 2008-2012 (16) 2013 (24) 2014 (26) 2018 (24) 2019-2021 (35) 2023 (1)
Publication types (Num. hits)
article(21) inproceedings(136) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 20 keywords

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