Computer-assisted mathematical proofs
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
SMSM2026LU001
Main participants
České vysoké učení technické v Praze / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
MSMT-6303/2026-24
Alternative language
Project name in Czech
Matematické důkazy s použitím výpočetní techniky
Annotation in Czech
Cílem tohoto projektu je vytvořit nové metody pro hledání matematických důkazů s pomocí počítače. Hlavním matematickým tématem je porozumění vlastnostem obrovských sítí, které můžeme nalézt v mnoha situacích dnešního života - např. interakce mezi proteiny uvnitř buňky, schéma propojení mezi směrovači na internetu, či vzájemná interakce uživatelů na sociálních sítích. Obrovské sitě hrají též klíčovou roli při studiu základních otázek v čisté matematice. Hlavní část tohoto projektu se soustředí na návrh nových technik, jak lze využít počítače k hledání matematických důkazů. Jedna z výhod takovýchto důkazů je možnost vytvářet důkazy, jež jsou řádově delší, než je schopen vytvořit člověk, např. zmiňme popisy řešení semidefinitních programů relaxující otázky extremální kombinatoriky, které mají desítky či stovky megabytů. Nově vyvinuté techniky poté budou aplikovány na světově známé otevřené problémy v kombinatorice, geometrii a teorii čísel.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BA - General mathematics<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Solution timeline
Realization period - beginning
Mar 1, 2026
Realization period - end
Jun 30, 2029
Project status
Z - Beginning multi-year project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP26-MSM-LU-R
Data delivery date
Apr 24, 2026
Finance
Total approved costs
8,442 thou. CZK
Public financial support
8,442 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK