-
Stefan Krah yazdı
2) Add rigorous error analysis to _mpd_qlog10 (ACL2 proofs exist). 3) Use the relative error as a basis for the interval generation in the correction loop (same as in _mpd_qln()).
1cf6dfc8
| Adı |
Son kayıt (commit)
|
Son güncelleme |
|---|---|---|
| Doc | ||
| Grammar | ||
| Include | ||
| Lib | ||
| Mac | ||
| Misc | ||
| Modules | ||
| Objects | ||
| PC | ||
| PCbuild | ||
| Parser | ||
| Python | ||
| Tools | ||
| .bzrignore | ||
| .gitignore | ||
| .hgeol | ||
| .hgignore | ||
| .hgtags | ||
| .hgtouch | ||
| LICENSE | ||
| Makefile.pre.in | ||
| README | ||
| config.guess | ||
| config.sub | ||
| configure | ||
| configure.ac | ||
| install-sh | ||
| pyconfig.h.in | ||
| setup.py |