|
 Thesis title |
 Year of announcement |
 Year of defence |
Thesis type |
Thesis discipline |  Supervisor |
 Author |
 Announced |
Assigned | Department |
Faculty |
 |
Application for knot recognition |
2024/2025 |
|
diploma thesis |
MITPN, MITPNA, MSPN, MSPNA | doc. RNDr. David Stanovský, Ph.D. |
|
30.09.2016 |
Ne | 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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
Gröbner bases in cryptography |
2008/2009 |
2009/2010 |
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
11.11.2008 |
11.11.2008 | Katedra algebry (32-KA) |
MFF |
 |
Conjugation classes in automorphism groups of abelian groups |
2024/2025 |
|
Bachelor's thesis |
MITP, MOMP | doc. RNDr. David Stanovský, Ph.D. |
|
17.09.2024 |
Ne | Katedra algebry (32-KA) |
MFF |
 |
Jones polynomial |
2017/2018 |
2017/2018 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
18.12.2017 |
24.04.2018 | 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 |
 |
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 |
 |
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 |
 |
Algebraic invariants in knot theory |
2009/2010 |
2009/2010 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
23.10.2009 |
24.10.2009 | 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 |
 |
Schönhage's multiplication |
2005/2006 |
2005/2006 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.10.2005 |
16.11.2005 | 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 |
 |
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 |
 |
Qudratic field based cryptography |
2009/2010 |
2009/2010 |
rigorosum thesis |
| doc. RNDr. David Stanovský, Ph.D. |
RNDr. Milan Straka, Ph.D. |
14.12.2009 |
14.12.2009 | Katedra aplikované matematiky (32-KAM) |
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 |
 |
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 |
 |
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 |
 |
Computational complexity of basic computer algebra algorithms |
2007/2008 |
2008/2009 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
04.10.2007 |
22.11.2007 | 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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
Polynomial equations over finite fields and algebraic cryptanalysis |
2012/2013 |
2013/2014 |
diploma thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
27.09.2012 |
21.01.2013 | Katedra algebry (32-KA) |
MFF |
 |
Counting quandles |
2018/2019 |
2017/2018 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
17.05.2018 |
17.05.2018 | 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 |
 |
Systems for automated theorem proving |
2008/2009 |
2008/2009 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
01.10.2008 |
04.11.2008 | 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 |
 |
Modular algorithms and interpolation |
2013/2014 |
2013/2014 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
18.10.2013 |
31.10.2013 | 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 |
 |
Quaternions, octonions and...? |
2005/2006 |
2008/2009 |
Bachelor's thesis |
MOM | doc. RNDr. David Stanovský, Ph.D. |
hidden |
06.10.2005 |
14.11.2005 | 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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
GCD computation for integer polynomials |
2008/2009 |
2008/2009 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
07.10.2008 |
07.10.2008 | Katedra algebry (32-KA) |
MFF |
 |
Lattices and factorization of integer polynomials |
2006/2007 |
2006/2007 |
Bachelor's thesis |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
hidden |
02.10.2006 |
03.10.2006 | 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 |
 |
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 |
 |
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 |
Results 1-50 of 65 1 2 next
|