2 citations · 2 across the 2 of their papers we have counts for
3 papers
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…
cs.MS2020★ 2 cited
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
Katja Bercic, Jacques Carette, William M. Farmer +4
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathemati…
math.CO2018
DiscreteZOO: a Fingerprint Database of Discrete Objects
Katja Berčič, Janoš Vidali
In this paper, we present DiscreteZOO, a project which illustrates some of the possibilities for computer-supported management of collections of finite combinatorial (discrete) obj…