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

Research Output 1979 2019

Filter
Book

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

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

On the Integration of Algebraic Functions

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

Research output: Book/ReportBook