Pages that link to "Item:Q752130"
From MaRDI portal
The following pages link to A decision method for certain algebraic geometry problems (Q752130):
Displaying 7 items.
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A note on Kirkwood's algebraic method for decision problems (Q1268151) (← links)
- A criterion for dependency of algebraic equations with applications to automated theorem proving (Q1333975) (← links)
- Foreword to the special issue (Q1730296) (← links)
- (Q3602608) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)