Pages that link to "Item:Q2808009"
From MaRDI portal
The following pages link to Giac and GeoGebra – Improved Gröbner Basis Computations (Q2808009):
Displayed 14 items.
- GeoGebra (Q16387) (← links)
- Giac (Q18750) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Exploration of dual curves using a dynamic geometry and computer algebra system (Q782690) (← links)
- A mechanical geometer (Q2071524) (← links)
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences (Q2071535) (← links)
- Two almost-circles, and two real ones (Q2071537) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra (Q4610005) (← links)
- Towards an Automated Geometer (Q6108828) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)