• 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 web-based 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 user-defined 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 inequality-proving algorithm...
  • WinGCLC

  • Referenced in 5 articles [sw08574]
  • Predrag Janicic 1996-2009) (from ”Geometry Constructions->LaTeX converter”) is a tool for visualizing ... easy-to-use support for many geometrical constructions, isometric transformations, conics, parametric curves, flow control...
  • Calabi-Yau database

  • Referenced in 23 articles [sw24665]
  • Calabi-Yau threefolds by providing a complete construction of all 473,800,776 reflexive polyhedra ... topological and geometric information about Calabi-Yau 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 three-dimensional ... constructing the visibility polygon of a simple polygon from a viewpoint, and other geometric algorithms...
  • CindyScript

  • Referenced in 3 articles [sw17508]
  • allow for high-level interaction with geometric constructions or physical simulations created in Cinderella.2. Nevertheless...
  • BetaSCP

  • Referenced in 3 articles [sw08772]
  • beta-complex 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 constraint-based two dimensional dynamic geometry system. dynBCN is an experimental ... constructive geometric constraint-based, 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...