Symbolic Integration

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Symbolic Integration.

• Liouville's theorem (differential algebra) — A differential-algebra theorem restricting the form of an elementary antiderivative and thereby proving many elementary functions have no elementary primitive.