References
- [Barnes 07] G. Barnes. “Sierpinski Conjectures and Proofs.” www.noprimeleftbehind.net/crus/Sierp-conjectures.htm, 2007.
- [Bright 14] C. Bright. “MEPN Implementation.” github.com/curtisbright/mepn, 2014.
- [Choi 71] S. L. G. Choi. “Covering the Set of Integers by Congruence Classes of Distinct Moduli.” Math. Comp. 25 (1971), 885–895.
- [Devillers 15] R. Devillers. “Results in Searching for Minimal Primes Wrt Subword Order.” github.com/RaymondDevillers/primes, 2015.
- [Dickson 52] L. E. Dickson. History of the Theory of Numbers. Volume I: Divisibility and Primality.New York: Chelsea Publishing Company, 1952.
- [Granlund et al.] T. Granlund, et al. “The GNU Multiple Precision Arithmetic Library.” gmplib.org.
- [Gruber et al. 07] H. Gruber, M. Holzer, and M. Kutrib. “The Size of Higman-Haines Sets.” Theoret. Comput. Sci. 387 (2007), 167–176.
- [Gruber et al. 09] H. Gruber, M. Holzer, and M. Kutrib. “More on the Size of Higman-Haines Sets: Effective Constructions.” Fundam. Inform. 91 (2009), 105–121.
- [Haines 69] L. H. Haines. “On Free Monoids Partially Ordered by Embedding.” J. Comb. Theory 6 (1969), 94–98.
- [Higman 52] G. Higman. “Ordering by Divisibility in Abstract Algebras.” Proc. London Math. Soc. 2: 3 (1952), 326–336.
- [Hopcroft and Ullman 79] J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
- [Lifchitz and Lifchitz 00] H. Lifchitz and R. Lifchitz. “PRP Records.” www.primenumbers.net/prptop/prptop.php, 2000.
- [Martin 11] M. Martin. “Primo for Linux.” www.ellipsa.eu/public/primo/primo.html, 2011.
- [Morain 94] F. Morain. “Some Primes Proven by My Programs.” www.lix.polytechnique.fr/Labo/Francois.Morain/Primes/myprimes.html, 1994.
- [OEIS Foundation Inc. 96] OEIS Foundation Inc. “The On-Line Encyclopedia of Integer Sequences.” oeis.org, 1996.
- [Penné 15] J. Penné. “LLR Version 3.8.15.” jpenne.free.fr/index2.html, 2015.
- [Reynolds 10] G. Reynolds. “Sierpinski/Riesel sieve version 0.6.17.” sites.google.com/site/geoffreywalterreynolds/programs/srsieve, 2010.
- [Scott 03] M. Scott. “Multiprecision Integer and Rational Arithmetic Cryptographic Library.” www.certivox.com/miracl, 2003.
- [Shallit 01] J. Shallit. “Minimal Primes.” J. Recreational Math. 30: 2 (2001), 113–117, 2003
- [Williams and Dubner 86] H. C. Williams and H. Dubner. “The Primality of R1031.” Math. Comput. 47 (1986), 703–711.