ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,469,482 results

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

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

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

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

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

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

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

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

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

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,753 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,182 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

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

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

10 years ago

ProNerd
DSUU Tutorial 4 Mathematical Programming Language MPL

Tutorial 4 of the course Decision Support under Uncertainty by Prof. Achim Koberstein and Pavlo Glushko from the European ...

2:07:27
DSUU Tutorial 4 Mathematical Programming Language MPL

518 views

5 years ago