If you made any changes in Pure these will be visible here soon.

Research Output 1979 2019

Filter
Book
1981

On the Integration of Algebraic Functions

Davenport, J. H., 1981, Berlin, Germany: Springer. (Lecture Notes in Computer Science; vol. 102)

Research output: Book/ReportBook

2003

Mathematical Knowledge Management: 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings

Asperti, A. (ed.), Buchberger, B. (ed.) & Davenport, J. H. (ed.), 2003, Berlin: Springer. (Lecture Notes in Computer Science; vol. 2594)

Research output: Book/ReportBook

2011

Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings

Davenport, J. H. (ed.), Farmer, W. (ed.), Urban, J. (ed.) & Rabe, F. (ed.), 2011, Heidelberg: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

mathematics
artificial intelligence
knowledge management
deduction
event