English
Related papers

Related papers: Simultaneous Modular Reduction and Kronecker Subst…

200 papers

We give several new algorithms for dense polynomial multiplication based on the Kronecker substitution method. For moderately sized input polynomials, the new algorithms improve on the performance of the standard Kronecker substitution by a…

Symbolic Computation · Computer Science 2007-12-27 David Harvey

We propose to store several integers modulo a small prime into a single machine word. Modular addition is performed by addition and possibly subtraction of a word containing several times the modulo. Modular Multiplication is not directly…

Symbolic Computation · Computer Science 2008-12-18 Jean-Guillaume Dumas , Laurent Fousse , Bruno Salvy

Polynomial multiplication is a fundamental problem in symbolic computation. There are efficient methods for the multiplication of two univariate polynomials. However, there is rarely efficiently nontrivial method for the multiplication of…

Computational Complexity · Computer Science 2024-03-20 Cancan Wang , Ming Su , Gang Wang , Qingpo Zhang

We present an algorithm to perform a simultaneous modular reduction of several residues. This algorithm is applied fast modular polynomial multiplication. The idea is to convert the $X$-adic representation of modular polynomials, with $X$…

Symbolic Computation · Computer Science 2008-06-23 Jean-Guillaume Dumas

Modular integer arithmetic occurs in many algorithms for computer algebra, cryptography, and error correcting codes. Although recent microprocessors typically offer a wide range of highly optimized arithmetic functions, modular integer…

Mathematical Software · Computer Science 2014-07-15 Joris van der Hoeven , Grégoire Lecerf , Guillaume Quintin

We present a probabilistic algorithm to compute the product of two univariate sparse polynomials over a field with a number of bit operations that is quasi-linear in the size of the input and the output. Our algorithm works for any field of…

Symbolic Computation · Computer Science 2020-09-01 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray

We present new techniques for reducing a multivariate sparse polynomial to a univariate polynomial. The reduction works similarly to the classical and widely-used Kronecker substitution, except that we choose the degrees randomly based on…

Symbolic Computation · Computer Science 2014-05-05 Andrew Arnold , Daniel S. Roche

Compound matrices play an important role in many fields of mathematics and have recently found new applications in systems and control theory. However, the explicit formulas for these compounds are non-trivial and not always easy to use.…

Classical Analysis and ODEs · Mathematics 2024-01-05 Ron Ofir , Michael Margaliot

We give an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm for multiplying two $N$-bit integers that improves the $O(N\cdot \log N\cdot \log\log N)$ algorithm by Sch\"{o}nhage-Strassen. Both these algorithms use modular arithmetic.…

Symbolic Computation · Computer Science 2008-09-19 Anindya De , Piyush P Kurur , Chandan Saha , Ramprasad Saptharishi

We want to achieve efficiency for the exact computation of the dot product of two vectors over word-size finite fields. We therefore compare the practical behaviors of a wide range of implementation techniques using different…

Symbolic Computation · Computer Science 2007-05-23 Jean-Guillaume Dumas

The polynomial multiplication problem has attracted considerable attention since the early days of computer algebra, and several algorithms have been designed to achieve the best possible time complexity. More recently, efforts have been…

Symbolic Computation · Computer Science 2019-02-11 Pascal Giorgi , Bruno Grenet , Daniel Roche

In this paper, we give new sparse interpolation algorithms for black box polynomial f whose coefficients are from a finite set. In the univariate case, we recover f from one evaluation of f(a) for a sufficiently large number a. In the…

Symbolic Computation · Computer Science 2017-06-23 Qiao-Long Huang , Xiao-Shan Gao

In this paper, we propose two new deterministic interpolation algorithms for a sparse multivariate polynomial given as a standard black-box by introducing new Kronecker type substitutions. Let $f\in \RB[x_1,\dots,x_n]$ be a sparse black-box…

Symbolic Computation · Computer Science 2018-08-09 Qiao-Long Huang , Xiao-Shan Gao

This paper deals with simultaneously fast and in-place algorithms for formulae where the result has to be linearly accumulated: some output variables are also input variables, linked by a linear dependency. Fundamental examples include the…

Symbolic Computation · Computer Science 2025-11-07 Jean-Guillaume Dumas , Bruno Grenet

We consider space-saving versions of several important operations on univariate polynomials, namely power series inversion and division, division with remainder, multi-point evaluation, and interpolation. Now-classical results show that…

Symbolic Computation · Computer Science 2020-09-01 Pascal Giorgi , Bruno Grenet , Daniel S. Roche

In recent work, Darmon, Pozzi and Vonk explicitly construct a modular form whose spectral coefficients are $p$-adic logarithms of Gross-Stark units and Stark-Heegner points. Here we describe how this construction gives rise to a practical…

Number Theory · Mathematics 2023-01-24 Håvard Damm-Johnsen

Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift…

Algebraic Geometry · Mathematics 2024-01-23 Dirk Basson , Janko Boehm , Magdaleen S. Marais , Mirko Rahn , Hobihasina P. Rakotoarisoa

In this paper we propose an approach to approximate a truncated singular value decomposition of a large structured matrix. By first decomposing the matrix into a sum of Kronecker products, our approach can be used to approximate a large…

Numerical Analysis · Mathematics 2018-04-03 Clarissa Garvey , Chang Meng , James G. Nagy

By double ideal quotient, we mean $(I:(I:J))$ where ideals $I$ and $J$. In our previous work [11], double ideal quotient and its variants are shown to be very useful for checking prime divisor and generating primary component. Combining…

Commutative Algebra · Mathematics 2022-02-15 Yuki Ishihara

We construct bases of the simple modules for partition algebras which are indexed by paths in an alcove geometry. This allows us to give a concrete interpretation (and new proof) of the monotone convergence property for Kronecker…

Representation Theory · Mathematics 2016-07-29 C. Bowman , M. De Visscher , J. Enyang
‹ Prev 1 2 3 10 Next ›