:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Froleyks, Nils, Yu, Emily, Biere, Armin, Heljanko, Keijo
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2405.04297
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Abstraction-Preserving Block Matrix Implementation in Maple
by: Jeffrey, David J., et al.
Published: (2024)

Certified geometric robustness -- Super-DeepG
by: Cohen, Noémie, et al.
Published: (2026)

Certified bounds on optimization problems in quantum theory
by: Naceur, Younes, et al.
Published: (2025)

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

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

Certifying Galois/monodromy Actions via Homotopy Graphs
by: Duff, Timothy, et al.
Published: (2026)

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
by: Lee, Seungpil, et al.
Published: (2024)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

Certified homotopy tracking using the Krawczyk method
by: Duff, Timothy, et al.
Published: (2024)

Certified algebraic curve projections by path tracking
by: Burr, Michael, et al.
Published: (2025)

Constructing Koszul filtrations: existence and non-existence for G-quadratic algebras
by: Berghofer, Emily, et al.
Published: (2026)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

Positivity Proofs for Linear Recurrences through Contracted Cones
by: Ibrahim, Alaa, et al.
Published: (2024)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)

A Syzygial Method for Equidimensional Decomposition
by: Mohr, Rafael
Published: (2024)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)

Case Frames and Case-Based Arguments in Statutory Interpretation
by: Araszkiewicz, Michal
Published: (2024)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
by: Nalbach, Jasper, et al.
Published: (2024)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2024)

Bridging Syntax and Semantics of Lean Expressions in E-Graphs
by: Rossel, Marcus, et al.
Published: (2024)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

Creative Telescoping for Hypergeometric Double Sums
by: Paule, Peter, et al.
Published: (2024)

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars
by: Finkelstein, Edward
Published: (2024)

Equality of morphic sequences
by: Zantema, Hans
Published: (2024)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)