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

  • 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...
  • CP-logic

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

  • Referenced in 1 article [sw29272]
  • first-class event-based context representation. Modularization. Behavioral variations are modularized by layers that...
  • 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...
  • 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 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...
  • 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 open-source...
  • 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...
  • 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 equation-of-state, hydrodynamic...
  • Gmeta

  • Referenced in 3 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...
  • 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]
  • large-scale 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...