• Geometer's Sketchpad

  • Referenced in 226 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 25 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...
  • redbKIT

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

  • Referenced in 53 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 inequality-proving algorithm...
  • 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...
  • 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 28 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 11 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...
  • Gudhi

  • Referenced in 31 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...
  • 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...
  • 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...
  • 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...
  • GTEngine

  • Referenced in 42 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...