Sciences formelles & physiques MathématiquesFRNormal forms of proofs in natural deduction I: existence and uniquenessHelmut Schwichtenberg12 novembre 2022 113 min★ ★ ★ ★ ★ 5/5Théorie De La PreuveDéduction NaturelleFormes Normales
Sciences formelles & physiques MathématiquesFRResearchers thought this was a bug (Borwein integrals)3Blue1Brown4 novembre 2022 17 min★ ★ ★ ★ ★ 5/5Intégrales De BorweinSincTransformée De Fourier
Sciences formelles & physiques MathématiquesFRQiskit FalllFest CIC-IPN Mexico 2022- Combinatorial optimisation through OpenQAOAShao Hen Chiew20 octobre 2022 51 min★ ★ ★ ★ ☆ 4/5QAOAOpenQAOAOptimisation Combinatoire
Sciences formelles & physiques MathématiquesFRIntroduction to Quadratic ProgrammingMachine Learning Practice18 octobre 2022 21 min★ ★ ★ ★ ☆ 4/5Quadratic ProgrammingSupport Vector MachinesOptimisation
Sciences humaines, sociales & pensée MathématiquesFRHistory of Mathematical Logic in China: From its beginnings to Tsinghua UniversityJan Vrhovski16 octobre 2022 149 min★ ★ ★ ★ ☆ 4/5Logique MathématiqueChineHistoire Intellectuelle
Sciences formelles & physiques MathématiquesFROrganisation of the course and brief introduction to Mathematical EpidemiologyJulien Arino9 octobre 2022 25 min★ ★ ★ ★ ☆ 4/5Épidémiologie MathématiqueModèles CompartimentauxCours Universitaire
Sciences formelles & physiques MathématiquesFRIntroduction to Mathematical Epidemiology: the SIS and Kermack and McKendrick epidemiological modelsJulien A9 octobre 2022 94 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModèles CompartimentauxSIR
Sciences humaines, sociales & pensée MathématiquesFRWhat makes a great math explanation? | SoME2 results3Blue1Brown1 octobre 2022 17 min★ ★ ★ ★ ★ 5/5VulgarisationPédagogieMathématiques
Sciences formelles & physiques MathématiquesFRHow to lie using visual proofs3Blue1Brown3 juillet 2022 18 min★ ★ ★ ★ ★ 5/5PreuvesGéométrieAnalyse
Sciences formelles & physiques MathématiquesFRLearning About Quantum States 6: Central Limit Theorems and more for the RSK process on random wordsRyan O'Donnell1 juin 2022 19 min★ ★ ★ ★ ☆ 4/5RSKThéorème Central LimiteÉtats Quantiques
Sciences formelles & physiques MathématiquesFRLearning About Quantum States 5: The Robinson--Schensted--Knuth AlgorithmRyan O'Donnell31 mai 2022 18 min★ ★ ★ ★ ☆ 4/5RSKYoung DiagramQuantum State
Sciences formelles & physiques MathématiquesFROlympiad level counting (Generating functions)3Blue1Brown23 mai 2022 34 min★ ★ ★ ★ ★ 5/5Fonctions GénératricesNombres ComplexesCombinatoire
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Practicum 03 - Analysis and study of stochastic models in RJulien Arino10 mai 2022 73 min★ ★ ★ ★ ☆ 4/5Chaînes De MarkovModèles StochastiquesÉpidémiologie
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Practicum 02 - Model analysis, studying large-scale models in RJulien Arino10 mai 2022 100 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModélisationR
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Lecture 09 - Some oddities and some recent mathematical modelsJulien Arino5 mai 2022 65 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModélisationMathématiques
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Lecture 07 - Stochastic modelsJulien Arino4 mai 2022 60 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModèles StochastiquesChaînes De Markov
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Practicum 01 - Introduction to R, getting data, solving ODE and fittingJulien Arino3 mai 2022 119 min★ ★ ★ ★ ☆ 4/5RÉpidémiologieÉquations Différentielles
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Lecture 06 - Stochastic aspects in the spread of epidemicsJulien A1 mai 2022 61 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieStochastiqueModélisation
Sciences formelles & physiques MathématiquesFRMathematical Epidemiology - Lecture 04 - Group modelsJulien Arino29 avril 2022 29 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModèles MathématiquesGroupes
Sciences formelles & physiques MathématiquesFRUofM - MATH2740 - Lecture 09 - Part 1 - SVD (an example by hand)Julien A28 avril 2022 32 min★ ★ ★ ★ ☆ 4/5SVDAlgèbre LinéaireDécomposition en Valeurs Singulières
Sciences formelles & physiques MathématiquesFRUofM - MATH2740 - Lecture 07 - Part 1 - Computing and using the QR factorisationJulien A28 avril 2022 53 min★ ★ ★ ★ ☆ 4/5Factorisation QRGram-SchmidtMoindres Carrés
Sciences formelles & physiques MathématiquesFRUofM - MATH2740 - Lecture 06 - Part 2 - QR factorisation (example)Julien A28 avril 2022 16 min★ ★ ★ ★ ☆ 4/5Gram-SchmidtFactorisation QRAlgèbre Linéaire
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 23 - Part 2 - Markov chains in RJulien A28 avril 2022 53 min★ ★ ★ ★ ☆ 4/5Chaînes De MarkovRMatrices
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 23 - Part 1- Absorbing Markov chainsJulien A28 avril 2022 23 min★ ★ ★ ★ ☆ 4/5Chaînes De MarkovProcessus StochastiquesMathématiques
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 22 - Regular Markov chainsJulien A28 avril 2022 69 min★ ★ ★ ★ ☆ 4/5Chaînes De MarkovMatrices StochastiquesMatrices Primitives
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 21 - Part 2 - Markov chainsJulien A28 avril 2022 42 min★ ★ ★ ★ ☆ 4/5Chaînes De MarkovProcessus StochastiquesMatrice De Transition
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 21 - Part 1 - Graph theory (Air transport in MB)Julien A28 avril 2022 34 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesAnalyse De RéseauxR
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 20 - Graph theory (Air transport in MB)Julien A28 avril 2022 68 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesRéseauxTransport Aérien
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 18 - Graph theory (Graph measures 2)Julien A28 avril 2022 62 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesMesures De GraphesDensité
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 17 - Part 2 - Graph theory (Graph measures 1)Julien A28 avril 2022 30 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesDistance GéodésiqueExcentricité
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 17 - Part 1 - Graph theory (Introduction to RMarkdown)Julien A28 avril 2022 34 min★ ★ ★ ★ ☆ 4/5RMarkdownRThéorie Des Graphes
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 16 - Part 2 - Graph theory (computer example)Julien A28 avril 2022 23 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesConnectivitéR
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 16 - Part 1 - Graph theory (associated matrices)Julien A28 avril 2022 49 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesMatricesAlgèbre Linéaire
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 14 - Part 2 - Graph theory (Spanning trees - igraph)Julien A28 avril 2022 10 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesArbres CouvrantsIgraph
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 14 - Part 1 - Graph theory (Cycles, spanning trees)Julien A28 avril 2022 62 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesCyclesArbres
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 13 - Part 2 - Graph theory (Introduction to igraph)Julien A28 avril 2022 20 min★ ★ ★ ★ ☆ 4/5IgraphRThéorie Des Graphes
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 13 - Part 1 - Graph theory (Introduction)Julien A28 avril 2022 56 min★ ★ ★ ★ ☆ 4/5Théorie Des GraphesGraphes OrientésDéfinitions
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 12 - Part 1 - PCA (computer example 2)Julien A28 avril 2022 33 min★ ★ ★ ★ ☆ 4/5ACPRStatistiques
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 11 - Part 3 - PCA (computer example 1)Julien A28 avril 2022 29 min★ ★ ★ ★ ☆ 4/5ACPAnalyse en Composantes PrincipalesR
Sciences formelles & physiques MathématiquesFRUofM - MATH 2740 - Lecture 11 - Part 2 - Examples of change of basisJulien A28 avril 2022 23 min★ ★ ★ ★ ☆ 4/5Algèbre LinéaireChangement De BaseMathématiques
