VSDITLU: a verifiable symbolic definite integral table look-up - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin. VSDITLU: a verifiable symbolic definite integral table look-up. In Harald Ganzinger, editor, Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Volume 1632 of Lecture Notes in Computer Science, pages 112-126, Springer, 1999. [doi]

This author has not been identified. Look up 'A. A. Adams' in GoogleThis author has not been identified. Look up 'Hanne Gottliebsen' in GoogleThis author has not been identified. Look up 'Steve Linton' in GoogleThis author has not been identified. Look up 'Ursula Martin' in Google

runs on WebDSL