2-D, 3-D, 4-D, and n-dimensional vectors.
| Theorem | Location | PVS Name | Contributors |
|---|---|---|---|
| Cauchy-Schwarz Inequality | vectors@vectors |
cauchy_schwartz |
Ricky Butler |
- Anthony Narkawicz, NASA, USA
- Ben Di Vito, NASA, USA
- César Muñoz, NASA, USA
- George Hagen, NASA, USA
- Paul Miner, NASA, USA
- Ricky Butler, NASA, USA
- Jeff Maddalon, NASA, USA
- Hanne Gottliebsen, NIA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- César Muñoz, NASA, USA
