Get started
Author

Anthony Bordg

Observed name: Bordg, Anthony
ORCID: 0000-0003-1694-9467
Observed ORCID: 0000-0003-1694-9467
OpenAlex ID: A5031967042
Certified Quantum Computation in Isabelle/HOL
2020 · Anthony Bordg, Hanna Lachnitt, et al. · Journal of Automated Reasoning · 24
PDF
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types
2022 · Anthony Bordg, Lawrence Paulson, et al. · Experimental Mathematics · 10
A Replication Crisis in Mathematics?
2021 · Anthony Bordg · The Mathematical Intelligencer · 5
PDF
On lifting univalence to the equivariant setting
2015 · Bordg, Anthony · arXiv (Cornell University) · 4
PDF
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information.
2020 · Anthony Bordg, Hanna Lachnitt, et al. · Arch. Formal Proofs · 3
Comment on "Quantum Games and Quantum Strategies"
2019 · Bordg, Anthony, He, Yijun · arXiv (Cornell University) · 3
PDF
Encoding Dependently-Typed Constructions into Simple Type Theory
2023 · Anthony Bordg, Adrián Doña Mateo · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 2
PDF
Univalent Foundations and the UniMath Library
2019 · Anthony Bordg · Synthese Library/Synthese library · 2
PDF
Grothendieck's Schemes in Algebraic Geometry.
2021 · Anthony Bordg, Lawrence C. Paulson, et al. · Arch. Formal Proofs · 1
On a Model Invariance Problem in Homotopy Type Theory
2019 · Anthony Bordg · Applied Categorical Structures · 1
PDF
The Localization of a Commutative Ring.
2018 · Anthony Bordg · Arch. Formal Proofs · 1
On the Inadequacy of the Projective Structure with Respect to the Univalence Axiom
2017 · Bordg, Anthony · arXiv (Cornell University) · 1
PDF
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
2026 · Bordg, Anthony · arXiv (Cornell University)
PDF
Beyond the Plane: AlphaGeometry Re-architected
2026 · Bordg, Anthony, Jafarrahmani, Farzad · Zenodo (CERN European Organization for Nuclear Research)
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
2026 · Bordg, Anthony · Zenodo (CERN European Organization for Nuclear Research)
Beyond the Plane: Abstracting Away Geometry from AlphaGeometry
2026 · Bordg, Anthony, Jafarrahmani, Farzad · Zenodo (CERN European Organization for Nuclear Research)
The Interpretation Lifting Theorem for C-Systems
2022 · Anthony Bordg · Theory and applications of categories
PDF
Elements of Differential Geometry in Lean: A Report for Mathematicians
2021 · Bordg, Anthony, Cavalleri, Nicolò · arXiv (Cornell University)
PDF
Univalent Foundations and the UniMath Library. The Architecture of Mathematics.
2018 · Anthony Bordg · PhilSci-Archive (University of Pittsburgh)
PDF
From functors between categories to homomorphisms of C-systems
2017 · Anthony Bordg · arXiv (Cornell University)
Modèles de l'univalence dans le cadre équivariant
2015 · Anthony Bordg
On lifting univalence to the equivariant setting
2015 · Anthony Bordg
Works count: 27
Citation count: 60
H-index: 4
I10-index: 2
Year
Topic
Type