Buchumschlag

A Symbolic Computing Perspective on Software Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Norman, Arthur C., Watt, Stephen M.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Symbolic Computation Mathematical Software Software Engineering I.1.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Syntax and Semantics of einsum
von: Wenig, Maurice, et al.
Veröffentlicht: (2025)

Open Source Prover in the Attic
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)

Efficient Symbolic Computation via Hash Consing
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)

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

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
von: Bandyopadhyay, Soumyadip, et al.
Veröffentlicht: (2025)

Software Development Aspects of Integrating Linear Algebra Libraries
von: Koch, Marcel, et al.
Veröffentlicht: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
von: Dzafic, Izudin, et al.
Veröffentlicht: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
von: Barket, Rashid, et al.
Veröffentlicht: (2024)

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

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

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Some Computational Tools for Solving a Selection of Problems in Control Theory
von: Demin, Alexander, et al.
Veröffentlicht: (2025)

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

Fast Symbolic Integer-Linear Spectra
von: Luntzel, Jonny, et al.
Veröffentlicht: (2024)

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

Semi-Centennial REDUCE
von: Norman, Arthur C., et al.
Veröffentlicht: (2025)

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

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

SignatureTensors.jl: A Package for Signature Tensors in Julia
von: Riffo, Gabriel, et al.
Veröffentlicht: (2026)

Software Portability for Computer Algebra
von: Norman, Arthur C., et al.
Veröffentlicht: (2025)

Antiassociative algebra in R: introducing the evitaicossa package
von: Hankinn, Robin K. S.
Veröffentlicht: (2024)

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

Generalised Burnside and Dixon algorithms for irreducible projective representations
von: Szabó, Attila
Veröffentlicht: (2025)

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

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

Assembly of FETI dual operator using CUDA
von: Homola, Jakub, et al.
Veröffentlicht: (2025)

Practical Modelling with Bigraphs
von: Archibald, Blair, et al.
Veröffentlicht: (2024)

Towards Automatic Transformations of Coq Proof Scripts
von: Magaud, Nicolas
Veröffentlicht: (2024)

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

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
von: Gaudel, Bimal, et al.
Veröffentlicht: (2025)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

Performant Dynamically Typed E-Graphs in Pure Julia
von: Cheli, Alessandro, et al.
Veröffentlicht: (2024)

Performance Comparison of Function Evaluation Methods
von: Liberti, Leo
Veröffentlicht: (2002)

OGRePy: An Object-Oriented General Relativity Package for Python
von: Shoshany, Barak
Veröffentlicht: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
von: Verschelde, Jan, et al.
Veröffentlicht: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
von: Olivieri, Albani, et al.
Veröffentlicht: (2026)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
von: Wilton, Alexander C.
Veröffentlicht: (2025)

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

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

PANTHER: Pluginizable Testing Environment for Network Protocols
von: Crochet, Christophe, et al.
Veröffentlicht: (2025)