Copertina

Open Source Prover in the Attic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kovács, Zoltán, Vujic, Alexander
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Mathematical Software Symbolic Computation Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

A Symbolic Computing Perspective on Software Systems
di: Norman, Arthur C., 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)

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

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
di: Heisinger, Maximilian, et al.
Pubblicazione: (2025)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
di: De Luca, Marco, et al.
Pubblicazione: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
di: Jayasena, Aruna, et al.
Pubblicazione: (2023)

Groebner.jl: A package for Gröbner bases computations in Julia
di: Demin, Alexander, et al.
Pubblicazione: (2023)

Some Computational Tools for Solving a Selection of Problems in Control Theory
di: Demin, Alexander, et al.
Pubblicazione: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
di: Barket, Rashid, et al.
Pubblicazione: (2024)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
di: Bessonov, Mariya, et al.
Pubblicazione: (2022)

Generalised Burnside and Dixon algorithms for irreducible projective representations
di: Szabó, Attila
Pubblicazione: (2025)

SignatureTensors.jl: A Package for Signature Tensors in Julia
di: Riffo, Gabriel, et al.
Pubblicazione: (2026)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
di: Dzafic, Izudin, et al.
Pubblicazione: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2026)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
di: Chen, Yongchao, et al.
Pubblicazione: (2025)

Practical Modelling with Bigraphs
di: Archibald, Blair, et al.
Pubblicazione: (2024)

Towards Automatic Transformations of Coq Proof Scripts
di: Magaud, Nicolas
Pubblicazione: (2024)

Introduction to Analytical Software Engineering Design Paradigm
di: Houichime, Tarik, et al.
Pubblicazione: (2025)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
di: Durán, Antonio J., et al.
Pubblicazione: (2013)

GNU Aris: a web application for students
di: Attri, Saksham, et al.
Pubblicazione: (2025)

Efficient Symbolic Computation via Hash Consing
di: Zhu, Bowen, et al.
Pubblicazione: (2025)

Fast Symbolic Integer-Linear Spectra
di: Luntzel, Jonny, et al.
Pubblicazione: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
di: Verschelde, Jan, et al.
Pubblicazione: (2024)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
di: Younes, Grace, et al.
Pubblicazione: (2025)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
di: Olivieri, Albani, et al.
Pubblicazione: (2026)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
di: Dinu, Marius-Constantin, et al.
Pubblicazione: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Simple generators of rational function fields
di: Demin, Alexander, et al.
Pubblicazione: (2026)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
di: Loday-Richaud, Michèle, et al.
Pubblicazione: (2026)

PANTHER: Pluginizable Testing Environment for Network Protocols
di: Crochet, Christophe, et al.
Pubblicazione: (2025)

Network Simulator-centric Compositional Testing
di: Rousseaux, Tom, et al.
Pubblicazione: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
di: Zakharov, Vladimir, et al.
Pubblicazione: (2024)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
di: Gaudel, Bimal, et al.
Pubblicazione: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
di: Dahou, Abdelhalim, et al.
Pubblicazione: (2025)

The Syntax and Semantics of einsum
di: Wenig, Maurice, et al.
Pubblicazione: (2025)

OGRe: An Object-Oriented General Relativity Package for Mathematica
di: Shoshany, Barak
Pubblicazione: (2021)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
di: Lucio, Levi
Pubblicazione: (2026)