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

pdltableau
 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 Fing 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 byproduct ... 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...