Hidden Verification for Computational Mathematics
Journal of Symbolic Computation (2005)
- ISSN: 07477171
- DOI: 10.1016/j.jsc.2004.12.005
Available from linkinghub.elsevier.com
or
Author-supplied keywords
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
2 Readers on Mendeley
by Discipline
50% Mathematics
by Academic Status
50% Other Professional
50% Professor
by Country
50% United Kingdom
50% United States