Pages that link to "Item:Q2631955"
From MaRDI portal
The following pages link to Foreword. Formalization of geometry, automated and interactive geometric reasoning (Q2631955):
Displaying 4 items.
- Preface to the special issue on geometric reasoning (Q505980) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Foreword to the Special Issue on Automated Reasoning (Q5145433) (← links)