ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

21,545 results

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

244 views

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

57,990 views

4 days ago

Digital Marts
Pyomo Tutorial for Beginners | Python Optimization with Real Examples

Learn how to solve real-world optimization problems using Pyomo, the powerful open-source optimization modeling language in ...

6:52
Pyomo Tutorial for Beginners | Python Optimization with Real Examples

665 views

6 months ago

Subject to
Subject to: Susanne Heipcke

Susanne enjoys teaching mathematical optimization, having participated in teaching the mathematical modelling course in the OR ...

1:08:02
Subject to: Susanne Heipcke

204 views

2 months ago

vlogize
Solving Linear Constraints in AMPL: A Guide to Fleet Average Efficiency

... When tackling the intricacies of mathematical programming, especially in AMPL (A Modeling Language for Math Programming), ...

1:35
Solving Linear Constraints in AMPL: A Guide to Fleet Average Efficiency

8 views

10 months ago

HYPOTHALAMUS Ai
HAI - GAMS  - Mathematical Models as a Service

HAI stores all its models using OPTEX, Optimization Expert System, for the development of multi-problem mathematical models, ...

22:00
HAI - GAMS - Mathematical Models as a Service

35 views

4 months ago

Ritwik Raha
Are Language Models lying to us?

Welcome back to another Paper Explanation video on: https://arxiv.org/abs/2504.07096 Try out OLMoTrace here: ...

7:35
Are Language Models lying to us?

191 views

8 months ago

Doulton Wiltshire
Blending Problem in Linear Programming | Chandler Oil Walkthrough

Let's solve the age old question of how much crude oil 1 and crude oil 2 you need to make gas and heating oil, shall we? This is ...

24:12
Blending Problem in Linear Programming | Chandler Oil Walkthrough

247 views

4 months ago

Constraint Programming
Louv31x 2022 s10 ss07 v01 Discrete Optimisation Modelling in MiniZinc

Are you ready to take your constraint programming skills to new heights? Look no further! In our upcoming videos, you'll have the ...

5:46
Louv31x 2022 s10 ss07 v01 Discrete Optimisation Modelling in MiniZinc

16 views

2 weeks ago

Classiq Technologies
Classiq Platform Walkthrough: Scalable Quantum Software Development from Modeling to Execution

Discover how the Classiq Platform enables scalable, hardware-agnostic quantum application development. In this walkthrough ...

4:41
Classiq Platform Walkthrough: Scalable Quantum Software Development from Modeling to Execution

406 views

6 months ago

Solving Optimization Problems
Large Language Models for Optimization

In thid video, I am going to talk about potential of large language models for solving optimization problems. + Matlab/Python codes ...

1:30
Large Language Models for Optimization

103 views

3 months ago

Roberto Rossi
Debugging Infeasible Linear Programming (LP) Models in Rhetor with Gurobi IIS

Is your Linear Programming model returning an "Infeasible" status? In this video, we dive into how to debug infeasible Linear ...

2:30
Debugging Infeasible Linear Programming (LP) Models in Rhetor with Gurobi IIS

102 views

8 days ago

HYPOTHALAMUS Ai
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

The courses DECISION-MAKING ARTIFICIAL INTELLIGENCE, BASIC & ADVANCED GAMS are organized by the Research ...

13:29
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

137 views

7 months ago

Association for Constraint Programming
Ner4Opt: named entity recognition for optimization modelling from natural language

Serdar Kadıoğlu, Parag Pravin Dakle, Karthik Uppuluri, Regina Politi, Preethi Raghavan, SaiKrishna Rallabandi & Ravisutha ...

5:02
Ner4Opt: named entity recognition for optimization modelling from natural language

146 views

10 months ago

Cardanit
Heatmaps for process simulation in Cardanit: visualize performance bottlenecks | Tutorial (SUB)

Learn how to use heatmaps for process simulation in Cardanit to visually analyze your BPMN models. This tutorial demonstrates ...

1:34
Heatmaps for process simulation in Cardanit: visualize performance bottlenecks | Tutorial (SUB)

52 views

10 months ago

HYPOTHALAMUS Ai
HAI - TSO - Mathematical Programming in Aviation Industry

Hypothalamus Artificial Intelligence Inc. and GAMS, General Algebraic Modeling Systems Inc.) Present Mathematical ...

24:50
HAI - TSO - Mathematical Programming in Aviation Industry

11 views

6 months ago

Prof. Giordano Scarciotti
Optimization Masterclass - Hands-on: How to Solve Convex Optimization Problems in CVXPY Ep6

This tutorial is ideal for those who want to learn how to implement optimization models in code and understand how CVXPY ...

54:00
Optimization Masterclass - Hands-on: How to Solve Convex Optimization Problems in CVXPY Ep6

1,067 views

8 months ago

HYPOTHALAMUS Ai
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

The courses DECISION-MAKING ARTIFICIAL INTELLIGENCE, BASIC & ADVANCED GAMS are organized by the Research ...

13:27
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

179 views

7 months ago

HYPOTHALAMUS Ai
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

The courses DECISION-MAKING ARTIFICIAL INTELLIGENCE, BASIC & ADVANCED GAMS are organized by the Research ...

13:35
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

18 views

7 months ago

HYPOTHALAMUS Ai
RCADT - Benders Decomposition Using Graph Modeling and Multi-Parametric Programming

Benders Decomposition Using Graph Modeling and Multi-Parametric Programming Benders Decomposition, BD, is a widely used ...

21:33
RCADT - Benders Decomposition Using Graph Modeling and Multi-Parametric Programming

9 views

3 weeks ago