20 citations · 34 across the 9 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
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…
cs.MS2016★ 20 cited
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov +3
OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the…