Travelled to:1 × France
1 × Italy
1 × USA
Collaborated with:U.Martin A.A.Adams H.Gottliebsen M.Dunstan T.Kelsey P.Pröhle D.Shand
Talks about:vsditlu (1) definit (1) algebra (1) verifi (1) symbol (1) method (1) integr (1) formal (1) extens (1) deduct (1)
Person: Steve Linton
DBLP: Linton:Steve
Contributed to:
1999
19991996Wrote 3 papers:
- CADE-1999-AdamsGLM #named
- VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.
- FM-v2-1999-DunstanKML #formal method
- Formal Methods for Extensions to CAS (MD, TK, UM, SL), pp. 1758–1777.
- CADE-1996-LintonMPS #algebra #automation #deduction
- Algebra and Automated Deduction (SL, UM, PP, DS), pp. 448–462.