
LMFDB
 Referenced in 79 articles
[sw07249]
 LMFDB, the database of Lfunctions, modular forms, and related objects. These pages are intended ... examples of Lfunctions coming from modular forms, elliptic curves, number fields, and Dirichlet characters...

SWIG
 Referenced in 41 articles
[sw04607]
 interpreted problem solving environment and they form a modular framework for controlling software components written...

Transfer
 Referenced in 22 articles
[sw21009]
 Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms of type ... many technical limitations. We present an improved, modular design centered around two new packages...

Lifting
 Referenced in 22 articles
[sw21010]
 Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms of type ... many technical limitations. We present an improved, modular design centered around two new packages...

STAMP
 Referenced in 41 articles
[sw09536]
 easytouse form which enables the user to concentrate on model selection and interpretation ... integrated part of the OxMetrics modular software system for data analysis with excellent data manipulation...

TinkerCell
 Referenced in 4 articles
[sw20852]
 TinkerCell: Modular CAD Tool for Synthetic Biology. Synthetic biology brings together concepts and techniques from ... connected to each other, forming larger modular networks. Because TinkerCell associates parameters and equations...

PSAGE
 Referenced in 1 article
[sw23332]
 implement a modular form. We present a model for Fourier expansions of arbitrary modular forms ... implement arbitrary Fourier expansions and modular forms. The framework allows us to focus...

PowerForms
 Referenced in 4 articles
[sw01540]
 form itself, which allows a modular development where the form is perhaps automatically generated...

computeGK
 Referenced in 1 article
[sw28084]
 important applications for Siegel modular forms and arithmetic geometry. We introduce the Mathematica package computeGK ... arithmetic intersection numbers related to the classical modular polynomials using the explicit formula of Gross...

degree2
 Referenced in 1 article
[sw30100]
 degree2  a SageMath package for Siegel modular forms of degree...

GreatSPN
 Referenced in 56 articles
[sw00384]
 Nets and their colored extension: Stochastic Wellformed Nets. The tool provides a friendly framework ... machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...

Hecke1
 Referenced in 1 article
[sw18776]
 Hecke algebras of characteristic p Katz modular forms...

Backpack
 Referenced in 1 article
[sw22068]
 Haskell permit only a weak form of modularity in which module implementations depend directly ... other hand, permit a stronger form of modularity in which explicit interfaces express assumptions about...

crmPack
 Referenced in 1 article
[sw15961]
 whole package is written in a modular form in the S4 class system, making...

TRLan
 Referenced in 58 articles
[sw04029]
 matrixvector multiplication routine in any form convenient. Most of the arithmetic computations ... Since the software is highly modularized, it relatively easy to adopt it for different type...

TRISTAN
 Referenced in 6 articles
[sw09664]
 current form, the code is written in a modular format in Fortran 95, and uses...

EDIM
 Referenced in 8 articles
[sw08560]
 normal form algorithms described by Havas, Majewski, Matthews, Sterling (using LLL or modular techniques...

FEMSTER
 Referenced in 18 articles
[sw00275]
 FEMSTER is a modular finite element class library for solving threedimensional problems arising ... modern geometrical approach based on differential forms (or pforms) and can be used...

DLVM
 Referenced in 1 article
[sw22105]
 Swift Intermediate Language, DLVM IR is more modular and more generic than existing deep learning ... that the DLVM system enables a form of modular, safe and performant frameworks for deep...

QWire
 Referenced in 4 articles
[sw20268]
 normal forms. In addition, the language is highly modular as it can be embedded into...