• MeatAxe

  • Referenced in 45 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...
  • APNN-Toolbox

  • Referenced in 7 articles [sw06976]
  • that profits from a given Kronecker representation. Quantitative analysis focuses on continuous time Markov chains ... techniques has been implemented for modular and hierarchical Kronecker representations. These techniques yield transient...
  • CP-logic

  • Referenced in 10 articles [sw06947]
  • motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent ... probability trees in a concise, flexible and modular way. In this way, our work extends ... Shafer’s by offering a convenient logical representation for his semantical objects. Second, this language...
  • PANACEA

  • Referenced in 16 articles [sw00673]
  • flexible programming-language-like interface facilitates compact representation of large queueing networks ... ported to processors with modest memory. The modular structure of this software package, along with...
  • LMFDB

  • Referenced in 14 articles [sw07249]
  • examples of L-functions coming from modular forms, elliptic curves, number fields, and Dirichlet characters ... from automorphic forms, algebraic varieties, and Artin representations. In addition, the database contains details about...
  • NSPCG

  • Referenced in 29 articles [sw00636]
  • package is to provide a common modular structure for research on iterative methods for nonsymmetric ... NSPCG allows great flexibility in the operator representation. The coefficient matrix can be passed ... BCGS) and many others. The package is modular so that almost any accelerator...
  • JastAdd

  • Referenced in 17 articles [sw01700]
  • JastAdd is centered around an object-oriented representation of the abstract syntax tree where reference ... implementing the compiler. The behavior can be modularized into different aspects, e.g. name analysis, type...
  • RTC toolbox

  • Referenced in 10 articles [sw14256]
  • Toolbox is based on an efficient representation of Variability Characterization Curves (VCC’s) and implements ... Toolbox provides a library of functions for Modular Performance Analysis with Real-Time Calculus...
  • COCONUT

  • Referenced in 34 articles [sw04760]
  • COCONUT Environment is a modular solver environment for nonlinear continuous global optimization problems with ... other and independent of the internal model representation. It is a collection of open-source...
  • Transfer

  • Referenced in 6 articles [sw21009]
  • Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms ... proofs in terms of a more concrete representation type, or “raw” type. Earlier work ... many technical limitations. We present an improved, modular design centered around two new packages...
  • Lifting

  • Referenced in 6 articles [sw21010]
  • Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms ... proofs in terms of a more concrete representation type, or “raw” type. Earlier work ... many technical limitations. We present an improved, modular design centered around two new packages...
  • Hijacker

  • Referenced in 1 article [sw16340]
  • tool is highly modular and works on an internal representation of the program which allows...
  • MMT

  • Referenced in 11 articles [sw07136]
  • encode mathematical knowledge in a logic-neutral representation format that can represent the meta-theoretic ... notions of well-formedness and equivalence of modular mathematical theories. Thus, it provides an interface...
  • ICF3D

  • Referenced in 5 articles [sw03509]
  • finite element method which allows a natural representation of inherently discontinuous phenomena such as shocks ... conventional finite element methods. ICF3D is modular and consists of separate equation-of-state, hydrodynamic...
  • Gmeta

  • Referenced in 2 articles [sw10110]
  • GMeta: a generic framework for first-order representations of variable binding that provides once ... employ datatype-generic programming (DGP) and modular programming techniques to deal with the infrastructure overhead ... generic libraries of infrastructure for first-order representations such as locally nameless or de Bruijn ... theorem prover. Furthermore, due to GMeta’s modular design, the libraries can be easily used...
  • ANDy

  • Referenced in 1 article [sw16548]
  • some modularity. As main results we show that ANDy systems have finite state representations even...
  • MontiCore

  • Referenced in 3 articles [sw07452]
  • design and implementation. The use of modular language definitions and composition operators are therefore inevitable ... comprehensible abstract syntax as both representations significantly overlap in their structure. For enhancing the usability ... arbitrary graphs (as known from metamodeling). Two modularity concepts, grammar inheritance and embedding, are discussed...
  • OpenGM

  • Referenced in 2 articles [sw14325]
  • Algorithms are separated by design from the representation of graphical models and are easily exchangeable ... file format and command line tools are modular and extendible...
  • InfoMod

  • Referenced in 1 article [sw21234]
  • modular surface and binary quadratic forms. In addition the software implements the recently discovered representation...
  • NetzCope

  • Referenced in 1 article [sw20356]
  • natural and popular mechanism for the representation and investigation of a broad class of systems ... detection and visualization of network communities by modularity maximization...