The de l'Hospital theorem (1991)
by
Małgorzata Korolkiewicz
| Venue: | Formalized Mathematics |
| Citations: | 1 - 0 self |
BibTeX
@ARTICLE{Korolkiewicz91thede,
author = {Małgorzata Korolkiewicz},
title = {The de l'Hospital theorem},
journal = {Formalized Mathematics},
year = {1991},
volume = {2}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Summary. List of theorems concerning the de l’Hospital Theorem. We discuss the case when both functions have the zero value at a point and when the quotient of their differentials is convergent at this point.
Citations
| 1274 | Tarski Grothendieck set theory - Trybulec - 1989 |
| 616 | Cardinal numbers - Bancerek - 1989 |
| 537 | Basic properties of real numbers - Hryniewiecki - 1990 |
| 441 | Relations defined on sets - Woronowicz - 1990 |
| 370 | Subsets of real numbers - Trybulec |
| 214 | sequences and basic operations on them - Real - 1990 |
| 141 | Topological properties of subsets in real numbers - Raczkowski, Sadowski - 1990 |
| 114 | Convergent sequences and the limit of sequences - Kotowicz - 1990 |
| 75 | Partial functions from a domain to the set of real numbers - Kotowicz - 1990 |
| 42 | Real function continuity - Raczkowski, Sadowski - 1990 |
| 41 | Real function differentiability - Raczkowski, Sadowski - 1990 |
| 36 | Properties of real functions - Kotowicz - 1990 |
| 31 | The limit of a real function at infinity - Kotowicz - 1991 |
| 6 | The limit of a real function at a point - Kotowicz - 1990 |
