Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2000-2015 (15) 2018 (1)
Publication types (Num. hits)
article(2) book(1) inproceedings(13)
Venues (Conferences, Journals, ...)
MKM(5) Calculemus/MKM(2) ACM Southeast Regional Confere...(1) AISC(1) AISC/MKM/Calculemus(1) CICM(1) ESWC(1) J. Autom. Reason.(1) LWA(1) SIGSAM Bull.(1)
Authors
Michael Kohlhase(9) Christoph Lange 0002(2) Mihnea Iancu(2) Andrea Kohlhase(1) Carsten Ullrich(1) Christian Gross 0004(1) Claudio Sacerdoti Coen(1) Dominik Dietrich(1) Eberhard R. Hilf(1) Enxhell Luzhnica(1) Erica Melis(1) Ewaryst Schulz(1) Florian Rabe 0001(1) Frederick E. Petry(1) Georgi Goguadze(1) Heinrich Stamerjohanns(1) More (+10 of total 27)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
138Kuo-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
89Jónathan Heras, Vico Pascual, Julio Rubio 0001 Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57Serge Autexier, Claudio Sacerdoti Coen A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Michael Kohlhase OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Christoph Lange 0002, Michael Kohlhase A Mathematical Approach to Ontology Authoring and Documentation. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Paul Libbrecht, Christian Gross 0004 Authoring LeActiveMath Calculus Content. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Jonas Betzendahl, Michael Kohlhase Translating the IMPS Theory Library to MMT/OMDoc. Search on Bibsonomy CICM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase Importing the OEIS Library Into OMDoc. Search on Bibsonomy LWA The full citation details ... 2015 DBLP  BibTeX  RDF
35Mihnea Iancu, Michael Kohlhase, Florian Rabe 0001, Josef Urban The Mizar Mathematical Library in OMDoc: Translation and Applications. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Michael Kohlhase OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. Search on Bibsonomy 2006   DOI  RDF
35Michael Kohlhase OMDoc: an infrastructure for OpenMath content dictionary information. Search on Bibsonomy SIGSAM Bull. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Christoph Lange 0002 SWiM - A Semantic Wiki for Mathematical Knowledge Management. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Dominik Dietrich, Ewaryst Schulz, Marc Wagner 0001 Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns Capturing the Content of Physics: Systems, Observables, and Experiments. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Andrea Kohlhase, Michael Kohlhase CPoint: Dissolving the Author's Dilemma. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns Problems and Solutions for Markup for Mathematical Examples and Exercises. Search on Bibsonomy MKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF markup for mathematics documents, knowledge representation
Displaying result #1 - #16 of 16 (100 per page; Change: )
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