Mathematical Foundations of Computation

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

Search results

• 2013

  The Piano Mover's Problem Reformulated

  Wilson, D., Bradford, R. J., Davenport, J. H. & England, M., Jun 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series ; no. CSBU-2013-03)

  Research output: Book/Report › Other report

  Open Access

  File

  • Piano 100%
  • Computer Aided Design 100%
  • Cylindrical Algebraic Decomposition 100%
  • Polynomial Equation 20%
  60 Downloads (Pure)
• 1988

  Solution of Some Equations in Biochemistry

  Bennett, J. P., Davenport, J. H. & Sauro, H. M., 1988, Bath, UK: University of Bath.

  Research output: Book/Report › Other report