Copertina

Computing square roots in quaternion algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Koprowski, Przemysław
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Symbolic Computation Rings and Algebras 68W30, 11Y40, 11R52 I.1.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Smith normal forms of bivariate polynomial matrices
di: Lu, Dong, et al.
Pubblicazione: (2025)

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

Rigorous methods for computational number theory
di: de Boer, Koen, et al.
Pubblicazione: (2025)

Isotropic vectors over global fields
di: Koprowski, Przemysław
Pubblicazione: (2021)

Ideal classes of orders in quaternion algebras
di: Marseglia, Stefano, et al.
Pubblicazione: (2022)

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

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

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

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

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

Concatenations of Terms of an Arithmetic Progression
di: Luca, Florian, et al.
Pubblicazione: (2022)

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

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

An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations
di: Fürnsinn, Florian, et al.
Pubblicazione: (2025)

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

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

Exact Constructive Digit-by-Digit Algorithms for Integer $e$-th Root Extraction
di: Pareth, Suresan
Pubblicazione: (2026)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
di: Tajima, Shinichi, et al.
Pubblicazione: (2022)

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

On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic
di: Weinbaum, Shachar, et al.
Pubblicazione: (2025)

Fast computation of integral bases
di: Poteaux, Adrien, et al.
Pubblicazione: (2024)

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

An Exact Algorithm for Computing the Structure of Jordan Blocks
di: Tajima, Shinichi, et al.
Pubblicazione: (2025)

Third-order Jacobsthal $3$-Parameter Generalized Quaternions
di: Morales, Gamaliel
Pubblicazione: (2025)

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

Monte-Carlo Irreducibility and Imprimitivity Detection of Polynomials over $\mathbb{Q}$
di: Rivin, Igor
Pubblicazione: (2026)

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

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

Deterministic polynomial factorisation modulo many primes
di: Altman, Daniel
Pubblicazione: (2025)

A zero-test for D-algebraic transseries
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

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

Efficient computations in central simple algebras using Amitsur cohomology
di: Kutas, Péter, et al.
Pubblicazione: (2023)

Determining unit groups and $\mathrm{K}_1$ of finite rings
di: Hofmann, Tommy
Pubblicazione: (2025)

Proof-Carrying Verification for ReLU Networks via Rational Certificates
di: Gokavarapu, Chandrasekhar
Pubblicazione: (2025)

A Monadic Calculus with Episodic Flows
di: Henning, Sotirios
Pubblicazione: (2024)

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

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

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

On bi-periodic Padovan and Perrin quaternions over finite fields
di: Savin, Diana, et al.
Pubblicazione: (2026)

Computing with D-Algebraic Sequences
di: Tabuguia, Bertrand Teguia
Pubblicazione: (2024)