Mathematical Foundations of Computation

Search results

• Data for 'Fast Matrix Operations in Computer Algebra'

  Tonks, Z. (Creator), Davenport, J. (Editor) & Sankaran, G. (Editor), University of Bath, 13 Dec 2017

  DOI: 10.15125/BATH-00460

  Dataset

• Data for 'Efficient characterisation of large deviations using population dynamics'

  Brewer, T. (Creator), Jack, R. (Creator), Clark, S. (Supervisor) & Bradford, R. (Supervisor), University of Bath, 8 May 2018

  DOI: 10.15125/BATH-00457

  Dataset

• Dataset for chapter "Quality and Bias"

  Davenport, J. (Creator), University of Bath, 10 Mar 2022

  DOI: 10.15125/BATH-01099

  Dataset

• Dataset for GW4 "First Programming Courses" project

  Davenport, J. (Creator), Murphy, E. (Creator), Crick, T. (Creator) & Hayes, A. (Project Member), University of Bath, 2016

  DOI: 10.15125/BATH-00246

  Dataset

• Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

  Bradford, R. (Creator), Davenport, J. (Creator), England, M. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015

  DOI: 10.15125/BATH-00076

  Dataset

• Metaphors of Identity: Focus Groups

  Panteli, N. (Creator), Davenport, J. (Creator), Marder, B. (Creator) & Nemetz, F. (Creator), University of Bath, Apr 2015

  DOI: 10.15125/BATH-00079

  Dataset

• Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'

  Davenport, J. (Creator), Zenodo, Mar 2017

  DOI: 10.5281/zenodo.305441

  Dataset

• Dataset for Quantifier Elimination and CAD examples in Maple

  Tonks, Z. (Creator) & Davenport, J. (Supervisor), University of Bath, 1 Jul 2023

  DOI: 10.15125/BATH-00746

  Dataset

• Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

  England, M. (Creator), Bradford, R. (Creator) & Davenport, J. (Creator), University of Bath, 2015

  DOI: 10.15125/BATH-00071

  Dataset