Relevant Topics

We invite submissions dealing with the following and more.

  • Automated and interactive theorem proving in geometry involving algebraic, logical, and/or probabilistic approaches.
  • Symbolic and numerical methods for geometric computation and constraint solving.
  • The formal verification of geometric algorithms, for instance in relation to computational geometry.
  • Reasoning and manipulation via diagrams, including approaches based on dynamic geometry.
  • The design, implementation, and evaluation of software for geometric reasoning.
  • Knowledge management and libraries of test problems for theorem proving in geometry.
  • The applications to geometric modelling, CAGD/CAD, computer vision, robotics, and education.

Submission

Papers submitted to this special issue for possible publication must be original and must not be under consideration for publication in any other journal or conference. Previously published or accepted conference/workshop papers must contain at least 30% new material to be considered for the special issue (for workshop 50% new content is required).

Prospective authors should follow the instructions set out by the Annals of Mathematics and Artificial Intelligence on its webpage and submit their articles through Springer's Editorial Manager System by the deadline indicated below. For this special issue, submissions should be done under “S74: Geometric Reasoning” when selecting the “Choose Article Type”.

Please note that the guest editors will first carry a quick assessment of each submission and only papers that are deemed relevant to the special issue and are of high enough quality will be forwarded to at least two referees for full, independent reviews.




Important Dates

Submissions due: December 31, 2013
First-round acceptance notification: March  31, 2014
Revised versions due: April 30, 2014
Final decision: June 30, 2014
Final papers due: August 31, 2014
Publication date: 2014 (To be confirmed)

Special Issue Editors

Jacques Fleuriot, University of Edinburgh, UK. Tetsuo Ida, University of Tsukuba, Japan.