• CandS

  • Referenced in 108 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 25 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...
  • MoebInv

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

  • Referenced in 1 article [sw33592]
  • GeoLogic - Graphical interactive theorem prover for Euclidean geometry. Domain of mathematical logic in computers ... picked the case study of Euclidean geometry as it can be easily visualized, has simple ... pictures. We present our system for Euclidean geometry, together with a graphical application GeoLogic, similar...
  • 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...
  • 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...
  • paramGeo3D

  • Referenced in 3 articles [sw37299]
  • exists an extensive list of 2D dynamic geometry environments, the number of 3D systems ... Euclidean constructions. An open source library, implementing the core functions in a 3D dynamic geometry...
  • 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...
  • Go-ICP

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