ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,469,483 results

Lex Clips
How to learn Lean programming language | Terence Tao and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...

4:27
How to learn Lean programming language | Terence Tao and Lex Fridman

27,970 views

1 year ago

Krell Institute
DOE CSGF 2016: JuMP -- A Modeling Language for Mathematical Optimization

View more information on the DOE CSGF Program at http://www.krellinst.org/csgf JuMP is an open-source software package in ...

18:16
DOE CSGF 2016: JuMP -- A Modeling Language for Mathematical Optimization

1,117 views

9 years ago

Alex Kontorovich
How Mathematicians can Get Started with Lean

Instructions from the video: Step 1: Open a free account on https://github.com/ Step 2: Google "Mathlib4" or navigate to ...

31:47
How Mathematicians can Get Started with Lean

20,220 views

1 year ago

Lex Clips
Mathematical Programming With AMPL | Brian Kernighan and Lex Fridman

Full episode with Brian Kernighan (Jul 2020): https://www.youtube.com/watch?v=O9upVbGSBFo Clips channel (Lex Clips): ...

7:53
Mathematical Programming With AMPL | Brian Kernighan and Lex Fridman

8,575 views

5 years ago

Harvard CMSA
Christian Szegedy | Language modeling for Mathematical Reasoning

1/20/2021 New Technologies in Math Seminar Speaker: Christian Szegedy, Google Research Title: Language modeling for ...

51:24
Christian Szegedy | Language modeling for Mathematical Reasoning

1,182 views

5 years ago

Ridvan Gedik
Modeling Mathematical Models in Excel Solver Part 1

In this video we are going to understand how we can actually um model new programming models in ms excel solver in which we ...

7:26
Modeling Mathematical Models in Excel Solver Part 1

1,175 views

5 years ago

Aaron Gray
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...

47:15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

509 views

11 months ago

Dr. Trefor Bazett
Intro to Linear Programming

This optimization technique is so cool!! Get Maple Learn ▻https://www.maplesoft.com/products/learn/?p=TC-9857 Get the free ...

14:23
Intro to Linear Programming

320,657 views

5 years ago

Fireship
10 Math Concepts for Programmers

Learn 10 essential math concepts for software engineering and technical interviews. Understand how programmers use ...

9:32
10 Math Concepts for Programmers

2,252,732 views

3 years ago

Gamma-Opt
MS-E2121 - Linear Optimization - Lecture 1.2

Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...

40:31
MS-E2121 - Linear Optimization - Lecture 1.2

441 views

5 years ago

Turing
Mathematics of LLMs in Everyday Language

Explore science like never before - accessible, thrilling, and packed with awe-inspiring moments. Fuel your curiosity with 100s of ...

1:06:17
Mathematics of LLMs in Everyday Language

198,519 views

11 months ago

PIFOP
Math Programming IDE for Academics - Optimization in the Web with PIFOP

Meet PIFOP: a mathematical programming IDE that will make your life as an optimization teacher, student or researcher much ...

2:17
Math Programming IDE for Academics - Optimization in the Web with PIFOP

305 views

3 years ago

Eyesomorphic
Programming with Math | The Lambda Calculus

The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...

21:48
Programming with Math | The Lambda Calculus

415,839 views

2 years ago

Daryl Ono
Mathematical Programming - Introduction & Demonstration

This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.

59:36
Mathematical Programming - Introduction & Demonstration

353 views

4 years ago

Super Data Science: ML & AI Podcast with Jon Krohn
Can Mathematical Optimization Be Used for NLP (Natural Language Processing)?

Learn why mathematical optimization should be known to every data scientist. In this episode, @JonKrohnLearns speaks to Jerry ...

2:55
Can Mathematical Optimization Be Used for NLP (Natural Language Processing)?

203 views

2 years ago

The Julia Programming Language
Stochastic Optimization Models on Power Systems | Camila Metello and Joaquim Garcia | JuliaCon 2017

Visit http://julialang.org/ to download Julia. Time Stamps: 00:00 Welcome! 00:10 Help us add time stamps or captions to this video!

35:32
Stochastic Optimization Models on Power Systems | Camila Metello and Joaquim Garcia | JuliaCon 2017

3,833 views

8 years ago

AMPL Optimization
Modeling, not Programming

AMPL Resources: The AMPL Book is available free at https://ampl.com/resources/the-ampl-book/ Get a full trial of AMPL and ...

30:10
Modeling, not Programming

1,217 views

5 years ago

Joma Tech
why you NEED math for programming

Get the JomaClass membership: https://joma.tech/dsa First 100 people get 15% off the yearly subscription with promo code ...

5:03
why you NEED math for programming

9,744,557 views

5 years ago