Browsing by Subject "Mathematical Sciences::Mathematics"

Now showing items 1-2 of 2

    • Bootstrapping extensionality: Agda formalization 

      Sestini, Filippo (The University of Nottingham, 2023-03-27)
      Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality".

    • Multilevel Quantum Rabi Models Codes and Data 

      Doicin, Tabitha (The University of Nottingham, 2025-04-29)
      This codebase contains the code and data for generating the figures within the paper 'Multilevel Quantum Rabi Models' -linked: https://arxiv.org/abs/2504.05916