
SieveSDP
 Referenced in 8 articles
[sw31824]
 SieveSDP: a simple facial reduction algorithm to preprocess semidefinite programs. We introduce Sieve ... reduction algorithm to preprocess semidefinite programs (SDPs). SieveSDP inspects the constraints of the problem...

CADONFS
 Referenced in 13 articles
[sw07250]
 implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. It consists...

G6K
 Referenced in 7 articles
[sw41341]
 General Sieve Kernel (G6K): G6K is a C++ and Python library that implements several Sieve ... Postlethwaite and Marc Stevens, The General Sieve Kernel and New Records in Lattice Reduction...

ARIBAS
 Referenced in 10 articles
[sw07341]
 Pollard rho, elliptic curve, continued fraction, quadratic sieve), etc. ARIBAS is used for the examples...

vcdExtra
 Referenced in 7 articles
[sw09553]
 particular, ’vcdExtra’ extends mosaic, assoc and sieve plots from ’vcd’ to handle...

strucplot
 Referenced in 5 articles
[sw10547]
 conditional plots such as mosaic, association, and sieve plots, and can be combined into more...

CAIRN 2
 Referenced in 2 articles
[sw25464]
 CAIRN 2: an FPGA implementation of the sieving step in the number field sieve method ... cryptosystems including RSA, and the number field sieve method (NFS), the most efficient algorithm ... computing cost of the number field sieve method. In this paper, we report implementational ... experimental results of a dedicated sieving device “CAIRN 2” with Xilinx’s FPGA which...

TI84
 Referenced in 4 articles
[sw06909]
 were factored via the General number field sieve (GNFS) algorithm, making a software patch unnecessary...

GRADISTAT
 Referenced in 2 articles
[sw13994]
 suitable for calculating particle size statistics for sieve or laser granulometer data. Full instructions...

Msieve
 Referenced in 2 articles
[sw39232]
 msieve  Number Field Sieve implementation...

FactInt
 Referenced in 0 articles
[sw21199]
 Continued Fraction Algorithm (CFRAC); Multiple Polynomial Quadratic Sieve (MPQS). FactInt also makes use of Richard...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

KANT/KASH
 Referenced in 156 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

LiDIA
 Referenced in 53 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...