Automated Economic Reasoning with Quantifier Elimination
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceCovers automated reasoning for economics problems using quantifier elimination. Teaches symbolic methods for solving economic models automatically.
What you'll learn
A 57-minute video from Microsoft Research: “Automated Economic Reasoning with Quantifier Elimination”.
Video by Microsoft Research, played through YouTube's embedded player.