Skip to search formSkip to main contentSkip to account menu

Provable prime

Known as: Provable 
In number theory, a provable prime is an integer that has been calculated to be prime using a primality-proving algorithm. Contrast with probable… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
AKS primality testAlgorithmGenerating primesPrimality test

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Budget-Constrained Organization of Influential Social Events
Recently, the proliferation of event-based social services has made it possible for organizing personalized offline events… 
2018
2018
Information Theoretic Guarantees for Empirical Risk Minimization with Applications to Model Selection and Large-Scale Optimization
In this paper, we derive bounds on the mutual information of the empirical risk minimization (ERM) procedure for both 0-1 and… 
2018
2018
Algorithms For Clustering Problems: Theoretical Guarantees and Empirical Evaluations
Clustering is a classic topic in combinatorial optimization and plays a central role in many areas, including data science and… 
2016
2016
Stochastic energy management in distribution grids
Variabilities of renewable energy sources critically challenge contemporary power distribution grids. Depending on grid… 
2012
2012
On the Cost-QoE Trade-off for Cloud Media Streaming under Amazon EC 2 Pricing Models
Exponential growth of video traffic challenges the current paradigm to stream large amounts of video contents to end users. Cloud… 
2010
2010
TR 10017 Modeling Time Varying Covariance Matrices in Low Dimensions
In several modern applications, one considers high dimensional data with time varying covariance matrices. While methods such as… 
Review
2008
Review
2008
On the Capacity Optimization for MIMO Ad Hoc Networks
Maximizing the system mutual information for MIMO ad hoc networks is considered in this paper. We first give a brief overview of… 
1998
1998
A Note on Low Density Parity Check Codes for Erasures and Errors
We analyze low density parity check codes that correct both errors and erasures using a simple decoding scheme. Our framework… 
1994
1994
The Breeder Genetic Algorithm-a provable optimal search algorithm and its application
Evolution of natural organisms is based on three major components-reproduction, variation and selection. Some reproductions of… 
1991
1991
Accurate circle con?gurations and numerical conformal mapping in polynomial time
| According to a remarkable re-interpretation of a theorem of E.M. Andreev (1970) by W.P. Thurston (1982), there is a unique (up… 
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)