Mathématiques

1926 tuit · page 29/49

Sciences formelles & physiques Mathématiques

Normal forms of proofs in natural deduction II: complexity

Helmut Schwichtenberg

19 novembre 2022 108 min

★ ★ ★ ★ ☆ 4/5

LogiqueDéduction NaturelleComplexité

Sciences formelles & physiques Mathématiques

But what is a convolution?

3Blue1Brown (Grant Sanderson)

18 novembre 2022 23 min

★ ★ ★ ★ ★ 5/5

ConvolutionProbabilitésTraitement D'image

Sciences formelles & physiques Mathématiques

Normal forms of proofs in natural deduction I: existence and uniqueness

Helmut Schwichtenberg

12 novembre 2022 113 min

★ ★ ★ ★ ★ 5/5

Théorie De La PreuveDéduction NaturelleFormes Normales

Sciences formelles & physiques Mathématiques

Researchers thought this was a bug (Borwein integrals)

3Blue1Brown

4 novembre 2022 17 min

★ ★ ★ ★ ★ 5/5

Intégrales De BorweinSincTransformée De Fourier

Sciences formelles & physiques Mathématiques

Qiskit FalllFest CIC-IPN Mexico 2022- Combinatorial optimisation through OpenQAOA

Shao Hen Chiew

20 octobre 2022 51 min

★ ★ ★ ★ ☆ 4/5

QAOAOpenQAOAOptimisation Combinatoire

Sciences formelles & physiques Mathématiques

Introduction to Quadratic Programming

Machine Learning Practice

18 octobre 2022 21 min

★ ★ ★ ★ ☆ 4/5

Quadratic ProgrammingSupport Vector MachinesOptimisation

Sciences humaines, sociales & pensée Mathématiques

History of Mathematical Logic in China: From its beginnings to Tsinghua University

Jan Vrhovski

16 octobre 2022 149 min

★ ★ ★ ★ ☆ 4/5

Logique MathématiqueChineHistoire Intellectuelle

Sciences formelles & physiques Mathématiques

Organisation of the course and brief introduction to Mathematical Epidemiology

Julien Arino

9 octobre 2022 25 min

★ ★ ★ ★ ☆ 4/5

Épidémiologie MathématiqueModèles CompartimentauxCours Universitaire

Sciences formelles & physiques Mathématiques

Introduction to Mathematical Epidemiology: the SIS and Kermack and McKendrick epidemiological models

Julien A

9 octobre 2022 94 min

★ ★ ★ ★ ☆ 4/5

ÉpidémiologieModèles CompartimentauxSIR

Sciences humaines, sociales & pensée Mathématiques

What makes a great math explanation? | SoME2 results

3Blue1Brown

1 octobre 2022 17 min

★ ★ ★ ★ ★ 5/5

VulgarisationPédagogieMathématiques

Sciences formelles & physiques Mathématiques

How to lie using visual proofs

3Blue1Brown

3 juillet 2022 18 min

★ ★ ★ ★ ★ 5/5

PreuvesGéométrieAnalyse

Sciences formelles & physiques Mathématiques

Learning About Quantum States 6: Central Limit Theorems and more for the RSK process on random words

Ryan O'Donnell

1 juin 2022 19 min

★ ★ ★ ★ ☆ 4/5

RSKThéorème Central LimiteÉtats Quantiques

Sciences formelles & physiques Mathématiques

Learning About Quantum States 5: The Robinson--Schensted--Knuth Algorithm

Ryan O'Donnell

31 mai 2022 18 min

★ ★ ★ ★ ☆ 4/5

RSKYoung DiagramQuantum State

Sciences formelles & physiques Mathématiques

Olympiad level counting (Generating functions)

3Blue1Brown

23 mai 2022 34 min

★ ★ ★ ★ ★ 5/5

Fonctions GénératricesNombres ComplexesCombinatoire

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Practicum 03 - Analysis and study of stochastic models in R

Julien Arino

10 mai 2022 73 min

★ ★ ★ ★ ☆ 4/5

Chaînes De MarkovModèles StochastiquesÉpidémiologie

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Practicum 02 - Model analysis, studying large-scale models in R

Julien Arino

10 mai 2022 100 min

★ ★ ★ ★ ☆ 4/5

ÉpidémiologieModélisationR

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Lecture 09 - Some oddities and some recent mathematical models

Julien Arino

5 mai 2022 65 min

★ ★ ★ ★ ☆ 4/5

ÉpidémiologieModélisationMathématiques

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Lecture 07 - Stochastic models

Julien Arino

4 mai 2022 60 min

★ ★ ★ ★ ☆ 4/5

ÉpidémiologieModèles StochastiquesChaînes De Markov

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Practicum 01 - Introduction to R, getting data, solving ODE and fitting

Julien Arino

3 mai 2022 119 min

★ ★ ★ ★ ☆ 4/5

RÉpidémiologieÉquations Différentielles

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Lecture 06 - Stochastic aspects in the spread of epidemics

Julien A

1 mai 2022 61 min

★ ★ ★ ★ ☆ 4/5

ÉpidémiologieStochastiqueModélisation

Sciences formelles & physiques Mathématiques

Mathematical Epidemiology - Lecture 04 - Group models

Julien Arino

29 avril 2022 29 min

★ ★ ★ ★ ☆ 4/5

ÉpidémiologieModèles MathématiquesGroupes

Sciences formelles & physiques Mathématiques

UofM - MATH2740 - Lecture 09 - Part 1 - SVD (an example by hand)

Julien A

28 avril 2022 32 min

★ ★ ★ ★ ☆ 4/5

SVDAlgèbre LinéaireDécomposition en Valeurs Singulières

Sciences formelles & physiques Mathématiques

UofM - MATH2740 - Lecture 07 - Part 1 - Computing and using the QR factorisation

Julien A

28 avril 2022 53 min

★ ★ ★ ★ ☆ 4/5

Factorisation QRGram-SchmidtMoindres Carrés

Sciences formelles & physiques Mathématiques

UofM - MATH2740 - Lecture 06 - Part 2 - QR factorisation (example)

Julien A

28 avril 2022 16 min

★ ★ ★ ★ ☆ 4/5

Gram-SchmidtFactorisation QRAlgèbre Linéaire

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 23 - Part 2 - Markov chains in R

Julien A

28 avril 2022 53 min

★ ★ ★ ★ ☆ 4/5

Chaînes De MarkovRMatrices

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 23 - Part 1- Absorbing Markov chains

Julien A

28 avril 2022 23 min

★ ★ ★ ★ ☆ 4/5

Chaînes De MarkovProcessus StochastiquesMathématiques

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 22 - Regular Markov chains

Julien A

28 avril 2022 69 min

★ ★ ★ ★ ☆ 4/5

Chaînes De MarkovMatrices StochastiquesMatrices Primitives

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 21 - Part 2 - Markov chains

Julien A

28 avril 2022 42 min

★ ★ ★ ★ ☆ 4/5

Chaînes De MarkovProcessus StochastiquesMatrice De Transition

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 21 - Part 1 - Graph theory (Air transport in MB)

Julien A

28 avril 2022 34 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesAnalyse De RéseauxR

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 20 - Graph theory (Air transport in MB)

Julien A

28 avril 2022 68 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesRéseauxTransport Aérien

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 18 - Graph theory (Graph measures 2)

Julien A

28 avril 2022 62 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesMesures De GraphesDensité

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 17 - Part 2 - Graph theory (Graph measures 1)

Julien A

28 avril 2022 30 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesDistance GéodésiqueExcentricité

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 17 - Part 1 - Graph theory (Introduction to RMarkdown)

Julien A

28 avril 2022 34 min

★ ★ ★ ★ ☆ 4/5

RMarkdownRThéorie Des Graphes

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 16 - Part 2 - Graph theory (computer example)

Julien A

28 avril 2022 23 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesConnectivitéR

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 16 - Part 1 - Graph theory (associated matrices)

Julien A

28 avril 2022 49 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesMatricesAlgèbre Linéaire

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 14 - Part 2 - Graph theory (Spanning trees - igraph)

Julien A

28 avril 2022 10 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesArbres CouvrantsIgraph

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 14 - Part 1 - Graph theory (Cycles, spanning trees)

Julien A

28 avril 2022 62 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesCyclesArbres

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 13 - Part 2 - Graph theory (Introduction to igraph)

Julien A

28 avril 2022 20 min

★ ★ ★ ★ ☆ 4/5

IgraphRThéorie Des Graphes

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 13 - Part 1 - Graph theory (Introduction)

Julien A

28 avril 2022 56 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GraphesGraphes OrientésDéfinitions

Sciences formelles & physiques Mathématiques

UofM - MATH 2740 - Lecture 12 - Part 1 - PCA (computer example 2)

Julien A

28 avril 2022 33 min

★ ★ ★ ★ ☆ 4/5

ACPRStatistiques