• DifferentialGeometry

  • Referenced in 19 articles [sw07593]
  • transformation groups, jet spaces, and the variational calculus. These capabilities, combined with dramatic recent improvements...
  • ConservationLawsMD

  • Referenced in 7 articles [sw12340]
  • presented in the language of variational calculus and linear algebra. The steps of the method...
  • Vessiot

  • Referenced in 6 articles [sw12351]
  • differential geometry, Lie algebras and the variational calculus on jet spaces...
  • Featherweight Java

  • Referenced in 89 articles [sw16204]
  • similar relation to Java as the lambda-calculus does to languages such ... studying the consequences of extensions and variations. As an illustration of its utility in this...
  • SUBSEXPL

  • Referenced in 3 articles [sw00923]
  • lambda s_e$ and the suspension calculus. A variation of the suspension calculus, which allows...
  • HELMHOLTZ

  • Referenced in 1 article [sw31544]
  • Maple package for the variational calculus (Thesis). The HELMHOLTZ package, written in Maple ... commands to support research in the variational calculus. These commands include the standard operators ... give a brief introduction to the variational calculus. We describe each of the commands ... solving the inverse problem of the calculus of variations, computing generalized symmetries, and finding variational...
  • MiniTab

  • Referenced in 2 articles [sw26324]
  • entailment, Hintikka has proposed a variation of a tableau calculus with a modified $delta$-rule...
  • pdl-tableau

  • Referenced in 2 articles [sw11994]
  • prototypical implementation of a variation of the tableau calculus for PDL in De Giacomo...
  • 1ML

  • Referenced in 4 articles [sw19983]
  • plain $mathrm{F}_{omega}$, in a minor variation of our F-ing modules approach ... more compositional manner than the bare calculus...
  • MPCube

  • Referenced in 1 article [sw07049]
  • models of cement media, where very strong variations of diffusivity occur. As a by-product ... implementation of our method in the calculus code MPCube and its application to a sample...
  • Blitz++

  • Referenced in 22 articles [sw00082]
  • Blitz++ provides dense numeric arrays for C++ with...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Cinderella

  • Referenced in 143 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • EDS

  • Referenced in 6 articles [sw00230]
  • EDS, a REDUCE package for exterior differential systems...
  • Expokit

  • Referenced in 173 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FEMSTER

  • Referenced in 20 articles [sw00275]
  • FEMSTER is a modular finite element class library...
  • FIAT

  • Referenced in 35 articles [sw00287]
  • Algorithm 839: FIAT, a new paradigm for computing...
  • gfun

  • Referenced in 132 articles [sw00344]
  • The gfun package provides tools for determining and...
  • GRESS

  • Referenced in 12 articles [sw00385]
  • GRESS, a preprocessor for sensitivity analysis of Fortran...