A FRAMEWORK FOR REPRESENTING AND PROCESSING ARBITRARY MATHEMATICS
Arnold Neumaier, Peter Schodl · 2010
Knowledge representation, human-machine coorperation. While mathematicians already benefit from the computer as regards numerical problems, visualization, symbolic manipulation, typesetting, etc., there is no common facility to store and process information, and mathematicians usually have to communicate the same mathematical content multiple times to the computer. We are in the process of creating and implementing a framework that is capable of representing and interfacing optimization problems, and we argue that this framework can be used to represent arbitrary mathematics and contribute towards a universal mathematical database. 1