
Jets
 Referenced in 24 articles
[sw23621]
 Jets. A software for differential calculus on jet spaces and diffieties. Jets ... Maple procedures to facilitate solution of differential equations in total derivatives on diffieties. Otherwise said...

DifferentialGeometry
 Referenced in 27 articles
[sw07593]
 symbolic tools for differential geometry, gravitation, and field theory. DifferentialGeometry is a Maple software package ... symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, spinor calculus ... transformation groups, jet spaces, and the variational calculus. These capabilities, combined with dramatic recent improvements ... symbolic approaches to solving algebraic and differential equations, have allowed for development of powerful...

EXCALC
 Referenced in 41 articles
[sw06318]
 familiar with the calculus of Modern Differential Geometry. The program is currently able to handle...

Symbolic Math Toolbox
 Referenced in 35 articles
[sw08398]
 mathematical areas such as calculus, linear algebra, algebraic and ordinary differential equations, equation simplification...

DiffSharp
 Referenced in 39 articles
[sw16033]
 differentiation library. DiffSharp is a functional automatic differentiation (AD) library. AD allows exact and efficient ... calculus at the elementary operator level during program execution. AD is different from numerical differentiation...

GeneralVectorAnalysis
 Referenced in 3 articles
[sw17994]
 modern viewpoint for 3D vector calculus, differential forms on 3manifolds, is adopted to unify...

DIMSYM
 Referenced in 73 articles
[sw04279]
 determining equations (a system of linear partial differential equations for the generator of the generic ... EXCALC so that all the machinery of calculus on manifolds can be utilised from within...

WeBWorK
 Referenced in 2 articles
[sw15027]
 probability and statistics, single and multivariable calculus, differential equations, linear algebra and complex analysis...

superEDC
 Referenced in 1 article
[sw14775]
 Graded Exterior Differential Calculus @ Mathematica. This package is a modification of EDC (Exterior Differential Calculus ... expressions containing Grassmann variables and Grassmann (graded) differential forms. It is intended for Superalgebra calculations...

FOTF Toolbox
 Referenced in 19 articles
[sw19507]
 Also a standard toolbox for fractional calculus and fractionalorder control. (1) High precision algorithms ... provided for fractional derivatives and fractional differential equations; (2) Two classes, FOTF and FOSS...

KeYmaera
 Referenced in 41 articles
[sw03709]
 verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which is a realvalued ... KeYmaera implements a generalized freevariable sequent calculus and automatic proof strategies that decompose...

PyDEC
 Referenced in 9 articles
[sw06967]
 discretization of exterior calculus which includes numerical solution of partial differential equations. It is also...

AlgoPy
 Referenced in 9 articles
[sw16107]
 Algorithmic differentiation in Python with AlgoPy. Many programs for scientific computing in Python are based ... arithmetic and matrix calculus in the (combined) forward/reverse mode of Algorithmic Differentiation (AD). In contrast...

Symbolic Computing
 Referenced in 1 article
[sw09856]
 categories include: basic algebra, complex variables, differential calculus, elementary functions, equation solving, equations, formula manipulation...

FriCAS
 Referenced in 3 articles
[sw05860]
 system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot...

WIRIS
 Referenced in 3 articles
[sw08332]
 primary school to university level (Calculus, Algebra, Geometry, Differential Equations...). WIRIS desktop is the local...

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

SageManifolds
 Referenced in 2 articles
[sw27192]
 computer algebra system SageMath towards differential geometry and tensor calculus. All SageManifolds code is included ... require any separate installation. SageManifolds deals with differentiable manifolds of arbitrary dimension. Various coordinate charts...

Autodiff
 Referenced in 12 articles
[sw04168]
 Automatic Differentiation (AD) is a set of techniques based on the mechanical application ... applying the chain rule of derivative calculus repeatedly to these operations, derivatives of arbitrary order ... precision. Conceptually, AD is different from symbolic differentiation and approximations by divided differences...

Calculus Problem Solver
 Referenced in 0 articles
[sw05969]
 Solve any calculus differentiation problem with this calculus tutorial software.Calculus Problem Solver can solve differentiation ... useful for beginner calculus students and can be used to learn differentiation and even practice...