ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

186,775 results

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

401,981 views

1 year ago

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,526 views

6 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

782 views

Streamed 3 weeks 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,176 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

381 views

8 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

436 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,403 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.

465 views

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

103,505 views

2 months 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,450 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,664 views

10 years 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,002 views

9 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,163 views

13 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,198 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

194,004 views

8 months ago

Abel Siqueira
Selling art on the beach - Mathematical Model

Javier is a student that decides to drop out and start selling beaded jewelry at the beach! What happens next is an exercise in ...

23:47
Selling art on the beach - Mathematical Model

464 views

2 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

The Organic Chemistry Tutor
Linear Programming

It explains how to write the objective function and constraints of linear programming word problems. It discusses how to find all of ...

33:20
Linear Programming

1,480,496 views

8 years ago

Thomas Kern
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

Play along at home: https://trkern.itch.io/rosenstein Version with just finite linear orderings (and AI opponent): ...

22:56
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

17,177 views

3 years ago

doggo dot jl
[02x03] Julia; VSCode; Optimization; Knapsack; JuMP; PlotlyJS | 3/13 Julia Analysis for Beginners

... JuMP research paper: JuMP: A Modeling Language for Mathematical Optimization, by Iain Dunning, Joey Huchette, Miles Lubin ...

41:36
[02x03] Julia; VSCode; Optimization; Knapsack; JuMP; PlotlyJS | 3/13 Julia Analysis for Beginners

9,765 views

5 years ago