Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Mathematical Foundations of Computation
Faculty of Science
Department of Computer Science
Website
https://www.bath.ac.uk/research-groups/mathematical-foundations-of-computation/
Overview
Fingerprint
Network
Profiles
(8)
Projects
(26)
Research output
(394)
Datasets
(9)
Research output
Research output per year
1979
2003
2008
2010
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
140
Chapter in a published conference proceeding
129
Article
60
Chapter or section
35
Paper
30
More
7
Conference article
6
Editorial
3
Book
2
Other report
2
Poster
2
Other contribution
2
Doctoral Thesis
2
Working paper
1
Foreword/postscript
1
Other chapter contribution
1
Comment/debate
1
Discussion paper
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Book
Search results
2011
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings
Davenport, J. H.
(Editor), Farmer, W. (Editor), Urban, J. (Editor) & Rabe, F. (Editor),
2011
, Heidelberg:
Springer
. (Lecture Notes in Computer Science)
Research output
:
Book/Report
›
Book
Symbolic Computation
100%
Symbolics
100%
Artificial Intelligence
100%
Mathematical Knowledge
66%
Knowledge Management
66%
2003
Mathematical Knowledge Management: 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings
Asperti, A. (Editor), Buchberger, B. (Editor) &
Davenport, J. H.
(Editor),
2003
, Berlin:
Springer
. (Lecture Notes in Computer Science; vol. 2594)
Research output
:
Book/Report
›
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/Report
›
Book