Mathematical aspects of computer and information sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, revised selected papers

This book constitutes the thoroughly refereedpost-conference proceedings of the 6th International Conference on MathematicalAspects of Computer and Information Sciences, MACIS 2015, held in Berlin,Germany, in November 2015. The 48 revised papers presented together with 7 invitedpapers were carefully reviewed and selected from numerous submissions.

Thepapers are grouped in topical sections on curves and surfaces, appliedalgebraic geometry, cryptography, verified numerical computation, polynomialsystem solving, managing massive data, computational theory of differential anddifference equations, data and knowledge exploration, algorithm engineering ingeometric computing, real complexity: theory and practice, global optimization,and general session.