Copertina

Linear Programming in Isabelle/HOL

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Parsert, Julian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying Numerical Methods with Isabelle/HOL
di: Bryant, Dustin, et al.
Pubblicazione: (2025)

Brownian Motion in Isabelle/HOL
di: Laursen, Christian Pardillo, et al.
Pubblicazione: (2024)

Complex Bounded Operators in Isabelle/HOL
di: Unruh, Dominique, et al.
Pubblicazione: (2025)

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
di: Bartl, Lukas, et al.
Pubblicazione: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
di: Bryant, Dustin, et al.
Pubblicazione: (2026)

Stalnaker's Epistemic Logic in Isabelle/HOL
di: Guzman, Laura P. Gamboa, et al.
Pubblicazione: (2024)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
di: Munive, Jonathan Julián Huerta y, et al.
Pubblicazione: (2024)

Formalization of Differential Privacy in Isabelle/HOL
di: Sato, Tetsuya, et al.
Pubblicazione: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
di: Foster, Simon, et al.
Pubblicazione: (2024)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
di: Hulak, David B., et al.
Pubblicazione: (2026)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
di: Stübinger, Terru, et al.
Pubblicazione: (2023)

One is all you need: Second-order Unification without First-order Variables
di: Cerna, David M., et al.
Pubblicazione: (2024)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
di: Schmoetten, Richard, et al.
Pubblicazione: (2024)

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
di: Linzi, Alessandro
Pubblicazione: (2025)

Formalizing Pick's Theorem in Isabelle/HOL
di: Binder, Sage, et al.
Pubblicazione: (2024)

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar
di: Binder, Sage, et al.
Pubblicazione: (2026)

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
di: Kim, Jinwook
Pubblicazione: (2026)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
di: Kosaian, Katherine, et al.
Pubblicazione: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
di: Huch, Fabian
Pubblicazione: (2024)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
di: Kammüller, Florian
Pubblicazione: (2023)

Mechanized HOL Reasoning in Set Theory
di: Guilloud, Simon, et al.
Pubblicazione: (2024)

On the Formalization of Network Topology Matrices in HOL
di: Aksoy, Kubra, et al.
Pubblicazione: (2026)

Optimization Modulo Integer Linear-Exponential Programs
di: Hitarth, S, et al.
Pubblicazione: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
di: Ernst, Gidon
Pubblicazione: (2026)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
di: Castro, Pablo F.
Pubblicazione: (2026)

Type Inference for Isabelle2Cpp
di: Jiang, Dongchen, et al.
Pubblicazione: (2024)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
di: Lommen, Nils, et al.
Pubblicazione: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Termination Analysis of Linear-Constraint Programs
di: Ben-Amram, Amir M., et al.
Pubblicazione: (2025)

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

Programs as Singularities
di: Murfet, Daniel, et al.
Pubblicazione: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
di: Benzmüller, Christoph
Pubblicazione: (2025)

Programs Versus Finite Tree-Programs
di: Moshkov, Mikhail
Pubblicazione: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
di: Akshay, S., et al.
Pubblicazione: (2026)