Hidden verification for computational mathematics

From MaRDI portal
Publication:2456559

DOI10.1016/j.jsc.2004.12.005zbMath1126.68103OpenAlexW2038078711WikidataQ55393280 ScholiaQ55393280MaRDI QIDQ2456559

Hanne Gottliebsen, Tom Kelsey, Ursula Martin Webb

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2004.12.005



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)


Uses Software


Cites Work


This page was built for publication: Hidden verification for computational mathematics