Computational mathematics

Maths for Programmers: Introduction (What Is Discrete Mathematics?)

Transcript: In this video, I will be explaining what Discrete Mathematics is, and why it's important for the field of Computer Science and Programming. Discrete Mathematics is a branch of mathematics that deals with discrete or finite sets of elements rather than continuous or infinite s

From playlist Maths for Programmers

Computational Linguistics, by Lucas Freitas

As computers become more and more present in our lives, making our interactions with them more intuitive and natural is essential. Computational linguistics refers to the field of computer science that uses computer science to do interesting things with natural language. Examples of large

From playlist CS50 Seminars 2013

SketchySVD - Joel Tropp, California Institute of Technology

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Algorithms Explained: Computational Complexity

An overview of computational complexity including the basics of big O notation and common time complexities with examples of each. Understanding computational complexity is vital to understanding algorithms and why certain constructions or implementations are better than others. Even if y

From playlist Algorithms Explained

Introduction to Computational Linguistics

http://users.umiacs.umd.edu/~jbg/teaching/CMSC_723/

From playlist Computational Linguistics I

What is Quantum Machine Learning?

Generative machine learning is the field of ML that focuses on generating data. If you've seen any of the realistic-looking faces on pages such as www.thispersondoesnotexist.com or www.whichfaceisreal.com, you've seen generative machine learning in action. Quantum computing is a rapidly ad

From playlist Fundamentals of Machine Learning

Lower Bound on Complexity - Intro to Algorithms

This video is part of an online course, Intro to Algorithms. Check out the course here: https://www.udacity.com/course/cs215.

From playlist Introduction to Algorithms

The mother of all representer theorems for inverse problems & machine learning - Michael Unser

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Talkrunde: Formalisierung der Mathematik - Wann führen Computer die Beweise?

Im Rahmen der 5. Bonner Mathenacht am 29.04.2022,, organisiert vom Hausdorff Center for Mathematics, fand eine Talkrunde zum Thema "Formalisierung der Mathematik - Wann führen Computer die Beweise?" statt. Teilnehmer*innen waren: Prof. Dr. Erika Abraham (RWTH Aachen), Prof. Dr. Peter Koep

From playlist Hausdorff Center goes public

Analysis with Mathematica

In this presentation, you'll hear from University of Warsaw professors sharing their experience teaching an analysis course using Mathematica. The presenters give examples of problems where Mathematica can be used effectively as an aid in solving mathematical problems, or at least to inspi

From playlist Wolfram Technology Conference 2020

Abel Prize award ceremony 2021

The ceremony honours both the 2020-winners, Hillel Furstenberg and Gregory Margulis, and the 2021-winners, Avi Wigderson and László́ Lovász. 0:30 Haddy N'jie sings Feeling Good 3:18 Welcome by Master of ceremonies, Haddy N'jie 4:46 On the nomination process and the work of the Abel Prize

From playlist Gregory Margulis

Machine Learning

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Machine Learning

After Math: Reasoning, Proving, and Computing in the Postwar United States - Stephanie Dick

More videos on http://video.ias.edu

From playlist Historical Studies

History of Science Panel

Vidéo réalisée avec le soutien du projet AAMOT de l’ERC

From playlist Mathematics is a long conversation: a celebration of Barry Mazur

Wolfram Science Initiatives Update (September 15, 2022)

Join Stephen Wolfram as he discusses updates on the Physics Project, the Ruliad, Multicomputation, and Metamathematics! If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfr

From playlist Science and Research Livestreams

IMS Public Lecture : Waking Up from Leibniz' Dream: On the Unmechanizability of Truth

Denis Hirschfeldt, The University of Chicago, USA

From playlist Public Lectures

The Abel Prize announcement 2021 - Avi Wigderson and László Lovász

0:49 The Abel Prize announced by Hans Petter Graver, President of The Norwegian Academy of Science and Letters 1:38 Citation by Hans Munthe-Kaas, Chair of the Abel committee 10:22 Popular presentation of the prize winners work by Alex Bellos, British writer, and science communicator 17:43

From playlist The Abel Prize announcements

Practice 5 - Using Mathematics and Computational Thinking

Science and Engineering Practice 5: Using Mathematics and Computational Thinking Paul Andersen explains how mathematics and computational thinking can be used by scientists to represent variables and by engineers to improve design. He starts by explaining how mathematics is at the root

From playlist Next Generation Science Standards

Formal Definition of a Function using the Cartesian Product

Learning Objectives: In this video we give a formal definition of a function, one of the most foundation concepts in mathematics. We build this definition out of set theory. **************************************************** YOUR TURN! Learning math requires more than just watching vid

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

IMS Public Lecture: Logic and Computation

Ted Slaman, University of California, Berkeley, USA

From playlist Public Lectures