OpenMath / CDsLinks
The OpenMath Content Dictionaries
☆16Updated 3 years ago
Alternatives and similar repositories for CDs
Users that are interested in CDs are comparing it to the libraries listed below
Sorting:
- MathWebSearch Implementation☆48Updated 3 years ago
- List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.☆19Updated 6 years ago
- A comprehensive graph of mathematical domains and topics☆22Updated 4 years ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆13Updated 9 months ago
- Sigma Knowledge Engineering Environment☆117Updated last week
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Updated 2 years ago
- BibServer is open-source software what makes it easy to publish, manage and find bibliographies. BibServer is RESTful and web-friendly.☆126Updated 6 years ago
- Backend map and tile generation and webserver for the Paperscape map☆44Updated 6 months ago
- The Semantic Web Application Platform: cwm etc☆37Updated 2 years ago
- Automatically exported from code.google.com/p/swoop☆36Updated 10 years ago
- Automatically exported from code.google.com/p/colore☆73Updated last year
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆239Updated last year
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆68Updated 2 months ago
- Pandoc filter to use Wikidata as reference manager☆19Updated 5 years ago
- BFO repository including source code and latest documents☆296Updated 2 years ago
- Prepare consistent BibTeX files for your LaTeX documents☆12Updated 9 months ago
- Suggested Upper Merged Ontology (SUMO)☆251Updated last week
- A python library to deal with scientific papers.☆17Updated 9 years ago
- Bayes OWL Ontology Merging☆22Updated last year
- CiteSeerX public repository☆136Updated last year
- Euler Yet another proof Engine☆159Updated last week
- IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆12Updated last month
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated last year
- The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…☆43Updated 2 years ago
- This ontology is a Linked Data Hub for mathematics☆66Updated 2 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- A simple wrapper around the ORCID.org API.☆33Updated 6 years ago
- logic programming with SPARQL☆47Updated 3 years ago
- The eNanoMapper ontology☆19Updated 5 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆110Updated last year