Constructive reverse investigations into differential equations (Q3145965)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6116160
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Constructive reverse investigations into differential equations |
scientific article; zbMATH DE number 6116160 |
Statements
http://logicandanalysis.org/index.php/jla/article/viewFile/114/41 (English)
0 references
17 December 2012
0 references
constructive mathematics
0 references
reverse mathematics
0 references
differentiation
0 references
differential equations
0 references
pointwise analysis
0 references
Peano
0 references
Picard
0 references
Rolle
0 references
mean-value theorem
0 references
fundamental theorem of calculus
0 references
0.8034079074859619
0 references
0.7704145312309265
0 references
0.7682592868804932
0 references
0.7670324444770813
0 references
0.764019787311554
0 references
