• 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 ... first-class 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 ... vector-between-vectors 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...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: 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...
  • C-XSC

  • Referenced in 109 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 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...