Metamath Proof Explorer

Table of Contents - 21.3.26. Descartes's rule of signs

1. Sign changes in a word over real numbers
   1. signspval
   2. signsw0glem
   3. signswbase
   4. signswplusg
   5. signsw0g
   6. signswmnd
   7. signswrid
   8. signswlid
   9. signswn0
   10. signswch
2. Counting sign changes in a word over real numbers
   1. signslema
   2. signstfv
   3. signstfval
   4. signstcl
   5. signstf
   6. signstlen
   7. signstf0
   8. signstfvn
   9. signsvtn0
   10. signstfvp
   11. signstfvneq0
   12. signstfvcl
   13. signstfvc
   14. signstres
   15. signstfveq0a
   16. signstfveq0
   17. signsvvfval
   18. signsvvf
   19. signsvf0
   20. signsvf1
   21. signsvfn
   22. signsvtp
   23. signsvtn
   24. signsvfpn
   25. signsvfnn
   26. signlem0
   27. signshf
   28. signshwrd
   29. signshlen
   30. signshnz
3. Sign changes in a polynomial with real coefficients