
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 webbased 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 pseudoEuclidean geometry as well as elements of Lie algebras ... vectors in a finite dimensional pseudoEuclidean vector space is given, generalizing Erhard Schmidt...

MoebInv
 Referenced in 2 articles
[sw27527]
 numeric and graphic manipulations in NonEclidean geometry: moebinv. The project contains two C++ libraries ... numeric and graphical manipulations in nonEuclidean 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...

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