A Singular web service for geometric computations

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

zbMATH Keywords

envelopesdynamic geometryparametric polynomial systemsweb servicesgeometric loci

Mathematics Subject Classification ID

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

• GCLC
• MMP/Geometer
• SINGULAR
• GeoGebra
• Giac
• SCSCP
• gcl
• GEX
• Oracle
• VirtualBox
• paramGeo3D

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