Catalans Vermutung (beendet)

Aus Rechenkraft
Wechseln zu: Navigation, Suche
Logo

Catalan's Vermutung besagt, dass 32-23=1 die einzige ganzzahlige Lösung der Gleichung xu-yv=1 mit x,u,y,v>1 ist. Über 150 Jahre war dies weder bewiesen noch widerlegt, daher versuchte dieses Projekt, auch andere Lösungen der Gleichung zu finden. 2002 bewies der Mathematiker Preda Mihailescu die Vermutung, veröffentlicht wurde der Beweis 2004 im Journal für die reine und angewandte Mathematik 572.


Inhalt

Projektübersicht

InfoIcon.png Catalans Vermutung
Name Catalans Vermutung
Kategorie Mathematik
Ziel Lösen der Gleichung xu-yv=1
Kommerziell   nein
Homepage offline, hier archive.org Link


Es ist uns leider nicht bekannt, wo auf der Welt dieses Projekt zu Hause ist.

Projektstatus

InfoIcon.png Projektstatus
Status   beendet
Beginn unbekannt
Ende unbekannt

Projektlinks

Clientprogramm

Betriebssysteme

Icon windows 16.png   Windows Checkbox 0.gif  
Icon linux 16.png   Linux Checkbox 1.gif  
Icon dos 16.png   DOS Checkbox 0.gif  


Icon freebsd 16.png   BSD Checkbox 0.gif  
Icon solaris 16.png   Solaris Checkbox 0.gif  
Icon java 16.png   Java (betriebssystemunabhängig)  Checkbox 0.gif  

Client-Eigenschaften

Funktioniert auch über Proxy Checkbox 1.gif
Normal ausführbares Programm Checkbox 1.gif
Als Bildschirmschoner benutzbar Checkbox 0.gif
Kommandozeilenversion verfügbar Checkbox 0.gif
Personal Proxy für Work units erhältlich   Checkbox 0.gif
Work units auch per Mail austauschbar Checkbox 0.gif
Quellcode verfügbar Checkbox 0.gif
Auch offline nutzbar Checkbox 0.gif
Checkpoints Checkbox 1.gif

Meldungen


Eigene Werkzeuge