AISB opportunities Bulletin Item
CALL FOR PAPERS: Special issue of AMAI on "Formalisation of Geometry, Automated and Interactive Geometric Reasoning"
Annals of Mathematics and Artificial Intelligence special issue on Formalization of Geometry, Automated and Interactive Geometric Reasoning Call-for-Papers For this special issue of AMAI, we are seeking original contributions on various aspects of formalization of geometry having in view computational applications mainly oriented to proof but also to modeling in geometry. Relevant topics include (but are not limited to): * Polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; * Symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; * Design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; * Applications of formalization of geometry to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics, and education. Important dates: September 1, 2017: paper submission via http://www.editorialmanager.com/amai/default.aspx selecting the issue: S688 Formalization of Geometry and Reasoning January 1, 2018: author notification March 1, 2018: revisions and camera-ready paper submission Guest Editors: Pascal Schreck