Skip to search formSkip to main contentSkip to account menu

AKS primality test

Known as: Agrawal Kayal Saxena primality test, Agarwal-Kayal-Saxena primality test, AKS primality 
The AKS primality test (also known as Agrawal–Kayal–Saxena primality test and cyclotomic AKS test) is a deterministic primality-proving algorithm… 
Wikipedia (opens in a new tab)

Related topics

Related topics

26 relations
Adleman–Pomerance–Rumely primality testAlgorithmBPP (complexity)Baillie–PSW primality test

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Primality Testing is Polynomial-time: A Mechanised Verification of the AKS Algorithm
We present a formalisation of the Agrawal-Kayal-Saxena (AKS) algorithm, a deterministic polynomial-time primality test. This… 
2016
2016
Hydraulic Fracturing in Core of Earth and Rockfill Dams
Hydraulic fracturing has become one of the major problems in rock fill dams, since it plays a significant role in the initiation… 
2014
2014
A Simulation Study on Tests for the Behrens-Fisher Problem
ABS TRACT Objective: The problem of testing the equality of two means from normal populations with unknown variances is known as… 
2012
2012
TEMEL HAK VE HÜRRİYETLERİ GERÇEKLEŞTİRMEDE SAİD NURSİ’NİN MÜSBET HAREKET METODU
Ozet Temel hak ve hurriyetler kavrami demokrasiye liberal bir bakis acisiniyansitmakla birlikte, buyuk olcude insanligin ortak… 
2011
2011
Somatic embryogenesis from mature Bambusa ventricosa
Published by the College of Tropical Agriculture and Human Resources (CTAHR) and issued in furtherance of Cooperative Extension… 
2009
2009
Implementations of the Improved AKS Primality Testing Algorithm
The AKS algorithm successfully solved the noted problem of deterministic primality testing in polynomial time,but it was not yet… 
Review
2008
Review
2008
Nonlinear Dynamics, Psychology, and Life Sciences Special Issue on Psychomotor Coordination and Control Introduction to Special Issue on Psychomotor Coordination and Control
When people perform repeated goal-directed movements, consecutive movement durations inevitably vary over trials, in poor as well… 
2004
2004
Towards the Verification of The AKS Primality Test in ACL 2
In this paper we present a recursive implementation of the Agrawal, Kayal and Saxena primality testing algorithm, which is the… 
2002
2002
An Introduction to the AKS Primality Test
Input: An integer n > 1. 0: if n is a power then output composite fi; 1: r := 2; 2: while (r < n) do 3: if gcd(r, n) 6= 1 then… 
1991
1991
Common mistakes in English: Fitikides, T.J. With Exercises. London: Longman, 1936, 1964, 204 pp.☆
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)