VSDITLU: a Verified Symbolic Definite Integral Table Look-up

Ursula Hilda Mary Martin, AA Adams, H Gottliebsen, Stephen Alexander Linton, other 1

Research output: Contribution to conference › Paper

Cite this

@conference{a8be9abebe944e15bcc45881311beaa4,

title = "VSDITLU: a Verified Symbolic Definite Integral Table Look-up",

author = "Martin, {Ursula Hilda Mary} and AA Adams and H Gottliebsen and Linton, {Stephen Alexander} and other 1",

note = "16th International Conference on Computer Aided Deduction (CADE 99), refereed conference",

year = "1999",

language = "English",

pages = "112--126",

}