ICMS 2016: Berlin, Germany

Invited Talk

Univalent Foundations and Proof Assistants

Software for Mathematical Reasoning and Applications

Algebraic and Toric Geometry

Algebraic Geometry in Applications

Software of Polynomial Systems

Software for Numerically Solving Polynomial Systems

High-Precision Arithmetic, Effective Analysis and Special Functions

Mathematical Optimization

Interactive Operation to Scientific Artwork and Mathematical Reasoning

Information Services for Mathematics: Software, Services, Models, and Data

SemDML: Towards a Semantic Layer of a World Digital Mathematical Library


a service of Schloss Dagstuhl - Leibniz Center for Informatics