Concepts inEfficient compilation of a class of variational forms
Differential form
In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a unified approach to defining integrands over curves, surfaces, volumes, and higher dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.
more from Wikipedia
Tensor
whose columns are the forces acting on the,, and faces of the cube. ]] Tensors are geometric objects that describe linear relations between vectors, scalars, and other tensors. Elementary examples of such relations include the dot product, the cross product, and linear maps. Vectors and scalars themselves are also tensors. A tensor can be represented as a multi-dimensional array of numerical values.
more from Wikipedia
Ordinary differential equation
In mathematics, an ordinary differential equation (abbreviated ODE) is an equation containing a function of one independent variable and its derivatives. There are many general forms an ODE can take, and these are classified in practice (see below). The derivatives are ordinary because partial derivatives only apply to functions of many independent variables.
more from Wikipedia
Tensor contraction
In multilinear algebra, a tensor contraction is an operation on one or more tensors that arises from the natural pairing of a finite-dimensional vector space and its dual. In components, it is expressed as a sum of products of scalar components of the tensor(s) caused by applying the summation convention to a pair of dummy indices which are bound to each other in an expression.
more from Wikipedia
Calculus of variations
Calculus of variations is a field of mathematics, or more specifically calculus, that deals with maximizing or minimizing functionals, which are mappings from a set of functions to the real numbers. Functionals are often expressed as definite integrals involving functions and their derivatives. The interest is in extremal functions that make the functional attain a maximum or minimum value – or stationary functions – those where the rate of change of the functional is zero.
more from Wikipedia
FEniCS Project
The FEniCS Project is a collection of free, open source, software components with the common goal to enable automated solution of differential equations. The components provide scientific computing tools for working with computational meshes, finite element variational formulations of ordinary and partial differential equations, and numerical linear algebra. The current stable version of the FEniCS Project is 1.0; released December 7 2011.
more from Wikipedia
Simplex
In geometry, a simplex (plural simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimension. Specifically, an n-simplex is an n-dimensional polytope which is the convex hull of its n + 1 vertices. For example, a 2-simplex is a triangle, a 3-simplex is a tetrahedron, and a 4-simplex is a pentachoron. A single point may be considered a 0-simplex, and a line segment may be considered a 1-simplex.
more from Wikipedia
Theorem
In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms. The derivation of a theorem is often interpreted as a proof of the truth of the resulting expression, but different deductive systems can yield other interpretations, depending on the meanings of the derivation rules.
more from Wikipedia