arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Lukas Heidemann"" — arXiv2 Search
Showing 1–9 of 9 results
/ Date
/ Name
Jan 22, 2026
Quantum-HPC hybrid computation of biomolecular excited-state energies
May 29, 2020
Frames in Pretriangulated Dg-Categories
May 10, 2023
Framed Combinatorial Topology with Labels in $\infty$-Categories
Oct 13, 2025
HUGR: A Quantum-Classical Intermediate Representation
Nov 7, 2024
Manifold Diagrams for Higher Categories
Nov 4, 2022
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
Nov 7, 2025
Helios: A 98-qubit trapped-ion quantum computer
May 18, 2022
Zigzag normalisation for associative $n$-categories
Feb 20, 2024
homotopy.io: a proof assistant for finitely-presented globular $n$-categories