Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ambridge, Todd Waugh
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

Univalence without function extensionality
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Derivatives for Containers in Univalent Foundations
von: Joram, Philipp, et al.
Veröffentlicht: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)

Constructive and Predicative Locale Theory in Univalent Foundations
von: Tosun, Ayberk
Veröffentlicht: (2026)

Internalizing Representation Independence with Univalence
von: Angiuli, Carlo, et al.
Veröffentlicht: (2020)

The Formal Theory of Monads, Univalently
von: van der Weide, Niels
Veröffentlicht: (2022)

Formalising the Double-Pushout Approach to Graph Transformation
von: Söldner, Robert, et al.
Veröffentlicht: (2023)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
von: Reimann, Jesse, et al.
Veröffentlicht: (2024)

The Patch Topology in Univalent Foundations
von: Arrieta, Igor, et al.
Veröffentlicht: (2024)

Formalising the Bruhat-Tits Tree
von: Ludwig, Judith, et al.
Veröffentlicht: (2025)

Univalent Enriched Categories and the Enriched Rezk Completion
von: van der Weide, Niels
Veröffentlicht: (2024)

Formalising the local compactness of the adele ring
von: Mercuri, Salvatore
Veröffentlicht: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
von: Farrell, Marie, et al.
Veröffentlicht: (2021)

An Imperative Language for Verified Exact Real-Number Computation
von: Bauer, Andrej, et al.
Veröffentlicht: (2024)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
von: Ljungström, Axel, et al.
Veröffentlicht: (2023)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
von: Yang, Bowen, et al.
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
von: Motoura, Shota, et al.
Veröffentlicht: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
von: Rowicki, Radosław Jan, et al.
Veröffentlicht: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
von: Bertrand, Meven Lennon, et al.
Veröffentlicht: (2026)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
von: Paulson, Lawrence C
Veröffentlicht: (2025)

Trocq: Proof Transfer for Free, With or Without Univalence
von: Cohen, Cyril, et al.
Veröffentlicht: (2023)

A Univalent Formalization of Constructive Affine Schemes
von: Zeuner, Max, et al.
Veröffentlicht: (2022)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
von: Konečný, Michal, et al.
Veröffentlicht: (2024)

Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version
von: Kammüller, Florian
Veröffentlicht: (2025)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Constructive Ordinal Exponentiation
von: de Jong, Tom, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Taming Differentiable Logics with Coq Formalisation
von: Affeldt, Reynald, et al.
Veröffentlicht: (2024)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
von: Kirst, Dominik, et al.
Veröffentlicht: (2026)

Univalent Foundations of Constructive Algebraic Geometry
von: Zeuner, Max
Veröffentlicht: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

A CASP-based Solution for Traffic Signal Optimisation
von: Tarzariol, Alice, et al.
Veröffentlicht: (2025)