ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

189,599 results

Larry Snyder
AMPL Tutorial

A tutorial on the algebraic modeling language AMPL, which is used for mathematical optimization. The tutorial assumes you have ...

53:56
AMPL Tutorial

42,512 views

6 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,175 views

5 years ago

Optimization4All
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

In this hands-on session, we'll explore the art of mathematical optimization modeling through a practical worker-task scheduling ...

1:53:49
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

573 views

Streamed 2 weeks 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

400,917 views

1 year 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

374 views

7 months 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

435 views

5 years ago

INFORMS Student Chapter - UT Austin
Optimization in Python: Pyomo and Gurobipy Workshop - Brent Austgen - UT Austin INFORMS

Join UT INFORMS student chapter officer Brent Austgen for a tutorial in implementing math models with pyomo and gurobipy.

1:11:46
Optimization in Python: Pyomo and Gurobipy Workshop - Brent Austgen - UT Austin INFORMS

47,359 views

5 years ago

IEOR@IITB
Lecture 12: Modeling Piecewise Linear Functions, by Sven Leyffer.

GIAN course on Advances in Mixed-Integer Nonlinear Optimization conducted by Sven Leyffer, Pietro Belotti and Ashutosh ...

34:38
Lecture 12: Modeling Piecewise Linear Functions, by Sven Leyffer.

461 views

1 year 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,198 views

5 years ago

Gurobi Optimization
Build optimization models and turn them into full featured applications with Gurobi and Anaconda

Developers of optimization and prescriptive analytics models often feel that they need to choose between the ease of a modeling ...

53:17
Build optimization models and turn them into full featured applications with Gurobi and Anaconda

19,660 views

10 years ago

Alberto Costa
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

First part of the online course: Optimization Modelling - Basics of Mathematical Programming in AMPL This course teaches the ...

58:41
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

83 views

1 year ago

Gurobi Optimization
Introduction to Mathematical Optimization with Gurobi Integer Programming

Rodrigo Fuentes from Gurobi Optimization talks about Mathematical Optimization with Gurobi Integer Programming at the IEEE ...

52:22
Introduction to Mathematical Optimization with Gurobi Integer Programming

3,994 views

3 years ago

The Julia Programming Language
Numerical Optimization in Julia | Miles Lubin, Iain Dunning | Julia Tutorial MIT 2013

A number of optimization libraries are already available for Julia. This session focusses largely on linear programming.

26:46
Numerical Optimization in Julia | Miles Lubin, Iain Dunning | Julia Tutorial MIT 2013

7,160 views

13 years ago

Tsoding Daily
I tried Lean and instantly got PhD in Math

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:01:37 - Installing ...

3:15:10
I tried Lean and instantly got PhD in Math

102,657 views

1 month ago

APMonitor.com
Nonlinear Optimization Modeling using JuMP and JuliaOpt

The JuliaOpt organization hosts open-source optimization software in the Julia programming language. JuliaOpt boasts a growing ...

54:49
Nonlinear Optimization Modeling using JuMP and JuliaOpt

5,001 views

9 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

193,723 views

8 months ago

CAPRI Model
Calibration of the Supply module. Positive Mathematical Programming.

This is a part of the CAPRI training session 2021. The complete agenda and course materials can be found here: ...

32:06
Calibration of the Supply module. Positive Mathematical Programming.

486 views

4 years ago

Dr. Maths
Lecture 1: Basics of Mathematical Modeling

In this video. let us understand the terminology and basic concepts of Mathematical Modeling. Link for the complete playlist.

25:44
Lecture 1: Basics of Mathematical Modeling

267,075 views

5 years ago

INFORMS
Solving Bilinear Programming Problems— INFORMS Sponsored Webinar Series Gurobi Optimization

INFORMS Sponsored Webinar Series https://info.informs.org/sponsored-webinar-series.

1:02:58
Solving Bilinear Programming Problems— INFORMS Sponsored Webinar Series Gurobi Optimization

2,657 views

5 years ago

Code Sync
Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods - Moa Johansson |Lambda Days 25

This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ...

53:10
Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods - Moa Johansson |Lambda Days 25

767 views

9 months ago