Buchumschlag

Mathematical Informatics: Algorithms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Seiller, Thomas
Format:	Preprint
Veröffentlicht:	2026
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

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

Linear Realisability and Implicative Algebras
von: Lucquin, Alexandre, et al.
Veröffentlicht: (2026)

Linear Realisability over nets: multiplicatives (long version)
von: Ragot, Adrien, et al.
Veröffentlicht: (2024)

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

Unifying lower bounds for algebraic machines, semantically
von: Seiller, Thomas, et al.
Veröffentlicht: (2018)

On the Completeness of Interpolation Algorithms
von: Hetzl, Stefan, et al.
Veröffentlicht: (2024)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Limited Math: Aligning Mathematical Semantics with Finite Computation
von: Wen, Lian
Veröffentlicht: (2026)

Big Steps in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

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

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
von: Ambridge, Todd Waugh
Veröffentlicht: (2024)

Structuring Definitions in Mathematical Libraries
von: Gusakov, Alena, et al.
Veröffentlicht: (2025)

Synthesising Full-Information Protocols
von: Berwanger, Dietmar, et al.
Veröffentlicht: (2023)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Existential and positive games: a comonadic and axiomatic view
von: Abramsky, Samson, et al.
Veröffentlicht: (2025)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
von: Barbarossa, Davide, et al.
Veröffentlicht: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2025)

Lecture Notes on Algorithmic Information Theory
von: Bédard, Charles Alexandre
Veröffentlicht: (2025)

Logics and Algorithms for Hyperproperties
von: Finkbeiner, Bernd
Veröffentlicht: (2025)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Algorithms for Markov Binomial Chains
von: Gonzalez, Alejandro Alarcón, et al.
Veröffentlicht: (2024)

Algorithmic Perspective on Toda's Theorem
von: Fried, Dror, et al.
Veröffentlicht: (2025)

Algorithmic Problems for Computation Trees
von: Moshkov, Mikhail
Veröffentlicht: (2025)

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)

Computing Witnesses Using the SCAN Algorithm
von: Achammer, Fabian, et al.
Veröffentlicht: (2026)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Mathematical Proof Between Generations
von: Bayer, Jonas, et al.
Veröffentlicht: (2022)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
von: Jensen, Nicolaj Ø., et al.
Veröffentlicht: (2025)

A Study Of Sudoku Solving Algorithms: Backtracking and Heuristic
von: Bhattarai, Apekshya, et al.
Veröffentlicht: (2025)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
von: de Lima, Thaynara Arielly, et al.
Veröffentlicht: (2024)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
von: Achammer, Fabian, et al.
Veröffentlicht: (2025)

A Zone-Based Algorithm for Timed Parity Games
von: Geeraerts, Gilles, et al.
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

A Mathematical Model of Package Management Systems
von: Bazerman, Gershom, et al.
Veröffentlicht: (2023)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)