Connecting the 3D DGS Calques3D with the CAS Maple
type: Item
instance of: scholarly article
title: Connecting the 3D DGS Calques3D with the CAS Maple
zbMATH Open document ID: 1207.68450
author: Eugenio Roanes-Lozano
author: Nicolas van Labeke
author: Eugenio Roanes Macías
published in: Mathematics and Computers in Simulation
publication date: 2010-05-27T00:00:00Z
full work available at URL: 2009 Connecting C3D Maple (MCS).pdf
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 5712932
zbMATH Keywords: 3D dynamic geometry systems
zbMATH Keywords: computer algebra systems
zbMATH Keywords: mechanical theorem proving in geometry
zbMATH Keywords: Gröbner bases
zbMATH Keywords: Wu's method
Wikidata QID: Q58422945
describes a project that uses: DERIVE
describes a project that uses: Mathematica
describes a project that uses: REDUCE
describes a project that uses: Geometry Expressions
describes a project that uses: PyGeo
describes a project that uses: GEOTHER 1.1
describes a project that uses: GeoGebra
describes a project that uses: AXIOM
describes a project that uses: Maple
describes a project that uses: GEX
describes a project that uses: Geometer's Sketchpad
describes a project that uses: SINGULAR
describes a project that uses: Lugares
describes a project that uses: Calques 3D
MaRDI profile type: Publication
OpenAlex ID: W2018547118
cites work: Q4531856
cites work: A software tool for the investigation of plane loci
cites work: Automatic determination of envelopes and other derived curves within a graphic environment
cites work: Q3798768
cites work: Q4531857
cites work: Q3994509
cites work: Q4531855
cites work: Q4321740
cites work: A new approach for automatic theorem proving in real geometry
cites work: Q4896914
cites work: Q4023355
cites work: Wu's method and its application to perspective viewing
cites work: On the application of Buchberger's algorithm to automated geometry theorem proving
cites work: Q4001538
cites work: Q3783551
cites work: Computational Science and Its Applications – ICCSA 2004
cites work: Automatic discovery of theorems in elementary geometry
cites work: Q4737717
cites work: A bridge between dynamic geometry and computer algebra
cites work: A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
cites work: 3D extension of Steiner chains problem
cites work: Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
cites work: Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
cites work: Automated Deduction in Geometry
cites work: Q4023140
cites work: Q3700870
cites work: Q3700869
cites work: Q4823900
DBLP publication ID: journals/mcs/Roanes-LozanoLR10
DOI: 10.1016/J.MATCOM.2009.09.008
description: scientific article; zbMATH DE number 5712932