Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,346,487 papers from all fields of science
Search
Sign In
Create Free Account
AKS primality test
Known as:
Agrawal Kayal Saxena primality test
, Agarwal-Kayal-Saxena primality test
, AKS primality
Expand
The AKS primality test (also known as Agrawal–Kayal–Saxena primality test and cyclotomic AKS test) is a deterministic primality-proving algorithm…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Adleman–Pomerance–Rumely primality test
Algorithm
BPP (complexity)
Baillie–PSW primality test
Expand
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
Hing-Lun Chan
2019
Corpus ID: 209056949
We present a formalisation of the Agrawal-Kayal-Saxena (AKS) algorithm, a deterministic polynomial-time primality test. This…
Expand
2016
2016
The Use of AAVE by Maids in The Movie “The Help”
Anggah Fitriadi
,
Lisetyo Ariyanti
2016
Corpus ID: 192888195
Abstrak Salah satudialekdariBahasaInggrisadalahdialek orang Afrika-Amerika.Dialekinidigunakanoleh orang-orang keturunanAfrika…
Expand
2015
2015
Actinic Keratosis ( AKs ) are keratotic lesions occurring on chronically light-exposed adult Evaluation of Ingenol mebutate efficacy for the treatment of actinic keratosis with Antera 3 D camera
C. Cantisani
,
G. Paolino
,
P. Corsetti
,
U. Bottoni
,
D. Didona
,
S. Calvieri
2015
Corpus ID: 33441823
92 Abstract. – OBJECTIVE: Cumulative exposure of the skin to ultraviolet radiation promotes mutation in keratinocytes and their…
Expand
2013
2013
Rational points on varieties, part II (surfaces)
R. van Luijk
2013
Corpus ID: 55790733
• Lang-Nishimura [22, Lemma 1.1]. • Severi-Brauer varieties over a global field satisfy the Hasse principle [22, Theorem 2.4…
Expand
2012
2012
TEMEL HAK VE HÜRRİYETLERİ GERÇEKLEŞTİRMEDE SAİD NURSİ’NİN MÜSBET HAREKET METODU
Doç. Dr. Mehmet Yildiz
2012
Corpus ID: 191217962
Ozet Temel hak ve hurriyetler kavrami demokrasiye liberal bir bakis acisiniyansitmakla birlikte, buyuk olcude insanligin ortak…
Expand
2011
2011
Somatic embryogenesis from mature Bambusa ventricosa
K. Cheah
,
Lee C. Chaille
2011
Corpus ID: 90620289
Published by the College of Tropical Agriculture and Human Resources (CTAHR) and issued in furtherance of Cooperative Extension…
Expand
2009
2009
Akutní infarkt myokardu u mladých pacientů
Ondřej Toman
2009
Corpus ID: 77476806
Ischemicka choroba srdecni (ICHS) postihuje v mensi miře i mladsi jedince. Obsahem prace je charakteristika souboru mladých…
Expand
2006
2006
Deterministic Primality Testing in Polynomial Time A .
Gabriel W. Daleson
2006
Corpus ID: 16955457
The new Agrawal-Kayal-Saxena (AKS) algorithm determines whether a given number is prime or composite in polynomial time, but…
Expand
2004
2004
Towards the Verification of The AKS Primality Test in ACL 2
C. Campos
2004
Corpus ID: 17873223
In this paper we present a recursive implementation of the Agrawal, Kayal and Saxena primality testing algorithm, which is the…
Expand
2002
2002
An Introduction to the AKS Primality Test
A. Klappenecker
2002
Corpus ID: 17499535
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…
Expand