• 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...
  • 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 fractional-order 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 real-valued ... KeYmaera implements a generalized free-variable 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...