Skip to main content

Hidden verification for computational mathematics

Ursula Martin and others

Journal
J. Symb. Comput.
Number
5
Publisher
J. Symb. Comput.
Volume
39
Year
2005