
MeatAxe
 Referenced in 48 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...

LMFDB
 Referenced in 90 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...

APNNToolbox
 Referenced in 11 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...

CPlogic
 Referenced in 17 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 25 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 25 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 46 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...

JCop
 Referenced in 1 article
[sw29272]
 firstclass eventbased context representation. Modularization. Behavioral variations are modularized by layers that...

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

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

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

ICF3D
 Referenced in 7 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...

Gmeta
 Referenced in 3 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...

ALM
 Referenced in 4 articles
[sw29436]
 Language ALM. The paper introduces a new modular action language, ALM, and illustrates the methodology ... programming system description. The resulting logic programming representation is used to perform various computational tasks...

GENFIT
 Referenced in 1 article
[sw26658]
 combines fitting algorithms, track representations, and measurement geometries into a modular framework. We report...

OpenKE
 Referenced in 1 article
[sw30611]
 largescale knowledge representation learning. Meanwhile, OpenKE maintains sufficient modularity and extensibility to easily incorporate...

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

ANDy
 Referenced in 2 articles
[sw16548]
 some modularity. As main results we show that ANDy systems have finite state representations even...