A. A. Adams

	1999
2		A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126
1		A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC 1999: 253-260

Coauthor Index

1	Hanne Gottliebsen	[1] [2]
2	Steve Linton	[1] [2]
3	Ursula Martin	[1] [2]