Skip to main content


Formalization of geometry, automated and interactive geometric reasoning


We would like to thank the reviewers for their exhaustive and invaluable work in evaluating the papers submitted, enabling us to select those included in our special issue. We also thank Springer and the editorial team of AMAI, particularly the editor-in-chief Martin Charles Golumbic, for allowing us to use AMAI for disseminating the recent results of our community.

Author information



Corresponding author

Correspondence to Pascal Schreck.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The work of Pascal Schreck is supported by the laboratory ICube UMR 7357 Université de Strasbourg -CNRS.

The work of Tetsuo Ida is supported by JSPS Research Grant Kakenhi 16K0008.

The work of Laura Kovacs was supported by the ERC Starting Grant 2014 SYMCAR 639270, the Wallenberg Academy Fellowship 2014 TheProSE and the Austrian FWF project W1255-N23.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Schreck, P., Ida, T. & Kovacs, L. Foreword. Ann Math Artif Intell 85, 71–72 (2019).

Download citation