:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Riener, Cordian, Schabert, Robin, Vu, Thi Xuan
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2404.09749
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Symbolic Computation with Symmetric Polynomials in Real Algebraic Geometry
by: Riener, Cordian, et al.
Published: (2025)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
by: Vu, Thi Xuan
Published: (2025)

Slices of Stable Polynomials and Connections to the Grace-Walsh-Szegő theorem
by: Debus, Sebastian, et al.
Published: (2024)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
by: Vu, Thi Xuan
Published: (2026)

Constructively describing orbit spaces of finite groups by few inequalities
by: Moustrou, Philippe, et al.
Published: (2024)

Recycling Algebraic Proof Certificates
by: Kaufmann, Daniela, et al.
Published: (2025)

Bounds for D-Algebraic Closure Properties
by: Kauers, Manuel, et al.
Published: (2025)

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

Symmetric Division of Linear Ordinary Differential Operators
by: Du, Lixin, et al.
Published: (2025)

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

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

Clifford algebra in R
by: Hankin, Robin K. S.
Published: (2022)

Primary Decomposition of Symmetric Ideals
by: Ishihara, Yuki
Published: (2024)

Formal Power Series on Algebraic Cryptanalysis
by: Nakamura, Shuhei
Published: (2020)

Introducing the vfunc R package
by: Hankin, Robin K. S.
Published: (2026)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
by: Caruso, Xavier, et al.
Published: (2026)

Algebraic structure behind Odrzywołek's EML operator
by: Stachowiak, Tomasz
Published: (2026)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
by: Caruso, Xavier, et al.
Published: (2026)

On Minimum CADs for Algebraic Sets in Dimension Three
by: Michel, Lucas
Published: (2026)

Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
by: Wong, Wan Ki, et al.
Published: (2025)

Connection Matrices in Macaulay2
by: Görlach, Paul, et al.
Published: (2025)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

Algebraic Representations for Faster Predictions in Convolutional Neural Networks
by: Joyce, Johnny, et al.
Published: (2024)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
by: Shalyt, Michael, et al.
Published: (2025)

Visual Set Program Synthesizer
by: Cheng, Zehua, et al.
Published: (2026)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
by: Jing, Rui-Juan, et al.
Published: (2026)

Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

Decomposition of Symmetrical Classes of Central Configurations
by: Santos, Marcelo P., et al.
Published: (2025)

Optimal Communication Unbalanced Private Set Union
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

A complexity analysis of the F4 Gröbner basis algorithm with tracer data
by: Kouba, Robin, et al.
Published: (2026)

Algebraic anti-unification
by: Antić, Christian
Published: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

Exact Volumes of Semi-Algebraic Convex Bodies
by: Ramesh, Lakshmi, et al.
Published: (2026)

Antiassociative algebra in R: introducing the evitaicossa package
by: Hankinn, Robin K. S.
Published: (2024)

Resisting the Confines of Colonialism, within and with Walls
by: Robin James Smith
Published: (2025)

Categorizational Asymmetries in Context: Producing and Resisting Policeable Scenes
by: Robin James Smith
Published: (2025)

On Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2024)