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

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

LMFDB
 Referenced in 30 articles
[sw07249]
 examples of Lfunctions 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...

CPlogic
 Referenced in 14 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...

Transfer
 Referenced in 16 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 16 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...

MMT
 Referenced in 32 articles
[sw07136]
 encode mathematical knowledge in a logicneutral representation format that can represent the metatheoretic ... notions of wellformedness and equivalence of modular mathematical theories. Thus, it provides an interface...

PANACEA
 Referenced in 16 articles
[sw00673]
 flexible programminglanguagelike interface facilitates compact representation of large queueing networks ... ported to processors with modest memory. The modular structure of this software package, along with...

NSPCG
 Referenced in 30 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 21 articles
[sw01700]
 JastAdd is centered around an objectoriented 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 RealTime Calculus...

COCONUT
 Referenced in 36 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 opensource...

ICF3D
 Referenced in 6 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 equationofstate, hydrodynamic...

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

Gmeta
 Referenced in 2 articles
[sw10110]
 GMeta: a generic framework for firstorder representations of variable binding that provides once ... employ datatypegeneric programming (DGP) and modular programming techniques to deal with the infrastructure overhead ... generic libraries of infrastructure for firstorder 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...

SMACK
 Referenced in 5 articles
[sw23311]
 SMACK is both a modular software verification toolchain and a selfcontained software verifier ... from the LLVM compiler’s popular intermediate representation (IR) into the Boogie intermediate verification language...

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