Parametric Groebner basis computations and elimination
1 hour 3 mins,
116.95 MB,
MP3
44100 Hz,
253.45 kbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Kapur, D
Thursday 27th July 2017 - 11:00 to 12:00 |
|---|
| Created: | 2017-08-25 15:56 |
|---|---|
| Collection: | Big proof |
| Publisher: | Isaac Newton Institute |
| Copyright: | Kapur, D |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | Parametric Groebner basis and systems were proposed in 1990's independently by Weispfenning and Kapur to study solutions of parametric polynomials for various specializations of parameters. Kapur's motivation for studying them arose from the application of geometry theorem proving and model based image analysis. Recently there is interest in using these structures for developing heuristics that first consider equalities over the complex field in a formula expressed using ordering relation with an objective of developing an incomplete method for solving problems formulated in the theory of real closed field. It is hoped this incomplete approach can handle a larger class of problems in practice than the cylinderical algebraic decomposition method by Collins and his collaborators. We will give an overview of algorithms for computing parametric Groebner basis and system developed in collaboration with Profs. Sun and Wang of the Academy of Mathematics and System Science of the Chinese Academy of Sciences. An existence proof of a canonical comprehensive Groebner basis associated a parametric ideal will be presented. However, an algorithm to compute this object is still elusive. Some open problems in this topic will be discussed. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 1.93 Mbits/sec | 915.20 MB | View | Download | |
| WebM | 640x360 | 755.07 kbits/sec | 348.41 MB | View | Download | |
| iPod Video | 480x270 | 496.77 kbits/sec | 229.22 MB | View | Download | |
| MP3 * | 44100 Hz | 253.45 kbits/sec | 116.95 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||