Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Certifying a probabilistic parallel modular algorithm for rational
  univariate representation   This paper is about solving polynomial systems. It first recalls how to do
that efficiently with a very high probability of correctness by reconstructing
a rational univariate representation (rur) using Groebner revlex computation,
Berlekamp-Massey algorithm and Hankel linear system solving modulo several
primes in parallel. Then it introduces a new method (theorem \ref{prop:check})
for rur certification that is effective for most polynomial systems.These
algorithms are implemented in
https://www-fourier.univ-grenoble-alpes.fr/~parisse/giac.html since version
1.7.0-13 or 1.7.0-17 for certification, it has (July 2021) leading performances
on multiple CPU, at least for an open-source software.

13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom