• SnapPea

• Referenced in 163 articles [sw06873]
• Simons invariant (if orientable), homology, symmetry or isometry group, shortest geodesic, chirality and a string...

• DIMSYM

• Referenced in 74 articles [sw04279]
• dimensional manifolds, symmetries of geometric objects (eg, isometries), and also to solve linear partial differential...

• ADMiRA

• Referenced in 35 articles [sw31664]
• given in terms of the rank-restricted isometry property (R-RIP) and bounds both...

• DifferentialGeometry

• Referenced in 30 articles [sw07593]
• advanced applications involving: Killing vector fields and isometry groups, Killing tensors, algebraic classification of solutions...

• ParNes

• Referenced in 12 articles [sw08366]
• prove under the assumption of the restricted isometry property (rip) and a sparsity condition...

• LamanGraphs

• Referenced in 11 articles [sw39185]
• There are finitely many ways, up to isometries, to realize a Laman graph...

• sfqm

• Referenced in 8 articles [sw33599]
• prove that there are only finitely many isometry classes of even lattices ( L) of signature...

• 3dprintmath

• Referenced in 6 articles [sw20130]
• frequently to speak about topological spaces, functions, isometries by drawing shapes, arrows and thinking about...

• Resultants

• Referenced in 3 articles [sw01251]
• continuity of the action of the linear isometries operad on the group completion...

• L3toHorospere

• Referenced in 1 article [sw11225]
• horosphere. We also discuss realizations of hyperbolic isometries. The corresponding algorithms are implemented in Mathematica...

• Octonions

• Referenced in 1 article [sw38033]
• octonionic product, a description of 7D isometries and representations of orthogonal transformations. To this...

• Poincare_Disc

• Referenced in 1 article [sw42011]
• betweenness of triples of points, circles, and isometries are defined within the model...

• BH01

• Referenced in 1 article [sw42380]
• conserved quantities under the de Sitter isometry relating the black hole co-moving frame...

• HomoGrTb

• Referenced in 0 articles [sw17867]
• correspondence based homography estimation for various homographies (isometry, similarity, affinity, projectivity...

• AXIOM

• Referenced in 173 articles [sw00063]
• Axiom is a general purpose Computer Algebra system...

• GAP

• Referenced in 3190 articles [sw00320]
• GAP is a system for computational discrete algebra...

• Magma

• Referenced in 3344 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

• Maple

• Referenced in 5375 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 6360 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 13559 articles [sw00558]
• MATLAB® is a high-level language and interactive...