A bridge between dynamic geometry and computer algebra
type: Item
instance of: scholarly article
title: A bridge between dynamic geometry and computer algebra
zbMATH Open document ID: 1073.68899
DOI: 10.1016/S0895-7177(03)00115-8
author: M. Villar-Mena
author: Eugenio Roanes-Lozano
author: Eugenio Roanes Macías
published in: Mathematical and Computer Modelling
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 65D18
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 2082775
zbMATH Keywords: Computer algebra
zbMATH Keywords: Dynamic geometry
zbMATH Keywords: Automatic theorem proving
zbMATH Keywords: Geometric loci
describes a project that uses: AXIOM
describes a project that uses: Maple
describes a project that uses: Mathematica
describes a project that uses: DERIVE
describes a project that uses: Cinderella
describes a project that uses: CoCoA
describes a project that uses: REDUCE
describes a project that uses: Geometer's Sketchpad
describes a project that uses: MuPAD
MaRDI profile type: Publication
cites work: Q4002478
cites work: Q4002421
cites work: Q4321740
cites work: Q4896914
cites work: Q4023140
cites work: Q4001538
cites work: Q3783551
cites work: Q4023355
cites work: Every simplicial polytope with at most \(d+4\) vertices is a quotient of a neighborly polytope
cites work: Q4023642
cites work: Q3798768
cites work: Q3994509
cites work: Q4507801
cites work: Q3700870
cites work: Q3700869
cites work: Automatic discovery of theorems in elementary geometry
cites work: Wu's method and its application to perspective viewing
cites work: Q3838770
cites work: Q4471949
full work available at URL: s0895-7177(03)00115-8
OpenAlex ID: W2004345512
description: scientific article; zbMATH DE number 2082775