
Geometric Calculator
 Referenced in 1 article
[sw34869]
 means that in addition to doing the normal computations on (computer implemented) real numbers that ... vectors in two and three space, on the bivectors over those vectors, on the trivector ... over three space, on complex numbers, and on quaternions...

Sheafhom 2.0
 Referenced in 1 article
[sw00854]
 dense algorithms for LLL and Hermite normal form. Graphs and windows are provided to show ... firstclass objects: vector spaces, morphisms of vector spaces, and cochain complexes...

SYVA
 Referenced in 1 article
[sw28312]
 molecule or simplify complex calculations. In this paper a simple vector algebraic method is described ... molecule, revealing the symmetry properties of normal modes of vibration and symmetrizing the structure...

!FTL
 Referenced in 1 article
[sw32626]
 based on points, which may require normalization, resampling, and rotation to a reference before processing ... vectorbetweenvectors recognition where a gesture is defined by a vector based on geometric ... novel Local Shape Distance (LSD) between vectors. We mathematically prove the LSD position, scale ... smaller execution time and a lower algorithmic complexity...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 665 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 324 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 367 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CLIFFORD
 Referenced in 80 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 637 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1828 articles
[sw00161]
 Coq is a formal proof management system. It...

Cuba
 Referenced in 60 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

CXSC
 Referenced in 109 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

FGb
 Referenced in 244 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...