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

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