Real analysis, limits, continuity, derivatives, integrals.
| Theorem | Location | PVS Name | Contributors |
|---|---|---|---|
| Intermediate Value Theorem | analysis@continuity_interval |
intermeditate_value1 |
Bruno Dutertre |
| Mean Value Theorem | analysis@derivative_props |
mean_value |
Bruno Dutertre |
| Fundamental Theorem of Calculus | analysis@fundamental_theorem |
fundamental |
icky Butler |
| Taylor's Theorem | analysis@taylors |
Taylors |
icky Butler |
| Heine Theorem and Multi-ary Variants | analysis@uniform_continuity |
Heine |
Anthony Narkawicz |
- Anthony Narkawicz, NASA, USA
- Bruno Dutertre, SRI, USA
- Ricky Butler, NASA, USA
- César Muñoz, NASA, USA
- J. Tanner Slagel, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- Aaron Dutle, NASA, USA
- César Muñoz, NASA, USA
