A. A. Adams

According to our database1, A. A. Adams authored at least 2 papers in 1999.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.
Proceedings of the Automated Deduction, 1999


  Loading...