• Kenzo

  • Referenced in 64 articles [sw04861]
  • which should be called the Fundamental Theorem of Algebraic Topology. The first version...
  • C-CoRN

  • Referenced in 34 articles [sw06752]
  • project, formalizing the Fundamental Theorem of Algebra. (See the history page for an overview...
  • VFC package

  • Referenced in 16 articles [sw16729]
  • algebraic approach to virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves. We develop ... techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo-holomorphic ... particular setting is to prove appropriate gluing theorems. We require only topological gluing theorems, that ... addressed. Our approach to virtual fundamental cycles is algebraic rather than geometric (in particular...
  • SUPERCALC

  • Referenced in 6 articles [sw00928]
  • string theory. Solution method: Using the algebraic properties of bracket structures, the commutator (or Poisson ... commutators of fundamental operators. For ordered products, the theorem of Wick is applied. Infinite sums...
  • Rank Nullity

  • Referenced in 2 articles [sw29239]
  • theorems of such library are presented. Secondly, some definitions and proofs involving Linear Algebra ... four fundamental subspaces of a matrix are shown. Finally, we present a proof ... result known in Linear Algebra as the “Rank-Nullity Theorem”, which states that, given...
  • CART_TUB

  • Referenced in 1 article [sw38621]
  • effective method (based on Theorem 5.3) of classifying tubular algebras by the Cartan matrices ... indecomposable direct summands in some finite “fundamental domain” , by the reduction to the two elementary ... classification of all up to isomorphism tubular algebras of a fixed tubular type ... classes of tubular algebras of the type p is determined (Theorem...
  • ANSYS

  • Referenced in 663 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

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

  • Referenced in 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • 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...
  • GAP

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

  • Referenced in 93 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • gmp

  • Referenced in 272 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 627 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • KANT/KASH

  • Referenced in 156 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...