Travelled to:1 × Italy
Collaborated with:H.Gottliebsen S.Linton U.Martin
Talks about:vsditlu (1) definit (1) verifi (1) symbol (1) integr (1) tabl (1) look (1) up (1)
Person: A. A. Adams
DBLP: Adams:A=_A=
Contributed to:
1999Wrote 1 papers:
- CADE-1999-AdamsGLM #named
- VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.