:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hong, Shengxin, Fan, Xiuyi
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2404.13419
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
by: Hong, Shengxin, et al.
Published: (2024)

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

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
by: Ludäscher, Bertram, et al.
Published: (2025)

Probabilistic Active Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
by: Hong, Hoon, et al.
Published: (2023)

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

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

Adaptive Collaboration of Arena-Based Argumentative LLMs for Explainable and Contestable Legal Reasoning
by: Cao, Hoang-Loc, 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)

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

ViTex: Visual Texture Control for Multi-Track Symbolic Music Generation via Discrete Diffusion Models
by: Yi, Xiaoyu, et al.
Published: (2026)

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

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

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

Expressive Symbolic Regression for Interpretable Models of Discrete-Time Dynamical Systems
by: Iyer, Adarsh, et al.
Published: (2024)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
by: Vyhmeister, Eduardo, et al.
Published: (2024)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
by: Hong, Hoon, et al.
Published: (2023)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
by: Hong, Hoon, et al.
Published: (2023)

On Recurrence Relations of Multi-dimensional Sequences
by: Rahkooy, Hamid
Published: (2024)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
by: Chen, Yongchao, et al.
Published: (2025)

A Knowledge Graph Informing Soil Carbon Modeling
by: Shirvani-Mahdavi, Nasim, et al.
Published: (2025)

Learning Ecology with VERA Using Conceptual Models and Simulations
by: Rugaber, Spencer, et al.
Published: (2025)

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)

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)

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)

An Abstraction-Preserving Block Matrix Implementation in Maple
by: Jeffrey, David J., et al.
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)

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)

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)