@article{RICHARDSON_1997,
doi = {10.1006/jsco.1997.0157},
url = {https://doi.org/10.1006%2Fjsco.1997.0157},
year = {1997},
month = {dec},
publisher = {Elsevier {BV}},
volume = {24},
number = {6},
pages = {627--645},
author = {DANIEL RICHARDSON},
title = {How to Recognize Zero},
journal = {Journal of Symbolic Computation}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A