Semantics for Mathematics in the Framework of a WDML
Sprache des Vortragstitels:
7th Eropean Congress of Mathematics, July 18-22, 2016. The quadrennial Congress of the European Mathematical Society.
Sprache des Tagungstitel:
A global digital mathematics library should establish the world heritage of mathematical knowledge in an open web-accessible, extensible way. Intended for all mathematicians and users of mathematics, it should use the most advanced technologies including automated reasoning and artificial intelligence. An aspect of this which raises interesting problems of semantics is the machine representation of the mathematical knowledge. This can be well illustrated from the field of Gröbner basis theory and its applications.