Differential Algebra

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Differential Algebra.

• Liouvillian function — A function obtainable through a finite tower of algebraic extensions, exponentials, logarithms and antiderivatives over a differential field.
• Nijenhuis–Richardson bracket — A graded Lie bracket on alternating vector-valued multilinear forms, defined by antisymmetrized insertion and used to encode Lie algebra structures and their deformations.