Semantics for Mathematics in the Framework of a WDML

Description

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.

Period	22 Jul 2016
Event title	7th Eropean Congress of Mathematics, July 18-22, 2016. The quadrennial Congress of the European Mathematical Society.
Event type	Conference
Location	GermanyShow on map