2 citations · 2 across the 1 of their papers we have counts for
2 papers
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…