
Kenzo
 Referenced in 60 articles
[sw04861]
 which should be called the Fundamental Theorem of Algebraic Topology. The first version...

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

VFC package
 Referenced in 14 articles
[sw16729]
 algebraic approach to virtual fundamental cycles on moduli spaces of pseudoholomorphic curves. We develop ... techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudoholomorphic ... 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 “RankNullity Theorem”, which states that, given...

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

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

Cinderella
 Referenced in 141 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

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

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...

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

GeM
 Referenced in 80 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

gmp
 Referenced in 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

HSL
 Referenced in 265 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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

LAPACK
 Referenced in 1590 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 258 articles
[sw00509]
 In the core computer science areas  data structures...