Mathematical Institute
of the Academy of Sciences of the Czech Republic

Evaluation of the Institutional Research Plan and Results of Research, 2000

Educational and International Activities

Educational activities

List of theses (M.S., Ph.D., CSc., habilitation, and DrSc.) written at the Institute or supervised by the Institute’s employees in 1995-1999

M.S. theses

1995 V. Babicky, Destabilization for quasivariational inequalities of reaction-diffusion type, supervisor M. Kucera
1995 T. Burger, Endomorphic universa in alternative set theory, supervisor A. Sochor
1995 M. Kusmirek, Use of directional and plane anisotropy in fractography, supervisor I. Saxl
1996 P. Cizek, On some generalization of Sorson compacta, supervisor M. Fabian
1996 P. Ledvina, Computational complexity of systems with a public key, supervisor P. Pudlak
1996 J. Nemec, A posteriori error estimates for nonlinear elliptic boundary value problems, supervisor M. Krizek
1997 M. Ducanic, On a class of functions holomorphic in the unit disk, supervisor J. Fuka
1997 Z. Matousek, Finite and infinite sums, supervisor O. Dosly
1997 M. Ondrejat, Weak solutions to stochastics evolution equations , supervisor J. Seidler
1997 P. Rehak, Oscillatory theory of linear difference equation, supervisor O. Dosly
1997 P. Slovak, Generalized convexity and its application to the calculus of variations, supervisor O. Dosly
1997 L. Vodstrcilova, Integration of trigonometric and irrational functions, supervisor O. Dosly
1999 J. Hanika, Levy hierarchy in set theory, supervisor A. Sochor
1999 P. Rackova, Extrema of functions, supervisor O. Dosly
1999 J. Reznickova, Curvilinear integral, supervisor O. Dosly
1999 J. Stepanek, Interpretations in weak theories of sets and arithmetics, supervisor A. Sochor

M.S. theses unfinished yet

M. Bilkova, supervisor P. Pudlak
T. Brandejska, Structured matrices and interpolation, supervisor Z. Vavrin
R. Erban, Asymptotic behavior of the solution of Navier-Stokes equations, supervisor E. Feireisl
L. Grigorek, supervisor S. Matusu
J. Solc, Local dependence on finitely many coordinates in Banach spaces, supervisor V. Zizler
T. Tichy, On-line scheduling algorithms, supervisor J. Sgall
T. Vejchodsky, A posteriori error estimates for the solution of a parabolic equation by the method of lines, supervisor K. Segeth
M. Vierer, supervisor M. Krizek

Ph.D. and CSc. theses

1995 J. Horak, Solution of a problem of linearized theory of coupled thermoelasticity, supervisor I. Hlavacek
1996 V. Kordula, Spectrum in Banach algebras, supervisor V. Muller
1996 J. Lang, Continuity and absolute continuity of norms in Banach function spaces, supervisor M. Krbec
1996 E. Matouskova, Differentiation in Banach spaces, supervisor L. Zajicek
1996 E. Thumel, Ramsey theorems and topological dynamics, supervisor B. Balcar
1997 M. Heisler, Some aspects of differentiability in geometry of Banach spaces, supervisor M. Fabian
1997 M. Pelant, On approximation of solutions of generalized differential equations, supervisor M. Tvrdy
1998 M. Baresova, Diagnostics of the level of grasping the concept of distance, supervisor M. Kubinova
1998 D. Bednarik, On higher order smoothness in a Banach space, supervisor M. Fabian
1998 J. Eisner, Bifurcations for reaction-diffusion systems with conditions given by inclusions, supervisor M. Kucera
1998 E. Fasangova, Long-time behavior of solutions of evolution problems, supervisor E. Feireisl
1998 R. Hilscher, On some aspects of qualitative theory of linear Hamiltonian systems, supervisor O. Dosly
1998 S. Mukhigula, Two point boundary value problems for seshvilli cond order functional differential equations, supervisor A. Lomtatidze
1999 J. Komenda, Modeling, analysis and control of hybrid manufacturing systems, supervisor I. Horova
1999 H. Netuka, Application of an optimalization method for the solution of the contact problem of theory of elasticity, supervisor I. Straskraba
1999 P. Ponizil, Voronoi tessellations generated by point cluster fields, supervisor I. Saxl
1999 V. Pravda, Exact radiative spacetimes: selected problems, supervisor J. Bicak
1999 A. Pravdova, Symmetries of asymptotically flat spacetimes and radiation, supervisor J. Bicak
1999 P. Salac, Optimal design of an elastic rotationally symmetric plate on a unilateral elastic foundation, supervisor I. Hlavacek
1999 M. Zemek ,On impact of geometry to a Banach space, supervisor M. Fabian

Ph.D. theses unfinished yet

J. Nemec, supervisor M. Krizek
P. Novak, Numerical solution of sparse complex linear algebraic systems, supervisor K. Segeth
J. Solc, supervisor V. Zizler
P. Stupka, A posteriori error estimates in the finite element method, supervisor K. Segeth
R. Vodak, supervisor I. Straskraba

Associate professor (habilitation) theses

1995 M. Fabian: On subdifferentiability of non-convex functions
1996 K. Segeth: A posteriori error estimates and grid adjustment in the finite element method of lines
1997 V. Zizler: Contributions to smoothness in Banach spaces

DrSc. theses

1997 B. Maslowski: Asymptotic behaviour of stochastic evolution equations
1997 V. Zizler: Smoothness and structure of Banach spaces
1998 M. Fabian: Differentiability and structure of Banach spaces
1998 M. Markl: Operads in topology, algebra and mathematical physics
1998 J. Pelant: Covers and covering properties of topological and uniform spaces
1999 O. Dosly: Linear Hamiltonian systems
1999 E. Feireisl: Asymptotic behavior of solutions of nonlinear evolution differential equations

List of accredited doctoral programmes

With the Charles University in Prague:

Programme Mathematics in areas Algebra, number theory and mathematical logic, Geometry and topology, global analysis and general structures, Mathematical analysis, Probability and mathematical statistics, Scientific computing, General problems of mathematics and computer science.
Programme Computer Science in areas Theoretical computer science, Software analysis, Mathematical linguistics, Discrete models and algorithms.
Programme Physics in areas Theoretical physics, astronomy and astrophysics, Mathematical and computer modeling.

Further negotiations are in progress with the Pedagogical Faculty of the Charles University in Prague, University of West Bohemia in Pilsen, Masaryk University in Brno, and Palacky University in Olomouc.

List of universities where employees of the Institute have been teaching (courses, seminars and laboratory practice)

Numbers of hours per year for each year of 1995-1999.

Charles University, Czech Technical University, Czech University of Agriculture (Prague), University of West Bohemia (Pilsen), Masaryk University (Brno), Palacky University (Olomouc).

1995 1996 1997 1998 1999 Total

2 194 1 952 2 095 2 040 2 142 10 423

International activities

List of the international co-operations (bi- or multilateral agreements, joint projects, participation in international programs)

Australian Research Council Small Grant S0194759: Dissipative terms of abstract differential equations in Banach spaces, 1995
Grant of Australian Research Council S0194759, 1995
Grant of Australian Research Council S6969557, 1996
Common project of Ministry of Education of the Czech Republic and CNRS, France: Graphs of hypercubes, combinatorial and graph algorithms, 1996-1998
Project CNRS-Academy of Sciences of the Czech Republic: Proprietes qualitatives d’equations de la dynamique des populations, 1999
Project Barrande (Czech Republic-France): Theoretical and numerical contributions to the study of compressible or incompressible viscoelastic fluids, 1999-2000
Sokrates project – Comenius I: European mathematical development through exchange and education, European Union, 1998-2001
Grant des Bundesministerium fur Bildung, Wissenschaft und Technologie No. OM 440, Germany, 1994-1996
Contract on Cooperation with the Institut fur Physikalische Hochtechnologie, Jena, Germany, 1996-2001
DFG grant, Germany: Sharp embeddings of Bessel potential spaces with logarithmic smoothness, 1999
DFG project, Germany, 1999-2000
Contract on Cooperation with the Fakultat fur Mathematik und Informatik der Fiedrich-Schiller-Universitat, Jena, Germany, 1999-2001
NATO grant No. CRG 930358: Function spaces, weighted inequalities and integral operators, 1993-1995
NATO grant No. CRG 970071: Function spaces and weighted inequalities, 1997-1999
NATO grant No. CRG 973982: Smoothness and separable reduction in nonlinear analysis, 1997-1999
Slovak Academy of Sciences grant No. 2/1316/95: Structure and mechanical properties of dispersion strengthened systems, 1994-1995
Slovak Academy of Sciences grant No. 95/5305/483: High-temperature properties of construction materials, 1995
Slovak Academy of Sciences grant No. 6097/99: Quantification of structure and of deformation processes in dispersion strengthened systems, 1999-2001
EPSRC grants, United Kingdom: 2 month stays in 1995, 1997, 1998
Royal Society grant, United Kingdom: Weighted inequalities, integral operators and embeddings, 1998-1999
U.S.-Czechoslovak Science and Technology Grant No. 93025: Mathematical logic: arithmetic, proof theory and complexity theory, 1993-1996
Contract on Cooperation with the Mississippi State University, U.S.A., 1994-2000
Grant of Fulbright Commission, U.S.A.: Applications of algebra, topology and geometry in mathematical physics, 1995-96
U.S.-Czechoslovak Science and Technology Grant No. 1019602: Mathematical logic: arithmetic, proof theory and complexity theory, 1996-1998
Common project ME 103 of Ministry of Education of the Czech Republic and NSF, U.S.A.: Mathematical logic, complexity theory, and their connections, 1997-2000
Common project ME 148 of Ministry of Education of the Czech Republic and NSF, U.S.A.: Reliability problems in computational mechanics, 1998-2000
Common project ME 333 of Ministry of Education of the Czech Republic and NSF, U.S.A.: Operads in algebra, topology and mathematical physics, 1998-2000
Grant of NSF No. DMS-9803435, U.S.A.: Applications of methods of algebraic topology to mathematical physics, 1998-2001
Common project of Ministry of Education of the Czech Republic and NSF, U.S.A.: Mathematical logic and computational complexity, 1999-2003

Membership in international organizations, collective as well as individual, positions held by employees of the Institute

American Mathematical Society: M. Fabian, J. Krajicek, M. Markl, B. Maslowski, V. Muller, S. Schwabik, J. Seidler
European Mathematical Society: B. Balcar, A. Kufner (member of the Council 1995-1996), J. Rakosnik, S. Schwabik
International Society for Stereology: I. Saxl
Association for Symbolic Logic: J. Krajicek (member of the Council)
International Linear Algebra Society: Z. Vavrin
European Branch of the Materials Research Society: P. Prikryl
New York Academy of Sciences: P. Prikryl

Long-term (three month and longer) visits by foreign scientists to the Institute

Calin-Grigore Ambrozie, Romania, 1.9.1998-28.2.1999
Jan Brandts, The Netherlands, 1.10.1997-31.8.1998
Amiran Gogatishvili, Georgia, 1.10.1998 till now
Armin Haken, U.S.A., 15.5.1997-15.8.1997
Jaroslav Kautsky, Australia, 1.8.1997-31.10.1997
Jui-Lin Lee, Taiwan, 1.2.1997-30.9.1997
Adam H. Lewenberg, U.S.A., 15.5.1997-15.8.1997
Liping Liu, China, 1.9.1996-31.12.1996
Alexander Lomtatidze, Georgia, 1.1.1998 till now
Florian Luca, Romania, 1.9.1999 till now
Darko Milinkovic, Yugoslavia, 1.9.1997-28.2.1998
Mamoru Mimura, Japan, 1.9.1998-31.5.1999
Stevo Todorcevic, Canada, 1.6.1996-31.8.1996
Oleg Verbitsky, Ukraine, 1.4.1998-31.8.1998

Long-term (three month and longer) visits to foreign institutes and universities

name	purpose	institution
J. Chleboun	research	University of Westminster, London, UK	1 year 1995
J. Chleboun	research	Texas Institute for Computational and Applied Mathe-	3 months in 1998
		matics, The University of Texas at Austin, TX, U.S.A.
J. Chleboun	research	Texas Institute for Computational and Applied Mathe-	5 months in 1998
		matics, The University of Texas at Austin, TX, U.S.A.
E. Feireisl	teaching	Universite de Franche Comte, Besançon, France	6 months in 1998
	research
E. Feireisl	teaching	Universite de Franche Comte, Besançon, France	6 months in 1999
	research
P. Hajek	research	University of Alberta, Edmonton, Alberta, Canada	1 year 1996/97
P. Hajek	research	Universidad de Madrid, Spain	1 year 1997/98
P. Hajek	research	Texas A&M University, College Station, TX, U.S.A.	1 year 1998/99
J. Krajicek	teaching	Mathematical Institute of the University of Oxford, U.K.	2 years 1997/99
P. Krejci	teaching	Universite de Technologie de Compi?gne, France	6 months in 1995
P. Krejci	research	Weierstrass Institute, Berlin, Germany	4 years 1997/2000
M. Markl	teaching	University of North Carolina, Chapel Hill, NC, U.S.A.	6 months in 1996
	research
B. Maslowski	research	Universitat Passau, Germany	1 year 1994/95
E. Matouskova	teaching	J. Kepler University, Linz, Austria	3 months in 1996
	research
E. Matouskova	teaching	J. Kepler University, Linz, Austria	9 months in 1997
	research
S. Matusu	research	Instituto Superior Tecnico, Lisboa, and International Center of Mathematics, Coimbra, Portugal	5 months in 1999
V. Muller	teaching	Georgia Institute of Technology, Atlanta, U.S.A.	9 months in 1995/96
	research
V. Muller	teaching	Universitat des Saarlandes, Germany	3 months in 1998
	research
B. Opic	research	Florida Atlantic University, Boca Raton, U.S.A.	5 months in 1996
	teaching
B. Opic	research	Technical University, Darmstadt, Germany	3 months in 1999
J. Sgall	postdoc	Hebrew University, Inst. of Computer Science, Jeru-
	study	salem, Israel	10 months in 1994/95
M. Silhavy	teaching	Department of Theoretical Physics, University of Nottingham, U.K.	4 months in 1998
	research

International meetings organized and co-organized by the Institute

Mathematical Institute organized or co-organized the following international meetings (mostly in the Czech Republic) in the period 1995-1999. The number of participants ranged between 50 and 500.
15th Winter School Geometry and Physics, 14.-21.1.1995, Srni
23rd Winter School in Abstract Analysis, Section Analysis, 22.-29.1.1995, Lhota pod Rohanovem
23rd Winter School in Abstract Analysis, Section Topology, 28.1.-4.2.1995, Podebrady
Non-commutative Geometry, 7.-13.5.1995, Trest
20th Seminar in Differential Equations, 3.-7.7.1995, Cholin
Function Spaces, Differential Operators and Nonlinear Analysis, 3.-9.9.1995, Paseky
16th Winter School Geometry and Physics, 13.-20.1.1996, Srni
24th Winter School in Abstract Analysis, 20.-27.1.1996, Lhota pod Rohanovem
Colloquium Praha-Bratislava, March 1996, Praha
21st Seminar in Differential Equations, 27.-31.5.1996, Zelezna Ruda
Models of Hysteresis, June 1996, Levico, Italy
Prague Mathematical Conference, 8.-12.7.1996, Praha
International Summer School on Evolution Equations, 15.-19.7.1996, Praha
Conference EVEQ 96, July 1996, Praha
8th Prague Topological Symposium 1996, 19.-24.8.1996, Praha
17th Winter School Geometry and Physics, 11.-18.1.1997, Srni
25th Winter School in Abstract Analysis, 25.1.-1.2.1997, Kristanovice
Conference Future of Discrete Mathematics, 19.-24.5.1997, Stirin
Czech-U.S. Workshop on Iterative Methods and Parallel Computing, 16.-21.6.1997, Milovy
Summer School Industrial Mathematics and Mathematical Modelling, 30.6.-4.7.1997, Cheb
5th Prague Midsummer Combinatorial Workshop, 26.7.-2.8.1997, Praha
9th Conference on Differential Equations and their Applications, 25.-29.8.1997, Brno
Workshop on Infinite-Dimensional Stochastics Systems, 8.-12.9.1997, Praha
Graphs and Geometry Workshop, 14.-16.9.1997, Praha
18th Winter School Geometry and Physics, 10.-17.1.1998, Srni
26th Winter School in Abstract Analysis, January 1998, Kristanovice
36th International Symposium on Functional Equations, 24.-30.5.1998, Brno
Spring School Nonlinear Analysis, Function Spaces and Applications 6, 31.5.-6.6.1998, Praha
5th Czech-Slovak Symposium on Combinatorics and Graph Theory, 6.-12.7.1998, Praha
Modelling 98, 7.-11.7.1998, Praha
Logic Colloquium ’98, 9.-15.8.1998, Praha
Prague Stochastic ’98, Stochastic Analysis Session, August 1998, Praha
Workshop on Qualitative Theory of Differential Equations, 2.-5.9.1998, Brno
19th Winter School Geometry and Physics, January 1999, Srni
Winter School in Abstract Analysis, Section Analysis, January 1999, Lhota pod Rohanovem
27th Winter School in Abstract Analysis, Section Topology, February 1999, Zahradky u Ceske Lipy
Conference on the Occasion of the 120th Anniversary of A. Einstein, 14.3.1999, Praha
Boruvka Mathematical Symposium, 10.-12.5.1999, Brno-Valtice
Workshop on Algebraic Methods and Arithmetic Circuits, 2.-4.6.1999, New Brunswick, Canada
Function Spaces, Differential Operators and Nonlinear Analysis, 10.-16.6.1999, Syote Centre, Pudasjarvi, Finland
S⁴G. International Conference on Stereology, Spatial Statistics and Stochastic Geometry, June 1999, Praha
Summer School Industrial Mathematics and Mathematical Modelling 99, 5.-9.7.1999, Nectiny
European Symposium on Algorithms 1999, 16.-18.7.1999, Praha
Workshop on Functional Analysis and its Applications in Mathematical Physics and Optimal Control, September 1999, Nemecka, Slovakia
Systems with Hysteresis, September 1999, Berlin, Germany
Partial Differential Equations and Applications, 13.-18.12.1999, Olomouc

International awards, prizes

J. Kurzweil: Honorary degree of Doctor of Sciences by the Slovak Academy of Sciences 1996.
J. Kurzweil: Honorary member of the Royal Belgian Academy of Sciences 1996.

Contracts with non-R&D institutions

J. Chleboun: an advisor to a glass making company (numerical modeling of thermal problems), 50 hours in 1998, contract with the Institute, 25 000 Kc.
J. Nedoma: contract No. 24/99 with the Ministry of Environment of the Czech Republic to provide an expert opinion to proposals (1) Support for decisions in energy strategy, (2) Analysis of consequences of ecology motivated tax reform, 8 000 Kc.

[Mathematical Institute AS CR] [Documents about the Institute]

Mathematical Institute of the Academy of Sciences of the Czech Republic