Revision 3f125db2bf78b84f4daa235571b137c1f576d651 authored by Pierre-Yves Strub on 23 October 2017, 07:51:11 UTC, committed by Pierre-Yves Strub on 23 October 2017, 07:51:11 UTC
The proof is done for any euclidean R-ev of finite dimension. The proof comes with a characterisation of zeros for 2nd degree real polynomials.
1 parent 9c39dce
File | Mode | Size |
---|---|---|
distribution | -rwxr-xr-x | 3.7 KB |
get-commit | -rwxr-xr-x | 207 bytes |
install-sh | -rwxr-xr-x | 13.7 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...