Skip to content
Snippets Groups Projects
Select Git revision
  • 5a3f2844df14d2ee94777ab8baceeee8d53bf6be
  • master default protected
  • ar5iv-04-2024-dataset
  • grounding-dataset-v1
  • fix-sidebar-gitlab-link
  • 13-collect-a-sigmathling-bibliography-2
  • add_bibliography
  • arxmliv-2018
8 results

systems.md

Blame
  • user avatar
    Michael Kohlhase authored
    5f260f51
    History
    systems.md 463 B
    layout: page
    title: SIGMathLing - Systems & Libraries

    only a few, but see the plan

    • CorTeX A general purpose processing framework for corpora of scientific documents, see the mathweb istance.
    • KAT An Annotation Tool for STEM Documents
    • llamapun: common language and mathematics processing algorithms, in Rust