Knowledge-based interoperability for mathematical software systems
- Michael Kohlhase
- , Luca De Feo
- , Dennis Müller
- , Markus Johannes Pfeiffer
- , Florian Rabe
- , Nicolas Thiéry
- , Victor Vasilyev
- , Tom Wiesing
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution