COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Parametric Groebner basis computations and elimination

## Parametric Groebner basis computations and eliminationAdd to your list(s) Download to your calendar using vCal - Deepak Kapur (University of New Mexico)
- Thursday 27 July 2017, 11:00-12:00
- Seminar Room 2, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPR - Big proof 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. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 2, Newton Institute
- bld31
Note that ex-directory lists are not shown. |
## Other listsClare Hall Lecture: The evolution of Abcam plc - 30 April 2013 80000 Hours Cambridge Chemical Engineering and Biotechnology## Other talksPhenotypic changes induced by stress and developmental reprogramming in plants Plant host-pathogen coevolution and exploring local adaptation of an Arabidopsis thaliana complex Resistance gene locus Prof Chris Rapley (UCL): Polar Climates Neural Networks and Natural Language Processing St Catharine’s Political Economy Seminar - ‘Global Imbalances and Greece's Exit from the Crisis’ by Dimitrios Tsomocos Paracelsus' Chickens - Strange Tales from the History of Chemistry |