Foreword. Formalization of geometry, automated and interactive geometric reasoning

DOI10.1007/S10472-019-9617-2MaRDI QIDQ2631955zbMATH OpenOpenAlexFDO

Authors

Publication date 16 May 2019

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-019-9617-2

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to geometry (51-06)

Recommendations

• scientific article; zbMATH DE number 7545242
• Geometry and its applications. Selected papers based on the presentations at the 2nd international workshop on geometry and symbolic computation, Haifa, Israel, May 15--18, 2013
• Editorial. From theoretical to applied geometry -- recent developments
• Editorial: New developments in geometry -- theory and applications
• Proof and computation in geometry

Cited in

(4)

• A graphical user interface for formal proofs in geometry
• Formalizing mathematics in higher-order logic: A case study in geometric modelling
• Foreword to the special issue on automated reasoning
• Preface to the special issue on geometric reasoning

This page was built for publication: Foreword. Formalization of geometry, automated and interactive geometric reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631955)