David Stanovský
//
|
VÝUKA // TEACHING
RESEARCH
- CV
(last update 01/2010)
- List of publications
- includes list of theses, talks, lectures abroad, grant participation
- QPTP library - Quasigroup Problems for Theorem Provers
- we organize Jardafest, or International Conference on Algebras and Lattices (Prague, June 2010)
PERSONAL
I spend most of my free time in mountains.
The highest peak I climbed is Stok Kangri, and there is much more on my
travelling page (in Czech, sorry).
You can look at some pictures:
China (08),
Lapland in winter (08),
Siberia (Novosibirsk) (07),
Western USA (06),
Ukraine's Zakarpat'e (06),
Lapland in winter (06),
Siberia (Zabaykal'e) (05),
India (04),
Utah (04),
Texas (03),
and more.
If you don't like pictures from mountains, you can look at pictures from my wedding :-)
And there is more if you speak Czech:
And there is even more if you speak Russian:
- В 2005 г. мы
сделали очень
интересный
горный поход
в Забайкалье
(хребет Кодар),
посмотрите
наш отчет (на
русском!).
LINKS
- $1000000 problems
- MathSciNet,
Zentralblatt,
DBLP
- Impact factor: original website (paid),
original list of journals (free),
a list with numbers,
an analysis by IMU
- AMS Math Calendar,
EMIS list of conferences,
Kearnes' list of
conferences related to universal algebra,
Arbeitstagung Allgemeine
Algebra
- GAČR, AMVIS
- Association for Automated Reasoning, TPTP
- jobs:
a guide (AMS),
AMS,
Europe,
math-jobs.com,
London Math Soc - many links,
Fond mobility @ Charles University
- cheap (used) books
- on-line literature:
AMS free books,
Stanley Burris' Course in Universal Algebra
- on-line help:
Perl,
LaTeX
- Keith Kearnes' UA pages
- quasigroups:
quasigroups of order 5,6,
Bol loops of order <32,
open problems
- Math Fun Facts,
64=65,
Math History
- SciGen - An automated computer science research paper generator
|