A Singular web service for geometric computations
From MaRDI portal
Publication:2354915
DOI10.1007/s10472-014-9438-2zbMath1330.68336OpenAlexW1982238810MaRDI QIDQ2354915
Zoltán Kovács, Francisco Botana
Publication date: 27 July 2015
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10902/5401
Symbolic computation and algebraic computation (68W30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (4)
On the unavoidable uncertainty of truth in dynamic geometry proving ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Computing envelopes in dynamic geometry environments ⋮ Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Automatic deduction in (dynamic) geometry: Loci computation
- Gröbner bases for polynomial systems with parameters
- Automatic discovery of theorems in elementary geometry
- A parametric approach to 3D dynamic geometry
- Geometry constructions language
- Giac and GeoGebra – Improved Gröbner Basis Computations
- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes
- SINGULAR
- Symbolic Computation Software Composability
- Automated Deduction in Geometry
This page was built for publication: A Singular web service for geometric computations