:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Riener, Cordian, Schabert, Robin, Vu, Thi Xuan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Symbolic Computation
Accesso online:	https://arxiv.org/abs/2404.09749
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Recycling Algebraic Proof Certificates
di: Kaufmann, Daniela, et al.
Pubblicazione: (2025)

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

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

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

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

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

Clifford algebra in R
di: Hankin, Robin K. S.
Pubblicazione: (2022)

Primary Decomposition of Symmetric Ideals
di: Ishihara, Yuki
Pubblicazione: (2024)

Formal Power Series on Algebraic Cryptanalysis
di: Nakamura, Shuhei
Pubblicazione: (2020)

Introducing the vfunc R package
di: Hankin, Robin K. S.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

Visual Set Program Synthesizer
di: Cheng, Zehua, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

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

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

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

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

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

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