Advertisement

Foreword

Formalization of geometry, automated and interactive geometric reasoning
  • Pascal SchreckEmail author
  • Tetsuo Ida
  • Laura Kovacs
Article
  • 16 Downloads

Notes

Acknowledgements

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.

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.UFR de Mathématique et d’InformatiqueUniversité de StrasbourgStrasbourgFrance
  2. 2.Department of Computer ScienceUniversity of TsukubaTsukubaJapan
  3. 3.Vienna University of TechnologyViennaAustria

Personalised recommendations