
Geometer's Sketchpad
 Referenced in 223 articles
[sw04858]
 dynamic models of fractions, number lines, and geometric patterns. Middle school students can build their ... students can use Sketchpad to construct and transform geometric shapes and functions—from linear...

GeoThms
 Referenced in 24 articles
[sw06216]
 Euclidean constructive geometry GeoThms is a webbased framework for exploring geometrical knowledge that integrates ... provers (ATP), and a repository of geometrical constructions, figures and proofs. The GeoThms users ... system with a growing body of geometrical constructions and formally proven geometrical theorems. We believe...

rgl
 Referenced in 50 articles
[sw10017]
 well as functions for constructing representations of geometric objects (cube3d(), etc.). Output...

redbKIT
 Referenced in 138 articles
[sw12977]
 algebraic and geometric structures. More specifically, the authors discuss alternative strategies for constructing accurate...

LOOK
 Referenced in 12 articles
[sw02276]
 filter techniques on the level of geometric constructions. The experiments we present – partly using ... memory consumption when dealing with more complex geometric computations...

webDiscovery
 Referenced in 8 articles
[sw10153]
 discovery in geometry. A userdefined geometric construction is uploaded to a Java Servlet server ... Mathematica, return the discovered facts about the construction. webDiscovery can be efficiently used in mathematics ... linkage design and testing and computer aided geometric design. The system can be tested...

BOTTEMA
 Referenced in 8 articles
[sw09243]
 Automated Proving for a Class of Constructive Geometric Inequalities. An automated inequalityproving algorithm...

WinGCLC
 Referenced in 5 articles
[sw08574]
 Predrag Janicic 19962009) (from ”Geometry Constructions>LaTeX converter”) is a tool for visualizing ... easytouse support for many geometrical constructions, isometric transformations, conics, parametric curves, flow control...

CalabiYau database
 Referenced in 23 articles
[sw24665]
 CalabiYau threefolds by providing a complete construction of all 473,800,776 reflexive polyhedra ... topological and geometric information about CalabiYau threefolds using the toric construction, and we provide...

Geometric Constructer
 Referenced in 2 articles
[sw09042]
 process of solving problems using the Geometric Constructer (GC) software. We conducted a case study ... domains of manipulation, constructive and relational, which indicate geometric thinking through modes of touchscreen...

GEOMPACK
 Referenced in 10 articles
[sw00339]
 into mesh generation and geometric algorithms.par It contains routines for constructing two and threedimensional ... constructing the visibility polygon of a simple polygon from a viewpoint, and other geometric algorithms...

CindyScript
 Referenced in 3 articles
[sw17508]
 allow for highlevel interaction with geometric constructions or physical simulations created in Cinderella.2. Nevertheless...

BetaSCP
 Referenced in 3 articles
[sw08772]
 betacomplex which is a derivative geometric construct of the Voronoi diagram. Placing a higher...

RedHom
 Referenced in 12 articles
[sw08776]
 algorithms based on geometric and algebraic reduction methods: acyclic subspace construction, elementary reductions and coreductions...

Kig
 Referenced in 2 articles
[sw09822]
 program for exploring geometric constructions. It is meant as a better replacement for such free...

FlashRelate
 Referenced in 2 articles
[sw21511]
 language that extends regular expressions with geometric constructs. An interactive user interface...

PyGeo
 Referenced in 1 article
[sw09862]
 framework for the creation of dynamic geometric constructions  i.e. constructions which embody defined and persistent ... building blocks for virtual, dynamic geometric constructions. The focus is away from Euclidian geometry...

ArgoCLP
 Referenced in 11 articles
[sw07192]
 formulate the geometric problems, secondly it makes use of a constructive calculus, and thirdly ... redundant axioms in the hierarchy of explored geometric statements and a special treatment for symmetrical...

DynBCN
 Referenced in 1 article
[sw12476]
 dynBCN a constructive geometric constraintbased two dimensional dynamic geometry system. dynBCN is an experimental ... constructive geometric constraintbased, two dimensional dynamic geometry system developed by researchers of the Geometric...

Diamant toolbox
 Referenced in 12 articles
[sw12524]
 Diamant toolbox we construct is applied to the study of the geometrical nonlinear behavior...