|
Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
|
Testing perfect powers |
2006/2007 |
2007/2008 |
diploma thesis |
| doc. RNDr. David Stanovský, Ph.D. |
hidden |
29.09.2006 |
30.10.2006 | Katedra algebry (32-KA) |
MFF |
|
Coloring knots |
2016/2017 |
2016/2017 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
30.09.2016 |
16.11.2016 | Katedra algebry (32-KA) |
MFF |
|
Classical methods of factoring numbers |
2006/2007 |
2006/2007 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
02.11.2006 |
07.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Highly transitive groups |
2016/2017 |
2016/2017 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
30.09.2016 |
19.04.2017 | Katedra algebry (32-KA) |
MFF |
|
Systems for automated theorem proving |
2007/2008 |
2008/2009 |
Bachelor's thesis |
IOI | doc. RNDr. David Stanovský, Ph.D. |
hidden |
15.11.2007 |
10.12.2007 | Katedra algebry (32-KA) |
MFF |
|
Lattice based cryptography |
2007/2008 |
2009/2010 |
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
10.12.2007 |
10.12.2007 | Katedra algebry (32-KA) |
MFF |
|
Symmetries |
2013/2014 |
2013/2014 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
21.10.2013 |
21.10.2013 | Katedra algebry (32-KA) |
MFF |
|
Automated model building |
2010/2011 |
2014/2015 |
diploma thesis |
ITI | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.10.2009 |
18.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Application for knot recognition |
2021/2022 |
|
diploma thesis |
MMIT, MSTR | doc. RNDr. David Stanovský, Ph.D. |
|
30.09.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Higher commutators in loop theory |
2020/2021 |
2020/2021 |
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.01.2021 |
05.01.2021 | Katedra algebry (32-KA) |
MFF |
|
Steganography and steganoanalysis |
2006/2007 |
2006/2007 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.10.2006 |
13.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Small left distributive quasigroups |
2008/2009 |
2009/2010 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
29.09.2006 |
17.05.2010 | Katedra algebry (32-KA) |
MFF |
|
Factorization of integer polynomials |
2008/2009 |
2008/2009 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
01.10.2008 |
07.10.2008 | Katedra algebry (32-KA) |
MFF |
|
Satisfaction of arithemtical formulas and Gröbner bases |
2010/2011 |
|
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
17.08.2010 |
07.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Set-theoretical solutions to the Yang-Baxter equation |
2021/2022 |
|
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
|
28.08.2018 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Comparison of public key cryptography algorithms |
2008/2009 |
2010/2011 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
02.12.2008 |
14.01.2009 | Katedra algebry (32-KA) |
MFF |
|
Qudratic field based cryptography |
2006/2007 |
2007/2008 |
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
RNDr. Milan Straka, Ph.D. |
04.10.2006 |
08.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Fast polynomial multiplication |
2007/2008 |
2007/2008 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.10.2007 |
22.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Konečná axiomatizovatelnost algeber |
2009/2010 |
|
dissertation |
4M1 | doc. RNDr. David Stanovský, Ph.D. |
hidden |
20.07.2009 |
29.09.2009 | Katedra algebry (32-KA) |
MFF |
|
Processing machine generated proofs |
2011/2012 |
|
diploma thesis |
ITI | doc. RNDr. David Stanovský, Ph.D. |
hidden |
28.09.2011 |
20.10.2011 | Katedra algebry (32-KA) |
MFF |
|
Automatizing the hints strategy |
2009/2010 |
|
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
13.10.2009 |
15.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Elimination |
2010/2011 |
|
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
17.09.2010 |
26.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Systems for automated theorem proving |
2007/2008 |
|
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
08.10.2007 |
14.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Some constructions of simple gorups |
2010/2011 |
|
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
09.09.2010 |
15.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Nilpotence in general algebraic structures |
2021/2022 |
|
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
|
18.08.2018 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Quasiorders on quandles |
2024/2025 |
|
Bachelor's thesis |
MITP, MOMP | doc. RNDr. David Stanovský, Ph.D. |
|
05.08.2024 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Isomophism problem for quandles derived from groups |
2022/2023 |
2022/2023 |
Bachelor's thesis |
MOMP | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.01.2023 |
04.01.2023 | Katedra algebry (32-KA) |
MFF |
|
GUI for automated reasoning systems |
2006/2007 |
2006/2007 |
Bachelor's thesis |
IP | doc. RNDr. David Stanovský, Ph.D. |
hidden |
03.10.2006 |
02.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Quasigroup based cryptography |
2006/2007 |
2008/2009 |
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
08.11.2006 |
13.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Enumeration of affine quasigroups |
2018/2019 |
2018/2019 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
13.11.2018 |
13.11.2018 | Katedra algebry (32-KA) |
MFF |
|
Solving systems of linear equations |
2005/2006 |
2005/2006 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.10.2005 |
16.11.2005 | Katedra algebry (32-KA) |
MFF |
|
Model building in polynomial representation |
2011/2012 |
2014/2015 |
Bachelor's thesis |
IOI | doc. RNDr. David Stanovský, Ph.D. |
hidden |
01.09.2011 |
20.10.2011 | Katedra algebry (32-KA) |
MFF |
|
Selfdistributive algebras and knots |
2010/2011 |
2012/2013 |
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
01.10.2008 |
21.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Abelian and strongly abelian algebras |
2009/2010 |
2009/2010 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.10.2009 |
09.11.2009 | Katedra algebry (32-KA) |
MFF |
|
Selfdistributive quasigroups of size 2^k |
2018/2019 |
2018/2019 |
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
hidden |
29.12.2018 |
12.01.2019 | Katedra algebry (32-KA) |
MFF |
|
Classical Lie groups |
2023/2024 |
|
Bachelor's thesis |
MITP | doc. RNDr. David Stanovský, Ph.D. |
hidden |
12.12.2023 |
16.12.2023 | Katedra algebry (32-KA) |
MFF |
|
Algebraic structures for knot coloring |
2016/2017 |
2017/2018 |
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
hidden |
30.09.2016 |
05.10.2016 | Katedra algebry (32-KA) |
MFF |
|
Some questions of definability |
2009/2010 |
2011/2012 |
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
hidden |
02.11.2009 |
02.11.2009 | Katedra algebry (32-KA) |
MFF |
|
Model building using CSP |
2010/2011 |
2010/2011 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.08.2010 |
27.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Nonassociative algebraic structures |
2021/2022 |
|
dissertation |
P4M1A | doc. RNDr. David Stanovský, Ph.D. |
hidden |
07.04.2021 |
22.09.2021 | Katedra algebry (32-KA) |
MFF |
|
Alexander polynomial |
2018/2019 |
2018/2019 |
Bachelor's thesis |
| doc. RNDr. David Stanovský, Ph.D. |
hidden |
01.10.2018 |
01.10.2018 | Katedra algebry (32-KA) |
MFF |
|
Rational points on elliptic curves |
2013/2014 |
2013/2014 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
07.11.2013 |
07.11.2013 | Katedra algebry (32-KA) |
MFF |
|
Identity checking |
2005/2006 |
2005/2006 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.10.2005 |
14.11.2005 | Katedra algebry (32-KA) |
MFF |
|
Piet |
2019/2020 |
|
Bachelor's thesis |
MIUP, MZUIZV | doc. RNDr. David Stanovský, Ph.D. |
|
30.09.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Conjugation classes in automorphism groups of abelian groups |
2023/2024 |
|
Bachelor's thesis |
MITP, MMIT, MOM, MOMP | doc. RNDr. David Stanovský, Ph.D. |
|
11.10.2019 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Park's conjecture |
2007/2008 |
2008/2009 |
diploma thesis |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.10.2007 |
14.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Cycles in translations in connected quandles |
2022/2023 |
2022/2023 |
Bachelor's thesis |
MOMP | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.01.2023 |
11.01.2023 | Katedra algebry (32-KA) |
MFF |
|
Coloring invariants of knots |
2023/2024 |
2023/2024 |
Bachelor's thesis |
MITP | doc. RNDr. David Stanovský, Ph.D. |
Bc. Ondřej Chwiedziuk |
21.02.2024 |
21.02.2024 | Katedra algebry (32-KA) |
MFF |
|
Applications of the least squares method |
2023/2024 |
|
Bachelor's thesis |
MFMP | doc. RNDr. David Stanovský, Ph.D. |
Sofia Malašenková |
20.10.2023 |
20.10.2023 | Katedra algebry (32-KA) |
MFF |
|
Presenting automatically generated proofs |
2009/2010 |
2009/2010 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
03.11.2009 |
03.11.2009 | Katedra algebry (32-KA) |
MFF |
Results 1-50 of 66 1 2 next
|