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

RESUME
 Referenced in 14 articles
[sw36118]
 explicit representation of temporalabstraction knowledge, and the advantages of modular, taskspecific but domain...

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

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

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

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

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

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

ALM
 Referenced in 5 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...

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

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

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