
Geometer's Sketchpad
 Referenced in 228 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...

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

GeoThms
 Referenced in 25 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 60 articles
[sw10017]
 well as functions for constructing representations of geometric objects (cube3d(), etc.). Output...

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...

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

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...

Construct3D
 Referenced in 4 articles
[sw40203]
 Construct3D is a three dimensional geometric construction tool based on the collaborative augmented reality system ... learn and encourages experimentation with geometric constructions...

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 28 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...

GEOMPACK
 Referenced in 13 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...

Gudhi
 Referenced in 43 articles
[sw08777]
 that have been made to implement the construction and manipulation of simplicial complexes ... Gudhi library. The Gudhi library (Geometric Understanding in Higher Dimensions) is a generic C++ library ... point cloud. A popular approach is to construct, at different scales, an approximation...

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...

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...

StochaTR
 Referenced in 6 articles
[sw11113]
 exactly calculated. We construct an efficient geometrical algorithm to solve stochastic linear programs that have...

ArgoCLP
 Referenced in 12 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...

GTEngine
 Referenced in 44 articles
[sw24041]
 Welcome to the official site for the Geometric Tools Engine, a library of source code ... such, has portable access to standard constructs for multithreading programming on cores. The engine also...

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

WGL
 Referenced in 2 articles
[sw31398]
 defining his/her own working space, sharing geometric constructions between themselves. From the case studies already...