Hidden verification for computational mathematics
Hanne Gottliebsen‚ Tom Kelsey and Ursula Martin
Journal
Journal of Symbolic Computation
Number
5
Pages
539–567
Publisher
Academic Press
Volume
39
Year
2005
Hanne Gottliebsen‚ Tom Kelsey and Ursula Martin