Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:


Supercomputing for a superproblem: A computational journey into pure mathematics

World famous mathematician publishes his findings as a University of Leicester research report

A world-famous mathematician responsible for solving one of the subject's most challenging problems has published his latest work as a University of Leicester research report.

This follows the visit that famed mathematician Yuri Matiyasevich made to the Department of Mathematics where he talked about his pioneering work. He visited UK by invitation of the Isaac Newton Institute for Mathematical Sciences.

In 1900, twenty-three unsolved mathematical problems, known as Hilbert's Problems, were compiled as a definitive list by mathematician David Hilbert.

A century later, the seven most important unsolved mathematical problems to date, known as the 'Millennium Problems', were listed by the Clay Mathematics Institute. Solving one of these Millennium Problems has a reward of US $1,000,000, and so far only one has been resolved, namely the famous Poincare Conjecture, which only recently was verified by G. Perelman.

Yuri Matiyasevich found a negative solution to one of Hilbert's problems. Now, he's working on the more challenging of maths problems - and the only one that appears on both lists - Riemann's zeta function hypothesis.

In his presentation at the University, Matiyasevich discussed Riemann's hypothesis, a conjecture so important and so difficult to prove that even Hilbert himself commented: "If I were to awaken after having slept for a thousand years, my first question would be: has the Riemann hypothesis been proven?"

Professor Alexander Gorban, from the University of Leicester, said: "His visit was a great event for our mathematics and computer science departments.

"Matiyasevich has now published a paper through the University that regards the zeros of Riemann Zeta Function (RZF). This is a mathematical function which has been studied for over a hundred years.

"The goal of this paper is to present numerical evidence for a new method for revealing all divisors of all natural numbers from the zeroes of the RZF. This approach required supercomputing power.

"There is previous evidence of famous pure mathematical problems using massive computations. Unfortunately, the Riemann hypothesis is not reduced to a finite problem and, therefore, the computations can disprove but cannot prove it. Computations here provide the tools for guessing and disproving the guesses only."

The paper on how supercomputers have helped the mathematicians to travel into the world of the Riemann hypothesis is now available online, together with the presentation of the Matiyasevich talk, at:

Images of Yuri Matiyasevich available from

Peter Thorley | EurekAlert!
Further information:

More articles from Information Technology:

nachricht Green Light for Galaxy Europe
15.03.2018 | Albert-Ludwigs-Universität Freiburg im Breisgau

nachricht Tokyo Tech's six-legged robots get closer to nature
12.03.2018 | Tokyo Institute of Technology

All articles from Information Technology >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Locomotion control with photopigments

Researchers from Göttingen University discover additional function of opsins

Animal photoreceptors capture light with photopigments. Researchers from the University of Göttingen have now discovered that these photopigments fulfill an...

Im Focus: Surveying the Arctic: Tracking down carbon particles

Researchers embark on aerial campaign over Northeast Greenland

On 15 March, the AWI research aeroplane Polar 5 will depart for Greenland. Concentrating on the furthest northeast region of the island, an international team...

Im Focus: Unique Insights into the Antarctic Ice Shelf System

Data collected on ocean-ice interactions in the little-researched regions of the far south

The world’s second-largest ice shelf was the destination for a Polarstern expedition that ended in Punta Arenas, Chile on 14th March 2018. Oceanographers from...

Im Focus: ILA 2018: Laser alternative to hexavalent chromium coating

At the 2018 ILA Berlin Air Show from April 25–29, the Fraunhofer Institute for Laser Technology ILT is showcasing extreme high-speed Laser Material Deposition (EHLA): A video documents how for metal components that are highly loaded, EHLA has already proved itself as an alternative to hard chrome plating, which is now allowed only under special conditions.

When the EU restricted the use of hexavalent chromium compounds to special applications requiring authorization, the move prompted a rethink in the surface...

Im Focus: Radar for navigation support from autonomous flying drones

At the ILA Berlin, hall 4, booth 202, Fraunhofer FHR will present two radar sensors for navigation support of drones. The sensors are valuable components in the implementation of autonomous flying drones: they function as obstacle detectors to prevent collisions. Radar sensors also operate reliably in restricted visibility, e.g. in foggy or dusty conditions. Due to their ability to measure distances with high precision, the radar sensors can also be used as altimeters when other sources of information such as barometers or GPS are not available or cannot operate optimally.

Drones play an increasingly important role in the area of logistics and services. Well-known logistic companies place great hope in these compact, aerial...

All Focus news of the innovation-report >>>



Industry & Economy
Event News

Ultrafast Wireless and Chip Design at the DATE Conference in Dresden

16.03.2018 | Event News

International Tinnitus Conference of the Tinnitus Research Initiative in Regensburg

13.03.2018 | Event News

International Virtual Reality Conference “IEEE VR 2018” comes to Reutlingen, Germany

08.03.2018 | Event News

Latest News

Wandering greenhouse gas

16.03.2018 | Earth Sciences

'Frequency combs' ID chemicals within the mid-infrared spectral region

16.03.2018 | Physics and Astronomy

Biologists unravel another mystery of what makes DNA go 'loopy'

16.03.2018 | Life Sciences

Science & Research
Overview of more VideoLinks >>>