Přejít k obsahu


On a method solving some mathematical problems using quantifier elimination

Citace:
HONZÍK, L. On a method solving some mathematical problems using quantifier elimination. In New Challenges in Education. Ružomberok : Verbum, 2013, s. 70-86. ISBN: 978-80-561-0065-3
Druh: KAPITOLA V KNIZE
Jazyk publikace: eng
Anglický název: On a method solving some mathematical problems using quantifier elimination
Rok vydání: 2013
Místo konání: Ružomberok
Název zdroje: Verbum
Autoři: Mgr. Lukáš Honzík Ph.D. ,
Abstrakt EN: Quantifier elimination over real fields is a discipline connected with mathematics, logic and computer science. Using so called cylindrical algebraic decomposition allows to simplify mathematical formulas with quantifiers into quantifier-free formulas. Since this is quite complex problem, programs of computer algebra (such as Mathematica by Wolfram Research) are very helpful. Many mathematical problems (for example equations and inequations) can be transformed into quantified formulas and the elimination is a way to solve them or find out if they are solvable. Therefore this method may be useful not only for mathematicians but for math teachers and pupils, too.
Klíčová slova

Zpět

Patička