Pages that link to "Item:Q1094149"
From MaRDI portal
The following pages link to On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149):
Displaying 6 items.
- (Q5433133) (← links)
- Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (Q5852118) (← links)
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)