activity
20182026
most citedThe Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.DLShow all

1 paper · 1 filter

cs.DL2026

Categorizing Mathematical Concepts with LLM Voting Ensembles in Mathswitch

Katja Berčič, Slobodan Stanojevikj

Mathswitch is an open-source project that imports mathematical concept records from sources such as Wikidata, Wikipedia, MathWorld, Encyclopedia of Mathematics, nLab, ProofWiki, an…