Seznam matematických důkazů - List of mathematical proofs
Seznam článků s matematické důkazy:
Věty, jejichž články se primárně věnují jejich prokázání
- Bertrandův postulát a důkaz
- Odhad kovariančních matic
- Fermatova malá věta a nějaké důkazy
- Gödelova věta o úplnosti a jeho původní důkaz
- Matematická indukce a důkaz
- Důkaz, že 0,999 ... se rovná 1
- Důkaz, že 22/7 překračuje π
- Důkaz, že e je iracionální
- Důkaz, že π je iracionální
- Důkaz, že součet převrácených hodnot prvočísel se liší
Články věnované teorémům, jejichž důkazem je (náčrt)
- Banachova věta o pevném bodě
- Banach – Tarski paradox
- Basilejský problém
- Bolzano – Weierstrassova věta
- Brouwerova věta o pevném bodě
- Buckinghamova věta (probíhá důkaz)
- Burnsideovo lemma
- Cantorova věta
- Cantor – Bernstein – Schroederova věta
- Cayleyův vzorec
- Cayleyho věta
- Clique problém (dělat)
- Věta o kompaktnosti (velmi kompaktní důkaz)
- Erdős – Ko – Radova věta
- Eulerův vzorec
- Eulerova čtvercová identita
- Eulerova věta
- Věta o pěti barvách
- Pět lemmat
- Základní věta o aritmetice
- Gauss – Markovova věta (krátký ukazatel na důkaz)
- Gödelova věta o neúplnosti
- Gödelova první věta o neúplnosti
- Gödelova druhá věta o neúplnosti
- Goodsteinova věta
- Greenova věta (dělat)
- Greenova věta, když D je jednoduchá oblast
- Heine – Borelova věta
- Věta o střední hodnotě
- Itôovo lemma
- Kőnigovo lemma
- Kőnigova věta (teorie množin)
- Kőnigova věta (teorie grafů)
- Lagrangeova věta (teorie grup)
- Lagrangeova věta (teorie čísel)
- Liouvilleova věta (komplexní analýza)
- Markovova nerovnost (doklad o zevšeobecnění)
- Věta o střední hodnotě
- Vícerozměrné normální rozdělení (dělat)
- Holomorfní funkce jsou analytické
- Pythagorova věta
- Kvadratická rovnice
- Pravidlo kvocientu
- Ramseyova věta
- Rao – Blackwellova věta
- Riceova věta
- Rolleova věta
- Rozdělení lemmatu
- zmáčknout teorém
- Pravidlo součtu v diferenciaci
- Pravidlo součtu v integraci
- Sylowovy věty
- Transcendence E a π (jako důsledek Lindemann – Weierstrass)
- Tychonoffova věta (dělat)
- Lemma ultrafiltru
- Ultraparalelní věta
- Urysohnovo lemma
- Van der Waerdenova věta
- Wilsonova věta
- Zornovo lemma
Články věnované algoritmům, u nichž je prokázána jejich správnost
- Algoritmus Bellman-Ford (dělat)
- Euklidovský algoritmus
- Kruskalův algoritmus
- Algoritmus Gale – Shapley
- Primův algoritmus
- Shorův algoritmus (neúplný)
Články, kde jsou prokázány příklady prohlášení
- Základ (lineární algebra)
- Logika Burrows – Abadi – Needham
- Přímý důkaz
- Generování vektorového prostoru
- Lineární nezávislost
- Polynomiální
- Důkaz
- Čerpací lemma
- Simpsonovo pravidlo
Ostatní články obsahující důkazy
- Dodatek v N
- asociativita sčítání v N
- komutativita sčítání v N
- jedinečnost přidání v N
- Algoritmická teorie informací
- Booleovský prsten
- komutativita logického kruhu
- Booleovský problém uspokojivosti
- NP-úplnost booleovského problému uspokojivosti
- Cantorův diagonální argument
- sada je menší než její sada napájení
- nespočítatelnost reálných čísel
- Cantorův první důkaz nespočetnosti
- nespočítatelnost reálných čísel
- Kombinatorika
- Kombinovaná logika
- Co-NP
- Coset
- Počitatelný
- spočetnost podmnožiny spočetné množiny (k tomu)
- Úhel paralelismu
- Galoisova skupina
- Základní věta o Galoisově teorii (k tomu)
- Gödelovo číslo
- Gödelova věta o neúplnosti
- Skupina (matematika)
- Zastavení problému
- nerozpustnost problému zastavení
- Harmonická řada (matematika)
- divergence (standardní) harmonické řady
- Vysoce složené číslo
- Oblast hyperbolický sektor základ hyperbolický úhel
- Nekonečná série
- konvergence geometrické řady s prvním členem 1 a poměrem 1/2
- Celočíselný oddíl
- Iracionální číslo
- iracionalita logu23
- iracionalita druhé odmocniny 2
- Mezní bod
- Matematická indukce
- souhrnná identita
- Pravidlo moci
- rozdíl Xn
- Pravidla produktu a kvocientu
- Odvození pravidel produktu a kvocientu pro rozlišení.
- prvočíslo
- Nekonečnost prvočísel
- Primitivní rekurzivní funkce
- Princip bivalence
- žádné návrhy nejsou pravdivé ani nepravdivé intuicionistická logika
- Rekurze
- Relační algebra (dělat)
- Řešitelná skupina
- Druhá odmocnina ze 2
- Tetris
- Algebra množin
- idempotentní zákony pro stanovenou unii a křižovatku
Články, které zmiňují závislosti vět
- Cauchyho integrální vzorec
- Cauchyho integrální věta
- Výpočetní geometrie
- Základní věta o algebře
- Lambda kalkul
- Invariance domény
- Minkowského nerovnost
- Nashova věta o vložení
- Věta o otevřeném mapování (funkční analýza)
- Topologie produktu
- Riemannův integrál
- Věta o časové hierarchii
- Věta o deterministické časové hierarchii