PrimeGrid’s The Riesel Problem On 21 Nov 2010, 11:14:00 UTC, PrimeGrid’s The Riesel Problem project eliminated k=by finding the Mega prime: 191249*2^The prime is 1,028,835 digits long and enters Chri

Source URL: www.primegrid.com

• Numbers
• Riesel Sieve
• PrimeGrid
• Riesel number
• LLR
• Megaprime
• Primality test
• Lucas–Lehmer–Riesel test
• Twin Prime Search
• Prime numbers
• Mathematics
• Number theory

PrimeGrid’s The Riesel Problem On 4 October 2014, 22:32:24 UTC, PrimeGrid’s The Riesel Problem project eliminated k=by finding the mega prime: 502573*The prime is 2,162,000 digits long and will ente

Source URL: www.primegrid.com

• Numbers
• Riesel Sieve
• PrimeGrid
• Riesel number
• LLR
• Megaprime
• Primality test
• Twin Prime Search
• Lucas–Lehmer–Riesel test
• Prime numbers
• Mathematics
• Number theory

Optimization of Primality Testing Methods by GPU Evolutionary Search Steve Worley∗ Worley Laboratories Abstract Modern fast primality testing uses a combination of Strong Probable Prime (SPRP) rejection tests. We find

Source URL: www.gpgpgpu.com

• Number theory
• Prime number
• Lucas–Lehmer primality test
• CUDA
• Probable prime
• RSA
• Trial division
• Miller–Rabin primality test
• Primality certificate
• Primality tests
• Mathematics
• Cryptography

Lehmer の 5 次多項式 Lehmer の 5 次多項式に関する問題 5 次巡回拡大体とその分岐 5 次巡回体の標準型 問題の解決に向けて Lehmer の 5 次多項式に関するいくつかの問題

Source URL: matha.e-one.uec.ac.jp

A short history of small machines L. De Mol and M. Bullynck A short history of small machines “This operation is so simple that it becomes laborious to apply” (Lehmer,

Source URL: logica.ugent.be

• Abstraction
• Axiology
• Logic
• Philosophy of mathematics
• Alan Turing
• Mathematical logic
• Function
• Computer
• Mathematics
• Science
• British people

Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1

Source URL: logica.ugent.be

• Wolfram Research
• Theoretical computer science
• Formal methods
• University of Pennsylvania
• ENIAC
• Derrick Henry Lehmer
• Mandelbrot set
• A New Kind of Science
• Computer science
• Mathematics
• Science
• Computing

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

Source URL: logica.ugent.be

• Derrick Henry Lehmer
• Computer music
• Algorithm
• Computer science
• Computer
• Computing
• Mathematical proof
• Human–computer interaction
• ENIAC
• Mathematics
• Philosophy of mathematics
• Mathematical logic

arXiv:1008.1274v1 [math.NT] 6 Aug[removed]ON DIVISORS OF LUCAS AND LEHMER NUMBERS C.L. STEWART Abstract. Let un be the n-th term of a Lucas sequence or a Lehmer sequence. In this article we shall establish an estimate from

Source URL: arxiv.org

• Conjectures
• Transcendental numbers
• Field theory
• Algebraic number theory
• Riemann hypothesis
• Prime number
• Algebraic integer
• Abc conjecture
• P-adic number
• Mathematics
• Abstract algebra
• Number theory

Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Exploring approaches to discriminating among near-synonyms Mary Gardiner Centre for Language Technology Macquarie University

Source URL: www.alta.asn.au

• Information theory
• Mathematics
• Knowledge representation
• WordNet
• Natural language processing
• Mutual information
• Entropy
• Lucas–Lehmer primality test
• Function
• Linguistics
• Computational linguistics
• Science

T:JFIJOC-03IJOC0251-FIN.DVI

Source URL: www.math.sci.hiroshima-u.ac.jp

• XTR
• Mathematics
• Applied mathematics
• Lehmer random number generator
• Pseudorandom number generators
• Finite fields
• Mersenne twister