Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití – Mgr. Lukáš HONZÍK
Mgr. Lukáš HONZÍK
Doctoral thesis
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Computer methods of quantifier elimination over R and their application
Abstract:
Eliminace kvantifikátorů v oboru reálných čísel je jednou z mladších oblastí na pomezí matematiky, logiky a výpočetní techniky. Pomocí metody nazývané cylindrická algebraická dekompozice dovoluje zjednodušit matematické kvantifikované formule do jednoduššího tvaru neobsahujícího kvantifikátory. Jelikož se jedná o vcelku složitý postup, jsou velmi užitečné programy počítačové algebry (například program …moreAbstract:
Quantifier elimination over real fields is a discipline connected with mathematics, logic and computer science. Using so called cylindrical algebraic decomposition it 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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 24. 1. 2013
Accessible from:: 31. 12. 2999
Thesis defence
- Supervisor: Doc. RNDr. Jaroslav Hora, CSc.
Citation record
ISO 690-compliant citation record:
HONZÍK, Lukáš. \textit{Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití}. Online. Doctoral theses, Dissertations. Plzeň: University of West Bohemia, Faculty of Education. 2013. Available from: https://theses.cz/id/vtn1y8/.
The right form of listing the thesis as a source quoted
HONZÍK, Lukáš. Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití. Plzeň, 2013. disertační práce (Ph.D.). ZÁPADOČESKÁ UNIVERZITA V PLZNI. Fakulta pedagogická
Full text of thesis
Accessibility: Autor si nepřeje zpřístupnění práce veřejnosti
Contents of on-line thesis archive
Published in Theses:- Soubory jsou nedostupné.
Other ways of accessing the text
Institution archiving the thesis and making it accessible: ZÁPADOČESKÁ UNIVERZITA V PLZNI, Fakulta pedagogickáUniversity of West Bohemia
Faculty of EducationDoctoral programme / field:
Specialization in Pedagogy / Information and Communication Technologies in Teaching
Theses on a related topic
-
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Lukáš HONZÍK -
Vybrané aspekty řízení tržního rizika
Bien Thuy Cao -
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Lukáš HONZÍK -
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Lukáš HONZÍK