Cover Image

Summa Summarum: Moessner's Theorem without Dynamic Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Danvy, Olivier
Format:	Preprint
Published:	2024
Subjects:	Discrete Mathematics Logic in Computer Science Programming Languages Symbolic Computation D.1.1;D.2.4;D.3.2;F.2.1;F.3.1;G.1.0;G.2.0;I.1.1;I.2.3;I.2.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)

The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
by: van Emden, M. H., et al.
Published: (2004)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
by: McCann, Alan L.
Published: (2026)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
by: McCann, Alan L.
Published: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
by: McCann, Alan L.
Published: (2026)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
by: Wang, Changjie, et al.
Published: (2025)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
by: Zaiser, Fabian, et al.
Published: (2024)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
by: Ratschan, Stefan
Published: (2002)

On the relativistic viability of multi-automaton systems: essential concepts, challenges and prospects
by: Băbeanu, Alexandru-Ionuţ
Published: (2024)

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
by: Flach, João, et al.
Published: (2023)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

Internalizing Tools as Morphisms in Graded Transformers
by: Shaska, Tony
Published: (2025)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
by: Demichelis, Remy
Published: (2026)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
by: Alpay, Faruk
Published: (2025)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
by: Sundaram, Aarthi, et al.
Published: (2021)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
by: Kayadibi, Seyma Yaman
Published: (2025)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)

Certification of the QR factor R, and of lattice basis reducedness
by: Villard, Gilles
Published: (2007)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
by: McCann, Alan L.
Published: (2026)

A Sequent Calculus for General Inductive Definitions
by: Eede, Robbe Van den, et al.
Published: (2026)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
by: Perháč, Ján, et al.
Published: (2025)

Polynomial Bounds of CFLOBDDs against BDDs
by: Zhi, Xusheng, et al.
Published: (2024)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

Skolem Meets Bateman-Horn
by: Luca, Florian, et al.
Published: (2023)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
by: Kadaboina, Ravi Kiran
Published: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)

Delay Independent Safe Control with Neural Networks: Positive Lur'e Certificates for Risk Aware Autonomy
by: Hedesh, Hamidreza Montazeri, et al.
Published: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

Complementing an imperative process algebra with a rely/guarantee logic
by: Middelburg, C. A.
Published: (2025)