Pages that link to "Item:Q555659"

From MaRDI portal

← Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (Q555659)

Jump to:navigation, search

The following pages link to Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (Q555659):

Displayed 2 items.

The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) ‎ (← links)
Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"