Access the full text.
Sign up today, get DeepDyve free for 14 days.
X Chen, D Wang (2012)
Management of geometric knowledge in textbooksData Knowl. Eng., 73
JW Bruce, PJ Giblin (1984)
Curves and Singularities
XS Gao, JZ Zhang, SC Chou (1998)
Geometry Expert
P Janičić (2010)
Geometry constructions languageJ. Autom. Reason., 44
F Botana, JL Valcarce (2002)
A dynamic-symbolic interface for geometric theorem discoveryComput. Educ., 38
MA Abánades, F Botana (2013)
A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopesLect. Notes Comput. Sc., 7961
A Montes, M Wibmer (2010)
Gröbner bases for polynomial systems with parametersJ. Symb. Comput., 45
F Botana, MA Abánades (2014)
Automatic deduction in (dynamic) geometry: Loci computationComp. Geom-Theor. Appl., 47
F Botana (2002)
Interactive versus symbolic approaches to plane loci generation in dynamic geometry environmentsLect. Notes Comput. Sc., 2330
XS Gao, Q Lin (2006)
MMP/Geometer - A software package for automated geometric reasoningLect. Notes Artif. Int., 3763
T Recio, MP Vélez (1999)
Automatic discovery of theorems in elementary geometryJ. Autom. Reason., 23
Outsourcing algebraic computations in dynamic geometry tools is a possible strategy used when software distribution constraints apply. If the target user machine has hardware limitations, or if the computer algebra system cannot be easily (or legally) packaged inside the geometric software, this approach can solve current shortcomings in dynamic environments.We report the design and implementation of a web service using Singular, a program specialized in ideal theory and commutative algebra. Besides its canonical address, a virtual appliance and a port to a low-cost ARM based computer are also provided. Any interactive geometric environment can then outsource computations where Singular is used, and incorporate their results into the system. In particular, we illustrate the capabilities of the web service by extending current abilities of GeoGebra to deal with algebraic loci and envelopes by means of a recent algorithm for studying parametric polynomial systems.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Nov 1, 2014
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.