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

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

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

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

CONVUS
 Referenced in 3 articles
[sw00157]
 CONVUS  an efficient package for calculating threedimensional...

FRODO
 Referenced in 1 article
[sw00159]
 FRODO: a MuPAD program to calculate matrix elements...

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

critic
 Referenced in 2 articles
[sw00166]
 Critic is a program for the topological analysis...

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

DCUHRE
 Referenced in 23 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

Dill
 Referenced in 5 articles
[sw00205]
 An algorithm is presented that formalizes different steps...

DLLEED
 Referenced in 1 article
[sw00209]
 This paper reports on a new modular package...

Dynasol
 Referenced in 2 articles
[sw00227]
 This paper gives an introduction to a new...

ERCS08
 Referenced in 1 article
[sw00245]
 ERCS08: A FORTRAN program equipped with a Windows...

EvolFMC
 Referenced in 1 article
[sw00256]
 Markovian Monte Carlo program EvolFMC v.2 for solving...

EXPFIT4
 Referenced in 37 articles
[sw00257]
 EXPFIT4  a Fortran program for the numerical solution...

Expokit
 Referenced in 187 articles
[sw00258]
 Expokit provides a set of routines aimed at...

FASTERD
 Referenced in 1 article
[sw00264]
 FASTERD: a Monte Carlo event generator for the...

FEMLAB
 Referenced in 57 articles
[sw00274]
 COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...