• 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 high-performance computing applications...
  • LMFDB

  • Referenced in 166 articles [sw07249]
  • LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended ... since typically we need these objects to compute L-functions. In these pages you will ... examples of L-functions 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 open-source 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 multiple-instruction multiple-data 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 system-level architecture as well as processor...
  • Mod-p 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, a-invariant, 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, multi-language, 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 open-source software project for quantum simulations of materials. QUANTUM ... ESPRESSO is an integrated suite of computer codes for electronic-structure 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 object-oriented ... 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...