• CandS

  • Referenced in 85 articles [sw07308]
  • connection with his book ”Modern Differential Geometry of Curves and Surfaces” and collected ... miniprograms”), applicable to calculate the basic Euclidean differential invariants of curves and surfaces ... starting point for working in Euclidean differential geometry with Mathematica. This notebook, the adapted...
  • GeoThms

  • Referenced in 24 articles [sw06216]
  • GeoThms -- a web system for Euclidean constructive geometry GeoThms is a web-based framework...
  • webDiscovery

  • Referenced in 8 articles [sw10153]
  • tool for automatic discovery in elementary Euclidean geometry, webDiscovery, is described. It is based...
  • MMP/Geometer

  • Referenced in 13 articles [sw00584]
  • implements Wu’s method for Euclidean and differential geometries, the area method and the geometric...
  • Xeukleides

  • Referenced in 4 articles [sw01025]
  • powerful commands for creating elementary Euclidean geometry figures...
  • KSEG

  • Referenced in 4 articles [sw05361]
  • KSEG is a program for exploring Euclidean geometry, similar to Geometer’s Sketchpad. It features...
  • GeoText

  • Referenced in 3 articles [sw12576]
  • manage knowledge elements in plane Euclidean geometry. The textbook is dynamic in the sense that...
  • Elementary Möbius Geometry

  • Referenced in 2 articles [sw06931]
  • contain tools of Euclidean and pseudo-Euclidean geometry as well as elements of Lie algebras ... vectors in a finite dimensional pseudo-Euclidean vector space is given, generalizing Erhard Schmidt...
  • MoebInv

  • Referenced in 2 articles [sw27527]
  • numeric and graphic manipulations in Non-Eclidean geometry: moebinv. The project contains two C++ libraries ... numeric and graphical manipulations in non-Euclidean geometry. There is Graphical User Interface which allows...
  • Ball

  • Referenced in 1 article [sw26708]
  • satisfy the axioms of Euclidean geometry, while most of the statistical hypothesis tests are available...
  • Tarskis_Geometry

  • Referenced in 2 articles [sw32215]
  • Tarski’s Euclidean axiom. Tarski’s axioms of plane geometry are formalized and, using ... Tarski’s axioms except his Euclidean axiom; thus Tarski ... Euclidean axiom is shown to be independent of his other axioms of plane geometry...
  • gcl

  • Referenced in 9 articles [sw07212]
  • Geometry Constructions Language (gcl) is a language for explicit descriptions of constructions in Euclidean plane ... tools gclc and Wingclc powerful mechanized geometry systems and they have thousands of users worldwide...
  • Geometry Explorer

  • Referenced in 1 article [sw20824]
  • Geometry Explorer. Providing an environment for the study of Euclidean, Hyperbolic (Poincare Model), Analytic, Transformational...
  • 3dprintmath

  • Referenced in 4 articles [sw20130]
  • which is an abstract notion in differential geometry. 3D print can be used to create ... interesting games about tiling the three dimensional euclidean space, and also to make beautiful model...
  • cellularSheaves

  • Referenced in 3 articles [sw25131]
  • define cellular sheaves on polyhedral complexes in Euclidean space, as well as cosheaves, and their ... summarize some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies...
  • CPT

  • Referenced in 15 articles [sw22560]
  • grid. The closest point transform finds the Euclidean distance to the triangle mesh. In addition ... implemented efficiently with the aid of computational geometry and polyhedron scan conversion. The computed distance...
  • L3toHorospere

  • Referenced in 1 article [sw11225]
  • hyperbolic space that is isometric to the Euclidean plane. In order to correctly visualize ... computer screen as horosphere and investigate the geometry of central projection of the hyperbolic space...
  • VisiLibity

  • Referenced in 1 article [sw33404]
  • power of a larger computational geometry library is not necessary. Current Functionality of VisiLibity1 ... with polygonal holes: visibility polygons; visibility graphs; Euclidean shortest paths for a point; Python, Ruby...
  • eudiffgeo

  • Referenced in 0 articles [sw10097]
  • consists of two Mathematica notebooks, devoted to Euclidean curve- and surface theory, and five packages ... interactive textbooks of local elementary differential geometry. Two of the packages contain Alfred Gray...
  • Go-ICP

  • Referenced in 2 articles [sw14979]
  • globally optimal algorithm, named Go-ICP, for Euclidean (rigid) registration of two 3D point-sets ... exploiting the special structure of SE(3) geometry, we derive novel upper and lower bounds...