2006 | OriginalPaper | Buchkapitel
New Domains for Applied Quantifier Elimination
verfasst von : Thomas Sturm
Erschienen in: Computer Algebra in Scientific Computing
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We address various aspects of our computer algebra-based computer logic system
redlog
. There are numerous examples in the literature for successful applications of
redlog
to practical problems. This includes work by the group around the
redlog
developers as well as by many others.
redlog
is, however, not at all restricted to the real numbers but comprises a variety of other domains. We particularly point at the immense potential of quantifier elimination techniques for the integers. We also address another new
redlog
domain, which is queues over arbitrary basic domains. Both have most promising applications in practical computer science, viz. automatic loop parallelization and software security.