
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 230 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 654 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 170 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

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

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

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

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

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

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

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

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

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