
CandS
 Referenced in 111 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 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 14 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 NonEclidean geometry: moebinv. The project contains two C++ libraries ... numeric and graphical manipulations in nonEuclidean 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...

Ball
 Referenced in 2 articles
[sw26708]
 satisfy the axioms of Euclidean geometry, while most of the statistical hypothesis tests are available...

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...

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...

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

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

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

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...

CPT
 Referenced in 16 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...

PFCNN
 Referenced in 2 articles
[sw41515]
 widely used shape representations and capture finer geometry data than point clouds or volumetric grids ... apply CNNs directly due to their nonEuclidean structure. We use parallel frames on surface ... such that they locally form a flat Euclidean structure, thus enabling recovery of standard convolutions ... locally flat connections borrowed from discrete differential geometry, which can be efficiently encoded and computed...

GoICP
 Referenced in 8 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...