Domain theory and differential calculus (functions of one variable) (Q4659539)
From MaRDI portal
scientific article; zbMATH DE number 2147879
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Domain theory and differential calculus (functions of one variable) |
scientific article; zbMATH DE number 2147879 |
Statements
Domain theory and differential calculus (functions of one variable) (English)
0 references
21 March 2005
0 references
data type for differentiable functions
0 references
domain-theoretic framework for differential calculus
0 references
differentiation
0 references
integration
0 references
real-valued functions of a real variable
0 references
Picard's theorem
0 references
data type for solving differential equations
0 references
