English
Related papers

Related papers: An Algorithm for Computing Prime Implicates in Mod…

200 papers

A new algorithm for computing a point on a polynomial or rational curve in B\'{e}zier form is proposed. The method has a geometric interpretation and uses only convex combinations of control points. The new algorithm's computational…

Numerical Analysis · Computer Science 2019-06-20 Filip Chudy , Paweł Woźny

The time integration of semilinear parabolic problems by exponential methods of different kinds is considered. A new algorithm for the implementation of these methods is proposed. The algorithm evaluates the operators required by the…

Numerical Analysis · Mathematics 2008-10-23 Maria Lopez-Fernandez

This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials…

Number Theory · Mathematics 2010-01-21 Xavier Taixes i Ventosa , Gabor Wiese

The problem of efficient multiplication of large numbers has been a long-standing challenge in classical computation and has been extensively studied for centuries. It appears that the existing classical algorithms are close to their…

We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for…

Commutative Algebra · Mathematics 2016-10-14 John Abbott , Anna Maria Bigatti , Lorenzo Robbiano

In his 1963 paper on the sum of consecutive primes, Moser posed four open questions related to $f(n)$, the number of ways an integer $n$ can be written as a sum of consecutive primes. (See also problem C2 from Richard K.~Guy's…

Number Theory · Mathematics 2025-09-03 Jonathan P. Sorenson , Eleanor Waiss

The inversion problem for rational B\'ezier curves is addressed by using resultant matrices for polynomials expressed in the Bernstein basis. The aim of the work is not to construct an inversion formula but finding the corresponding value…

Numerical Analysis · Mathematics 2010-07-19 Ana Marco , José-Javier Martinez

We compute modular Galois representations associated with a newform $f$, and study the related problem of computing the coefficients of $f$ modulo a small prime $\ell$. To this end, we design a practical variant of the complex…

Number Theory · Mathematics 2013-06-13 Nicolas Mascot

We present a new elementary algorithm that takes \[ \mathrm{time} \ \ O_\epsilon\left(x^{\frac{3}{5}} (\log x)^{\frac{3}{5}+\epsilon} \right) \ \ \mathrm{and}\ \ \mathrm{space} \ \ O\left(x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right)\]…

Number Theory · Mathematics 2022-03-01 Harald A. Helfgott , Lola Thompson

Let $p$ be a prime number, $p=2^nq+1$, where $q$ is odd. D. Shanks described an algorithm to compute square roots $\pmod{p}$ which needs $O(\log q + n^2)$ modular multiplications. In this note we describe two modifications of this…

Number Theory · Mathematics 2011-05-10 Jan-Christoph Schlage-Puchta

In general dimension, there is no known total polynomial algorithm for either convex hull or vertex enumeration, i.e. an algorithm whose complexity depends polynomially on the input and output sizes. It is thus important to identify…

Computational Geometry · Computer Science 2021-04-26 Ioannis Z. Emiris , Vissarion Fisikopoulos , Bernd Gärtner

We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory…

Number Theory · Mathematics 2008-11-03 Jordi Guardia , Jesus Montes , Enric Nart

We present a space-efficient algorithm to compute the Hilbert class polynomial H_D(X) modulo a positive integer P, based on an explicit form of the Chinese Remainder Theorem. Under the Generalized Riemann Hypothesis, the algorithm uses…

Number Theory · Mathematics 2013-11-25 Andrew V. Sutherland

Let $a,k\in\mathbb{N}$. For the $k-1$-th iterate of the exponential function $x\mapsto a^x$, also known as tetration, we write \[ ^k a:=a^{a^{.^{.^{.^{a}}}}}. \] In this paper, we show how an efficient algorithm for tetration modulo natural…

Number Theory · Mathematics 2020-07-07 Markus Hittmeir

We prove congruences, modulo a power of a prime p, for certain finite sums involving central binomial coefficients $\binom{2k}{k}$.

Number Theory · Mathematics 2013-10-09 Sandro Mattarei , Roberto Tauraso

Determining identifiability of causal effects from observational data under latent confounding is a central challenge in causal inference. For linear structural causal models, identifiability of causal effects is decidable through symbolic…

Machine Learning · Statistics 2026-04-23 Benjamin Hollering , Pratik Misra , Nils Sturma

Determining the prime factors of a given number N is a problem, which requires super-polynomial time for conventional digital computers. A polynomial-time algorithm was invented by P. Shor for quantum computers. However, the realization of…

Mesoscale and Nanoscale Physics · Physics 2016-10-12 Y. Khivintsev , M. Ranjbar , D. Gutierrez , H. Chiang , A. Kozhevnikov , Y. Filimonov , A. Khitun

We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting formal series solutions at the singular points as analytic…

Symbolic Computation · Computer Science 2013-01-14 Fredrik Johansson , Manuel Kauers , Marc Mezzarobba

In this note, we propose simple summations for primes, which involve two finite nested sums and Bernoulli numbers. The summations can also be expressed in terms of Bernoulli polynomials.

History and Overview · Mathematics 2023-03-20 Jean-Christophe Pain

We develop the first quantum algorithm for the constrained portfolio optimization problem. The algorithm has running time $\widetilde{O} \left( n\sqrt{r} \frac{\zeta \kappa}{\delta^2} \log \left(1/\epsilon\right) \right)$, where $r$ is the…

Optimization and Control · Mathematics 2019-08-23 Iordanis Kerenidis , Anupam Prakash , Dániel Szilágyi