Pages that link to "Item:Q352758"

The following pages link to Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings (Q352758):

Displaying 1 item.

• Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)