Collections in this community

Recent Submissions

  • Proof-relevant resolution : the foundations of constructive proof automation 

    Farka, Frantisek (Mathematical and Computer Science Heriot-Watt University University of St Andrews, 2020-06)
    Dependent type theory is an expressive programming language. This language allows to write programs that carry proofs of their properties. This in turn gives high confidence in such programs, making the software trustworthy. ...
  • Aspects of growth in finitely generated groups 

    Evetts, Alexander (Mathematical and Computer Sciences Heriot-Watt University, 2020-06)
    In this thesis we study various variants of word growth in finitely generated groups, focussing on conjugacy growth. For virtually abelian groups, we prove that the conjugacy growth series, coset growth series (for any ...
  • Modelling dryland vegetation patterns : nonlocal dispersal, temporal variability in precipitation and species coexistence 

    Eigentler, Lukas (Mathematical and Computer Science Heriot-Watt University The University of Edinburgh, 2020-06)
    Spatiotemporal patterns of vegetation are a characteristic feature of dryland ecosystems occurring on all continents except Antarctica. The development of an understanding of their ecosystem dynamics is an issue of ...
  • Extended functorial field theories and anomalies in quantum field theories 

    Muller, Lukas (Heriot-Watt University Mathematical and Computer Sciences, 2020-03)
    We develop a general framework for the description of anomalies using extended functorial field theories extending previous work by Freed and Monnier. In this framework, anomalies are described by invertible field theories ...
  • A proof-theoretic approach to coinduction in Horn clause logic 

    Li, Yue (Heriot-Watt University Mathematical and Computer Sciences, 2019-09)
    The thesis is on coinduction in Horn clauses. Specifically, it considers productive corecursion, and presents a framework called Coinductive Uniform Proof as a principled approach to coinduction in first-order Horn clause ...

View more