Copertina

Strided Difference Bound Matrices

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pitchanathan, Arjun, Cohen, Albert, Zinenko, Oleksandr, Grosser, Tobias
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Symbolic Computation Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Introducing Quantification into a Hierarchical Graph Rewriting Language
di: Mishina, Haruto, et al.
Pubblicazione: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
di: Tang, Xuan, et al.
Pubblicazione: (2026)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
di: Tirpankar, Tanmay, et al.
Pubblicazione: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
di: Hankinn, Robin K. S.
Pubblicazione: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
di: Beyer, Dirk, et al.
Pubblicazione: (2025)

WebPie: A Tiny Slice of Dependent Typing
di: Scholliers, Christophe
Pubblicazione: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Confluence of Conditional Rewriting Modulo
di: Lucas, Salvador
Pubblicazione: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
di: Fruehwirth, Thom
Pubblicazione: (2023)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

Performant Dynamically Typed E-Graphs in Pure Julia
di: Cheli, Alessandro, et al.
Pubblicazione: (2024)

Transform Dialect Tutorial
di: Zinenko, Oleksandr
Pubblicazione: (2024)

Algorithms for Recursive Block Matrices
di: Watt, Stephen M.
Pubblicazione: (2024)

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
di: Shrager, Jeff
Pubblicazione: (2026)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
di: Foughali, Mohammed Aristide, et al.
Pubblicazione: (2024)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
di: Labruna, Tiziano, et al.
Pubblicazione: (2024)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
di: Tayal, Anuja, et al.
Pubblicazione: (2024)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
di: Candussio, Sara, et al.
Pubblicazione: (2026)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
di: Fushimi, Kosei, et al.
Pubblicazione: (2026)

Verified Language Processing with Hybrid Explainability: A Technical Report
di: Fox, Oliver Robert, et al.
Pubblicazione: (2025)

Visual Set Program Synthesizer
di: Cheng, Zehua, et al.
Pubblicazione: (2026)

Bounds for D-Algebraic Closure Properties
di: Kauers, Manuel, et al.
Pubblicazione: (2025)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
di: Leang, Joshua Ong Jun, et al.
Pubblicazione: (2024)

Debugging code world models
di: Rahmani, Babak
Pubblicazione: (2026)

Connection Matrices in Macaulay2
di: Görlach, Paul, et al.
Pubblicazione: (2025)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
di: Luo, Ziyan, et al.
Pubblicazione: (2023)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
di: Huang, Hui
Pubblicazione: (2026)

Matrices with displacement structure: a deterministic approach for linear systems and nullspace bases
di: Khichane, Sara, et al.
Pubblicazione: (2026)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
di: Tabbara, Ihab, et al.
Pubblicazione: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
di: Buali, Mahdi, et al.
Pubblicazione: (2024)

Large Language Models as Mirrors of Societal Moral Standards
di: Papadopoulou, Evi, et al.
Pubblicazione: (2024)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
di: Berlot-Attwell, Ian, et al.
Pubblicazione: (2024)