Fingerprint
Dive into the research topics of 'Knowledge-based interoperability for mathematical software systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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