Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,670,725 papers from all fields of science
Search
Sign In
Create Free Account
Neeraj Kayal
Known as:
Kayal
Neeraj Kayal (Hindi: नीरज कयाल) is an Indian computer scientist. Kayal was born and raised in Guwahati, India. Kayal graduated with a B.Tech from the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
AKS primality test
BPP (complexity)
Computational complexity theory
Computer scientist
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
2018
2018
Solar Tracker Implementation Using Matlab/Simulink
A. Dhawan
,
Col. Dr. O.P. Malik
,
Ravinder Kumar
2018
Corpus ID: 214586889
: In this paper we present a mathematical modeling of photovoltaic module and a complete simulation of Solar Power Tracker and by…
Expand
2018
2018
On top fan-in vs formal degree for depth-3 arithmetic circuits
Mrinal Kumar
Electron. Colloquium Comput. Complex.
2018
Corpus ID: 4747707
We show that over the field of complex numbers, \emph{every} homogeneous polynomial of degree $d$ can be approximated (in the…
Expand
2016
2016
Diagnostic Value of IL-6 in Neonatal Sepsis
Neeraj Kumar
,
M. Singh
,
R. Dayal
,
Shikha Gupta
,
R. Garg
2016
Corpus ID: 212499305
Background: Neonatal sepsis is a serious life-threatening condition with high mortality. The early and accurate diagnosis of…
Expand
2016
2016
Fission mechanism of 192 , 202 Po nuclei using neutron multiplicity as a probe
R. Mahajan
,
B. Behera
,
+14 authors
S. Pal
2016
Corpus ID: 40729878
Ruchi Mahajan,1 B.R. Behera,1 Meenu Thakur,1 N. Saneesh,2 Gurpreet Kaur,1 Priya Sharma,1 Kushal Kapoor,1 R. Dubey,2 A. Yadav,2…
Expand
2014
2014
Sea level oscillations, climate change and landform evolution in the western coastal lowlands of Trivandrum block in Peninsular India
S. Mohan
,
D. Padmalal
,
K. Maya
,
B. Baburaj
2014
Corpus ID: 55525278
The coastal areas of Kerala falling within the Trivandrum block, in the southern side of the Achankovil Shear Zone (ASZ) of the…
Expand
2012
2012
Realistic Assessment of Novel Wireless Systems with Ray-tracing Based Techniques
Neeraj Sood
2012
Corpus ID: 111617652
Ray tracing based on geometric optics can be utilized for generating propagation models for arbitrary and complex environments…
Expand
2009
2009
Primality Testing and Sub-Exponential Factorization
Dave Emerson
,
H. Straubing
2009
Corpus ID: 124431951
This paper discusses the problems of primality testing and large number factorization. The first section is dedicated to a…
Expand
2009
2009
Guest editorial
L. Georgiadis
,
G. Karlsson
Wirel. Networks
2009
Corpus ID: 207256240
The Annual Meeting of the Japanese Society for Kidney and Bone Disease (JSKBD) was held at the Hotel Okura Tokyo on 23 February…
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