:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chen, Shaoshi, Koutschan, Christoph, Wang, Yisen
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2405.02430
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Non-minimality of minimal telescopers explained by residues
by: Chen, Shaoshi, et al.
Published: (2025)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

A Shape Lemma for Ideals of Differential Operators
by: Kauers, Manuel, et al.
Published: (2025)

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

Representing Piecewise-Linear Functions by Functions with Minimal Arity
by: Koutschan, Christoph, et al.
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Parallel Summation in P-Recursive Extensions
by: Chen, Shaoshi, et al.
Published: (2024)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
by: Berthomieu, Jérémy, et al.
Published: (2026)

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

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
by: Chen, Shaoshi, et al.
Published: (2026)

A zero-test for D-algebraic transseries
by: Chen, Shaoshi, et al.
Published: (2026)

On the equivalence problem of Smith forms for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2024)

Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs
by: Xiong, Beibei, et al.
Published: (2026)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
by: Din, Mohab Safey El, et al.
Published: (2025)

On the complexity of Chow and Hurwitz forms
by: Doğan, Mahmut Levent, et al.
Published: (2022)

Computing Euler products and coefficients of classical modular forms for twisted L-functions
by: Molin, Pascal
Published: (2025)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
by: Dumas, Jean-Guillaume, et al.
Published: (2025)

A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplications
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

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

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

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

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

A Dataset of Nonlinear Equations for Subdivision
by: Xu, Juan, et al.
Published: (2026)

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

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
by: Zheng, Min-Yi, et al.
Published: (2026)

Symbolic Integration in Weierstrass-like Extensions
by: Chen, Shaoshi, et al.
Published: (2026)

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

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)

Challenges for analytic calculations of the massive three-loop form factors
by: Blümlein, J, et al.
Published: (2024)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
by: Kim, Yejin, et al.
Published: (2026)

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)

Certifying Phase Abstraction
by: Froleyks, Nils, et al.
Published: (2024)

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