2 papers
math.LO2026
Grothendieck's Equality vs Voevodsky's Equality
Thomas Eckl
We discuss how canonical and universal constructions, properties and characterizations interact with equality in the framework of Homotopy Type Theory, comparing it with Grothendie…
quant-ph2024
Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions
Yuri Alexeev, Maximilian Amsler, Paul Baity +124
Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of e…