VSDITLU: a Verified Symbolic Definite Integral Table Look-up

Research output: Contribution to conference › Paper

Handle.net

@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",

}