Search · four archives
Search · four archives
14 papers · ranked by Valyu relevance
Daichi Mukunoki, Katsuhisa Ozaki
—To obtain accurate results in numerical computation, high-precision arithmetic is a straightforward approach. However, most processors lack hardware support for floatingpoint formats beyond double precision (FP64). Double-word arithmetic (Dekker 1971) extends precision by using standard floating-point operations to…
Suresan Pareth
The digit-by-digit computation of integer roots is a classical technique rooted in elementary arithmetic. The familiar long-division algorithm for square roots, which processes pairs of digits and incrementally builds the root while preserving a nonnegative remainder, admits a natural algebraic generalisation to…
Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Théo Mary
This article is concerned with the efficient computation of modular matrix multiplication C = AB mod p, a key kernel in computer algebra. We focus on floating-point arithmetic, which allows for using efficient matrix multiplication libraries. However, the existing approach is limited to primes p with bitsize at most…
Murillo, Raul, Villalba-Moreno, Julio + 4 more
—Posit arithmetic has emerged as a promising alternative to IEEE 754 floating-point representation, offering enhanced accuracy and dynamic range. However, division operations in posit systems remain challenging due to their inherent hardware complexity. In this work, we present posit division units based on the…
David Harvey, Markus Hittmeir
We revisit the problem of rigorously and deterministically finding elements of large order in the multiplicative group of integers modulo a natural number N. Solving this problem is an essential step in several recent deterministic algorithms for factoring N, including the currently fastest ones. In 2018, the second…
Eric B. Olsen
Residue Number Systems (RNS) offer efficient modular arithmetic and natural parallelism, but direct integer division in RNS remains a difficult and comparatively underdeveloped operation. This paper builds on the type-II division algorithm of Szabo and Tanaka and reformulates it for more efficient hardware…
Brian Bemman, Maximilien Gadouleau, Oliver W. Gnilke, George B. Mertzios
We present a simple $\mathcal{O}\left( n^2 \frac{ \log N }{ \log \log N } + N \right)$ enumeration algorithm for solving a problem from mathematical and computational music analysis where, given a strictly increasing integer sequence, $S$, with $n$ entries and maximum value $N$, the task is to enumerate all $m$…
Narinder Kumar Wadhawan
Scientific calculations involving operations of multiplication, division, exponents, inverse of exponents of real numbers, geometric mean, reciprocal, Euler's number, logarithm, antilogarithm of a real number, are generally carried out with battery operated electronic calculators. In this paper, geometric methods…
Bruno Grenet
The works presented in this habilitation concern the algorithmics of polynomials. This is a central topic in computer algebra, with numerous applications both within and outside the field—cryptography, error-correcting codes, etc. For many problems, extremely efficient algorithms have been developed since the 1960s.…
Rasmus Vikhamar-Sandberg, Michal Repisky
We present an algorithm for efficient evaluation of Boys functions F0, . . . , Fkmax tailored to modern computing architectures, in particular graphical processing units (GPUs), where maximum throughput is high and data movement is costly. The method combines rational minimax approximations with upward and downward…
Zoltán Kovács, Xicheng Peng
We improve the complex number identity proving method to a fully automated procedure, based on elimination ideals. By using declarative equations or rewriting each real-relational hypothesis h i to hi−ri, and the thesis t to t−r, clearing the denominators and introducing an extra expression with a slack variable, we…
Gabriel Istrate, Mihai Prunescu, Joseph M. Shunia
Arithmetic terms are finite fixed compositions of additions, subtractions, multiplications, divisions with remainder and exponentiations, containing variables interpreted as natural numbers. They build a well-defined notion of closed formula. It is known that every Kalmar elementary function can be expressed as an…
Levente Fekésházy, Oliver Schnetz
We present LinApart2, a major update to the LinApart algorithm for univariate partial fraction decomposition. Unlike its predecessor, LinApart2 can handle denominators of arbitrary polynomial degree without explicit factorization, while retaining the efficiency and parallelizability of the Laurent series method.…
Krasimir Yordzhev, Hristina Kostadinova
A mathematical model, describing some different weaving structures, is made in this article. The terms self-mirror and rotation-stable weaving structure are initiated here. There are used the properties and operations in the set of the binary matrices and an equivalence relation in this set. Some combinatorial problems…