A Framework for Representing and Processing Arbitrary Mathematics. - Arnold Neumaier; Peter Schodl (KEOD, 2010)

Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images. - Peter Schodl; Arnold Neumaier (Reliab. Comput., 2012)