Asymptotic Analysis

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Asymptotic Analysis.

• Hardy field — A field of germs of real functions at positive infinity that is closed under differentiation.
• Transseries — Formal generalized series built from nested powers, exponentials and logarithms and ordered by asymptotic dominance, supporting algebra, differentiation and solution of differential equations beyond ordinary power series.