Přejít k obsahu


Přínos George E. Collinse v problematice eliminace kvantifikátorů

Citace:
HONZÍK, L. Přínos George E. Collinse v problematice eliminace kvantifikátorů. In Moderní trendy ve vyučování matematiky a přírodovědných předmětů IV : sborník příspěvků z konference. Brno: Masarykova univerzita, 2014. s. 24-31. ISBN: 978-80-210-7598-6
Druh: STAŤ VE SBORNÍKU
Jazyk publikace: cze
Anglický název: Contribution of George E. Collins to the quantifier elimination
Rok vydání: 2014
Místo konání: Brno
Název zdroje: Masarykova univerzita
Autoři: Mgr. Lukáš Honzík Ph.D. ,
Abstrakt CZ: V příspěvku je představen přínos matematika Geogre E. Collinse v oblasti eliminace kvantifikátorů prostřednictvím tzv. cylindrické algebraické dekompozice (CAD) a je zde několika příklady nastíněna možnost využití eliminace v řešení některých matematických problémů.
Abstrakt EN: In the article, there is introduced the benefit of George E. Collins in the quantifier elimination via so called cylindrical algebraic decomposition (CAD). Some examples of possible use of elimination follow.
Klíčová slova

Zpět

Patička