
XFEM
 Referenced in 382 articles
[sw01026]
 extended finite element (XFEM) computations and a modular and extensible system. The programme structure...

MeatAxe
 Referenced in 67 articles
[sw04906]
 MeatAxe  Computing with Modular Representations. The MeatAxe is a set of programs for working with ... primary purpose is the calculation of modular character tables, although it can be used ... programs (see The Lattice Programs) to compute automatically the submodule lattice of a given module...

OpenFOAM
 Referenced in 554 articles
[sw04317]
 enabling users to take full advantage of computer hardware at their disposal. By being open ... support from OpenCFD. It follows a highly modular code design in which collections of functionality...

GreatSPN
 Referenced in 57 articles
[sw00384]
 different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...

DUNE
 Referenced in 185 articles
[sw01466]
 Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs ... overhead. Thus DUNE ensures efficiency in scientific computations and supports highperformance computing applications...

LMFDB
 Referenced in 166 articles
[sw07249]
 LMFDB, the database of Lfunctions, modular forms, and related objects. These pages are intended ... since typically we need these objects to compute Lfunctions. In these pages you will ... examples of Lfunctions coming from modular forms, elliptic curves, number fields, and Dirichlet characters...

Ptolemy
 Referenced in 81 articles
[sw07459]
 modular formal semantics for Ptolemy. Ptolemy is an opensource and extensible modelling and simulation ... modeling capabilities by allowing different models of computation, both untimed and timed, to be composed ... formal semantics for Ptolemy that is modular in the sense that atomic actors and their ... directors. Different directors realise different models of computation. In this paper, we formally define...

Rabbit
 Referenced in 24 articles
[sw01317]
 timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement ... orderings for the BDDs are computed from the modular structure of the model...

PRONTO3D
 Referenced in 56 articles
[sw03448]
 implemented in a modular way for multipleinstruction multipledata parallel computers. The serial contact...

gem5
 Referenced in 10 articles
[sw10707]
 gem5 Simulator System. A modular platform for computer system architecture research. The gem5 simulator ... modular platform for computer system architecture research, encompassing systemlevel architecture as well as processor...

Modp group cohomology
 Referenced in 8 articles
[sw08638]
 Sage computer algebra system. It computes modular cohomology rings of finite groups. It yields minimal ... presentations of the cohomology rings, can compute various ring invariants (Poincaré series, ainvariant, depth...

NAMD2
 Referenced in 21 articles
[sw09642]
 maximally utilize the available compute power. It is modularly organized, and implemented using Charm...

Cactus
 Referenced in 81 articles
[sw04422]
 framework for building a variety of computing applications in science and engineering, including astrophysics, relativity ... rewrite of earlier versions, which enables highly modular, multilanguage, parallel applications to be developed ... able to provide the latest advances in computational science, such as interchangeable parallel data distribution...

Quantum Espresso
 Referenced in 54 articles
[sw06129]
 QUANTUM ESPRESSO: a modular and opensource software project for quantum simulations of materials. QUANTUM ... ESPRESSO is an integrated suite of computer codes for electronicstructure calculations and materials modeling...

LiDIA
 Referenced in 53 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA is a C++ library for number theory ... however. Emphasis is put on easy usability, modularity (e.g. it can be used with different ... software packages Pari, Maple and Mathematica. Computer algebra system...

Reduze
 Referenced in 82 articles
[sw10354]
 integral reduction in C++. Reduze is a computer program for reducing Feynman integrals to master ... different topologies is supported via a modular, load balancing job system. Fast graph and matroid...

RegEM
 Referenced in 20 articles
[sw04943]
 placed on the modularity of the program code than on computational efficiency. The regularized...

ColPack
 Referenced in 32 articles
[sw07045]
 coloring problems that arise in sparse derivative computation. It is written in an objectoriented ... designed to be simple, modular, extenable and efficient...

QDENSITY
 Referenced in 13 articles
[sw01170]
 simulation of a Quantum Computer. The program provides a modular, instructive approach for generating...

ELAN
 Referenced in 108 articles
[sw02179]
 decision procedures and to offer a modular framework for studying their combination. ELAN takes from ... same term, and in ELAN, a computation may have several results. This aspect is taken...