1![Explicit Primality Criteria for h #2k ± 1 Wieb Bosma Mathematics of Computation, Vol. 61, No. 203, Special Issue Dedicated to Derrick Henry Lehmer. (Jul., 1993), ppStable URL: http://links.jstor.org/sici?sici= Explicit Primality Criteria for h #2k ± 1 Wieb Bosma Mathematics of Computation, Vol. 61, No. 203, Special Issue Dedicated to Derrick Henry Lehmer. (Jul., 1993), ppStable URL: http://links.jstor.org/sici?sici=](https://www.pdfsearch.io/img/1a22cfdc51c597dfa4e51635dd7acec3.jpg) | Add to Reading ListSource URL: www.math.ru.nlLanguage: English - Date: 2008-03-28 07:26:11
|
---|
2![Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1 Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1](https://www.pdfsearch.io/img/cb6c1cae3554a8f24be8b6c1399b177c.jpg) | Add to Reading ListSource URL: logica.ugent.beLanguage: English - Date: 2011-11-29 04:56:35
|
---|
3![The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha](https://www.pdfsearch.io/img/1ee1bca7d2aeb8b19d4563494b592ea7.jpg) | Add to Reading ListSource URL: logica.ugent.beLanguage: English - Date: 2013-04-19 05:16:36
|
---|
4![](https://www.pdfsearch.io/img/62d6d9da13b71f79e7334183f640807e.jpg) | Add to Reading ListSource URL: www.kurims.kyoto-u.ac.jpLanguage: English - Date: 2007-08-14 10:56:58
|
---|
5![Microsoft Word - Poster-LehmerC.doc Microsoft Word - Poster-LehmerC.doc](https://www.pdfsearch.io/img/8e8ef32e82290844b80e1a1877f0998a.jpg) | Add to Reading ListSource URL: www.fields.utoronto.caLanguage: English - Date: 2008-09-29 13:42:19
|
---|
6![MERSENNE NUMBERS i93 2 -] MERSENNE NUMBERS i93 2 -]](https://www.pdfsearch.io/img/22d8d7b8cf8994abcc9c9a25bdbfe8ce.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2010-01-14 11:28:54
|
---|
7![THE PENTAGON Volume XL(40) THE PENTAGON Volume XL(40)](https://www.pdfsearch.io/img/b66fb2bbfdd5a655a010d9e0e9e0baef.jpg) | Add to Reading ListSource URL: pentagon.kappamuepsilon.orgLanguage: English - Date: 2011-03-29 23:34:19
|
---|
8![](https://www.pdfsearch.io/img/af22473cf1ac95b99d45a27d74d640b9.jpg) | Add to Reading ListSource URL: www.firstpr.com.auLanguage: English - Date: 2012-03-14 05:33:29
|
---|
9![](https://www.pdfsearch.io/img/40bfd9a051a79ba37bfe7c86aab840f6.jpg) | Add to Reading ListSource URL: www.dtc.umn.eduLanguage: English - Date: 1998-04-13 22:11:48
|
---|
10![](https://www.pdfsearch.io/img/8246f917511aff068ba3f12ad6c37f32.jpg) | Add to Reading ListSource URL: invention.smithsonian.orgLanguage: English - Date: 2006-01-12 14:09:59
|
---|