Title	GrÃ¶bner bases and applications
Creator	Kauers, Manuel
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2018-08-30T09:04
Description	At a Dagstuhl meeting a few years ago, I gave a tutorial lecture about Groebner bases whose emphasis was on their defining properties and the classical algorithms for computing them. In this year's tutorial, I will focus more on what we can do with Groebner bases and polynomial ideal theory. The plan is to cover some of the standard situations in which Groebner bases are helpful, as well as some recent joint work with Armin Biere and Daniela Ritirc on using Groebner bases for circuit verification.
Extent	66.0
Subject	Mathematics; Computer science; Mathematical logic and foundations; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Johannes Kepler University
Series	BIRS Workshop Lecture Videos (Oaxaca de Juárez (Mexico))
Date Available	2019-04-04
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0377791
URI	http://hdl.handle.net/2429/69443
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos