cs.SC updates on arXiv.org rss.arxiv.org

Rule-Based Spatial Mixture-of-Experts U-Net for Explainable Edge Detection

arxiv.org·2d

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions

arxiv.org·2w

SynPAT: A System for Generating Synthetic Physical Theories with Data

arxiv.org·39w

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath

arxiv.org·3d

Exact Volumes of Semi-Algebraic Convex Bodies

arxiv.org·3d

Learning Fast Monomial Orders for Gr\"obner Basis Computations

arxiv.org·4d

On the Summability Problem of Multivariate Rational Functions in the Mixed Case

arxiv.org·4d

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension

arxiv.org·4d

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function

arxiv.org·4d

A zero-test for D-algebraic transseries

arxiv.org·5d

UniSymNet: A Unified Symbolic Network Guided by Transformer

arxiv.org·38w

Confluence of Conditional Rewriting Modulo

arxiv.org·44w

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning

arxiv.org·6d

Computing braids from approximate data

arxiv.org·6d

FORM Version 5.0

arxiv.org·1w

Modular composition & polynomial GCD in the border of small, shallow circuits

arxiv.org·12w

Determining unit groups and $\mathrm{K}_1$ of finite rings

arxiv.org·35w