Skip to content

A Framework for Representing and Processing Arbitrary Mathematics.

Arnold Neumaier, Peter Schodl

VenueCIC3K
Year2010
ProceedingsKEOD

Browse the full IC3K paper archive.