YoVDO

New Directions in Cylindrical Algebraic Decomposition

Offered By: Fields Institute via YouTube

Tags

Heuristics Courses Real Algebraic Geometry Courses

Course Description

Overview

Explore new research directions in Cylindrical Algebraic Decomposition (CAD) through this 36-minute lecture by Matthew England from Coventry University, UK. Delve into two key areas of advancement: the development of search-based algorithms utilizing CAD theory for solving non-linear polynomial constraint problems, and the application of machine learning to improve heuristics in CAD computation. Gain insights into how these innovations address the challenge of doubly exponential complexity in CAD, potentially expanding its practical applications. Learn about the integration of CAD with SAT/SMT techniques and discover how machine learning algorithms outperform traditional human-designed heuristics in making critical decisions during CAD computation.

Syllabus

New Directions in Cylindrical Algebraic Decomposition


Taught by

Fields Institute

Related Courses

Certificates of Nonnegativity and Their Applications in Theoretical Computer Science
Society for Industrial and Applied Mathematics via YouTube Hilbert's 16th Problem and O-Minimality - Lecture 1
Fields Institute via YouTube Global Optimization via the Dual SONC Cone and Linear Programming
Fields Institute via YouTube How to Prove a Calculation Correct? - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube Techniques of Resolution of Singularities in Quasianalytic Classes - Lecture 1
Fields Institute via YouTube