PierreSenellart / theoremkbLinks
Collection of tools to extract semantic information from (mathematical) research articles
☆21Updated 6 months ago
Alternatives and similar repositories for theoremkb
Users that are interested in theoremkb are comparing it to the libraries listed below
Sorting:
- Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID☆59Updated 2 months ago
- Concept dictionary☆38Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Analytic platform for the HAL research archive (in development)☆13Updated 4 years ago
- Data Science Ontology☆38Updated 3 weeks ago
- A general purpose processing framework for corpora of scientific documents☆63Updated 3 weeks ago
- A Knowledge Base for research software relying on large-scale text mining and curated knowledge sources☆16Updated 2 years ago
- Supervised learning of morphology☆28Updated 8 years ago
- Poor man's simple harvester for arXiv resources☆12Updated last year
- An extensive Python library for dealing with FoLiA (Format for Linguistic Annotation) documents, a rich XML-based format for linguistic a…☆18Updated 6 months ago
- Service for converting and enhancing heterogeneous publisher XML formats into TEI☆54Updated 8 months ago
- A WordNet in GF☆26Updated this week
- Lambda Notebook: Formal Semantics in Jupyter☆27Updated last month
- Source for lemon-model.net☆11Updated 3 years ago
- Make MP3 albums out of Academic PDFs. Works by gluing together Grobid and TTS offerings.☆12Updated last year
- Ontolex modules☆33Updated 3 months ago
- Finding mentions and citations to named and implicit research datasets from within the academic literature☆25Updated 7 months ago
- 🕸 YALC: Yet Another LOD Cloud (registry of Linked Open Datasets).☆16Updated last year
- Softcite software mention recognizer, finding mentions and citations to software from within the academic literature☆77Updated last month
- Open Access PDF harvester☆40Updated last year
- Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)☆31Updated last year
- A high performance bibliographic information service: https://biblio-glutton.readthedocs.io☆139Updated 8 months ago
- Generating graph structures from OWL ontologies☆12Updated 7 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 6 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 10 years ago
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Updated 5 years ago
- This is the project planning repository for the CLARIAH-PLUS project. It groups all technical documents and discussions pertaining to CLA…☆10Updated 2 months ago
- PhD Dissertation "Automated Extraction and Curation of Materials Information from Scientific Literature"☆10Updated last year
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated 2 weeks ago