scientific article; zbMATH DE number 2079840

MaRDI QIDQ4471949zbMATH OpenFDO

Authors Eugenio Roanes Macías, Eugenio Roanes-Lozano

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1930/19300157.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Symbolic computation and algebraic computation (68W30)

Recommendations

• Automatic deduction in (dynamic) geometry: Loci computation
• scientific article; zbMATH DE number 2247479
• scientific article; zbMATH DE number 2009909
• On the Exact Location of Steiner Points in General Dimension
• Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
• Publication:3485832
• scientific article; zbMATH DE number 1421051

Cited in

(10)

• A software tool for the investigation of plane loci
• Simson-Wallace locus in \(d\)-dimensional projective-metric space
• Extension of Simson-Wallace theorem on skew quadrilaterals and further properties
• Automatic deduction in (dynamic) geometry: Loci computation
• scientific article; zbMATH DE number 2009909 (Why is no real title available?)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• A bridge between dynamic geometry and computer algebra
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• Wallace-Simson theorem on four lines parallel to a plane
• Determinant of the finite volume Laplacian

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471949)