The Prime Pages: Marcel Martin's Primo (was Titanix and Certifix)

Marcel Martin's Primo (was Titanix and Certifix)
(Another of the Prime Pages' resources)

A titan, as defined by Samuel Yates, is anyone who has found a titanic prime. This page provides data on those that have found these primes. The data below only reflect on the primes currently on the list. (Many of the terms that are used here are explained on another page.)

Proof-code(s):	F2, x1, x25, p40, p87 ... ... CH6, x33, x36, x38, x39
Active wild codes:	^c\d+
Code prefix:	c
E-mail address:	znz@freesurf.fr
Web page:	http://www.ellipsa.net/
Username:	Primo	(entry created on 08/25/2000)
Database id:	46	(entry last modified on 05/27/2009)
Program Does *:	general
Active primes:	on current list: 315, rank by number 6
Total primes:	number ever on any list: 1006
Production score:	for current list 39 (normalized: 0), total 41.8113, rank by score 23
Largest prime:	11964176160 · (87 · 2²⁴⁵⁸²+2579) · (87 · 2²⁴⁵⁸²+1289) · (16369#+44651) · ((32 · 10⁶⁹⁵⁹-23)/99) · ((75 · 10⁶²⁴⁹-57)/99) · (4811 · 2²⁰²¹⁹-3737) · (4811 · 2²⁰²¹⁹-7475) · (14009#-23899) · ((10⁵⁸⁶⁷-1)/9+6 · 10²⁹³³) · (1898¹⁰⁴¹+1041¹⁸⁹⁸) · (3597!₂+2) · (1723¹⁷¹⁶+1716¹⁷²³) · (2¹¹²⁷⁶⁰+7)-1 ‏(‎110011 digits) via code p175 on 06/23/2005
Most recent:	primV(29657) ‏(‎6057 digits) via code c11 on 11/14/2009
Entrance Rank:	mean 36007.33 (minimum 10116, maximum 75813)

Descriptive Data: (report abuse)

Marcel Martin's Titanix (Fall 2000), and its current incarnation Primo (Fall 2001), are programs that will test numbers that are not of any special form. This is far more difficult (and slower) than doing so for primes n with special forms (e.g., those where n+1 factors nicely). Martins progam has been used to find most of the "general primes" with record size.

Martin writes "Primo is a primality proving program based on the ECPP algorithm: Elliptic Curve Primality Proving. Given positive odd integers, Primo tests whether these integers are prime, and if they are it produces primality certificates. Primo is suitable for the checking of crypto-primes and to prove whether they are actually prime... or not."

Check out his web pages for more information.

I administer Marcel Martin's Primo (was Titanix and Certifix) and I would like to

Surname: Primo (used for alphabetizing and in codes)
Unverified primes are omitted from counts and lists until verification completed.