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 proceedingConference contribution

3 Citations (Scopus)
2 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Knowledge-based interoperability for mathematical software systems'. Together they form a unique fingerprint.

Computer Science

Mathematics