• LMFDB

  • Referenced in 52 articles [sw07249]
  • LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended ... examples of L-functions coming from modular forms, elliptic curves, number fields, and Dirichlet characters...
  • SWIG

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

  • Referenced in 19 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 19 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 40 articles [sw09536]
  • easy-to-use 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...
  • 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...
  • GreatSPN

  • Referenced in 55 articles [sw00384]
  • Nets and their colored extension: Stochastic Well-formed Nets. The tool provides a friendly framework ... machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • crmPack

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

  • Referenced in 53 articles [sw04029]
  • matrix-vector 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 three-dimensional problems arising ... modern geometrical approach based on differential forms (or p-forms) 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...