Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2015
  2. Published

    A spectral analysis approach for experimental design

    Bailey, R. A., Diaconis, P., Rockmore, D. N. & Rowley, C., Oct 2015, Excursions in Harmonic Analysis: The February Fourier Talks at the Norbert Wiener Center. Balan, R., Begué, M., Benedetto, J. J., Czaja, W. & Okoudjou, K. A. (eds.). Cham: Birkhäuser, p. 367-395 29 p. (Applied and Numerical Harmonic Analysis; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. Published

    Cut-elimination, substitution and normalisation

    Dyckhoff, R., 2015, Dag Prawitz on Proofs and Meaning. Wansing, H. (ed.). Springer, p. 163-187 (Outstanding Contributions to Logic; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

ID: 1395

Top