Applied Math Seminar

Date: 
10/17/2019 - 11:00am to 12:00pm
Location: 
POT 745
Speaker(s) / Presenter(s): 
Yuan Zhou, University of Kentucky
Title: Parameter space analysis and automatic theorem proving in SageMath
Abstract: A metaprogramming trick transforms algebraic programs for testing a property for a given input parameter into programs that compute semialgebraic descriptions of the input parameters for which the property holds. Our implementation of this trick is for the Python-based computer algebra system SageMath. We borrow techniques from global optimization for simplification of semialgebraic sets. We investigate practical representations of proof cells and efficient strategies that lead to shorter proofs. We illustrate it with an application to the theory of integer linear optimization, the automatic discovery and proof of certain cutting plane theorems in integer programming.
Tags/Keywords:
Type of Event (for grouping events):
X
Enter your linkblue username.
Enter your linkblue password.
Secure Login

This login is SSL protected

Loading