Cover Image

Smith normal forms of bivariate polynomial matrices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lu, Dong, Wang, Dingkang, Xiao, Fanghui, Zheng, Xiaopeng
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation Rings and Algebras 68W30, 15A24, 13P10 I.1.1; I.1.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2026)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Computing square roots in quaternion algebras
by: Koprowski, Przemysław
Published: (2023)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
by: Lyakhov, Dmitry A., et al.
Published: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

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

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

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

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
by: Yu, Zhiming, et al.
Published: (2026)

All elementary functions from a single binary operator
by: Odrzywołek, Andrzej
Published: (2026)

Computing discrete residues of rational functions
by: Arreche, Carlos E., et al.
Published: (2024)

Computing bases in Hermite normal form of lattices of integer relations
by: Labahn, George, et al.
Published: (2026)

On Rational Recursion for Holonomic Sequences
by: Tabuguia, Bertrand Teguia, et al.
Published: (2024)

Equi-affine minimal-degree moving frames for polynomial curves
by: Hong, Hoon, et al.
Published: (2024)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
by: Okazaki, Takumu, et al.
Published: (2025)

Improvements of convex-dense factorization of bivariate polynomials
by: Weimann, Martin
Published: (2025)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
by: del Río, Tereso, et al.
Published: (2024)

Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)

A computational approach to rational summability and its applications via discrete residues
by: Arreche, Carlos E., et al.
Published: (2025)

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

Complete Reduction for Derivatives in a Primitive Tower
by: Du, Hao, et al.
Published: (2025)

An arithmetic method algorithm optimizing k-nearest neighbors compared to regression algorithms and evaluated on real world data sources
by: Anagnostopoulos, Theodoros, et al.
Published: (2026)

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
by: Okazaki, Takumu, et al.
Published: (2025)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Flat singularities of chained systems, illustrated with an aircraft model
by: Kaminski, Yirmeyahu J., et al.
Published: (2022)

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era
by: Iravanian, Shahriar
Published: (2024)

The Newton-Puiseux algorithm and effective algebraic series
by: Buchacher, Manfred
Published: (2022)

Invariants: Computation and Applications
by: Kogan, Irina A.
Published: (2024)

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)

Semantic Variational Bayes Based on Semantic Information G Theory for Solving Latent Variables
by: Lu, Chenguang
Published: (2024)

STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
by: Su, Jiarui, et al.
Published: (2026)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
by: Wang, Shuai, et al.
Published: (2024)

A Semantic Generalization of Shannon's Information Theory and Applications
by: Lu, Chenguang
Published: (2025)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)

Deciding summability via residues in theory and in practice
by: Arreche, Carlos E.
Published: (2025)

Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective
by: Corless, Robert M., et al.
Published: (2025)