professional resume of asoc. prof. richard liska - Czech Technical ...

PROFESSIONAL RESUME OF ASOC. PROF. RICHARD LISKA
Address Faculty of Nuclear Sciences and Physical Engineering
Czech Technical University in Prague
Brehova 7
115 19 Prague 1
Czech Republic
Phone +420-2 2435 8614
E-mail liska@siduri.fjfi.cvut.cz
Fax +420-2-8468 4818
Interests numerical treatment of conservation laws, finite difference methods for partial differential equations,
applied computer algebra, quantifier elimination, symbolic-numeric interfaces, problem solving environments,
Collaborators
• Ladislav Drska , Czech Technical University
• Victor Ganzha , Technical University Munich, Germany
• Hoon Hong RISC Linz, Johannes Kepler University, Austria
• Ladislav Kocbach , University of Bergen, Norway
• Milan Kuchaˇrík , Czech Technical University
• Hui Li , Los Alamos National Laboratory, USA
• Jiri Limpouch , Czech Technical University
• Mikhail Shashkov , Los Alamos National Laboratory, USA
• Milan Sinor , Czech Technical University
• Stanly Steinberg , University of New Mexico, USA
• Pavel Váchal , Czech Technical University
• Burton Wendroff , Los Alamos National Laboratory, USA
• Michael Wester , Cotopaxi, University of New Mexico, USA
Birthdate July 17, 1958
Education M.S. in Mathematical Engineering, Czech Technical University, 1982
Ph.D. in Mathematical-Physical Sciences, Czech Technical University, 1990
Positions Study stay, Czech Technical University, 1984-85
Ph.D. study, Czech Technical University, 1986-89
Research associate, Czech Technical University, 1989-1994
Researcher, Czech Technical University, 1994-1998
Associated Professor (Docent) in Mathematics, Czech Technical University, 1999-
Visiting positions Visiting associate professor, Teikyo University of Technology, Ichihara, Chiba, Japan, 6 months,
1992/11-1993/5
Visiting researcher, University of New Mexico, Albuquerque, USA, 1994, 1 month
Visiting researcher, Los Alamos National Laboratory, Los Alamos, USA, 1994, 2 weeks
Visiting researcher, University of New Mexico, Albuquerque, USA, 1995-99, 1-3 weeks each year
Visiting researcher, Los Alamos National Laboratory, Los Alamos, USA, 1995-2004, 1-2 months each year
Awards Price of Rector of Czech Technical University, 1988
Medal of minister of education for research results on composite schemes and their applications, 2001
1

1 Publications
1.1 Publications in English
1.1.1 Journals
1. R. Liska. Program for stability and accuracy analysis of finite difference methods, Comp. Phys. Comm.,34,
175–186, (1984).
2. L. Drska, R. Liska, and M. Sinor. Two practical packages for computational physics - GCPM, RLFI, Comp.
Phys. Comm.,61, 225–230, (1990).
3. L. Drska, J. Limpouch, and R. Liska. Fokker-planck simulations of ultrashort-pulse laser-plasma interactions,
Laser and Particle Beams, 10, 461–471, (1992).
4. L. Drska, J. Limpouch, and R. Liska. Fokker-planck simulation of interactions of femtosecond laser pulses
with dense plasmas, Acta Polytechnica, Czech Technical University, 33, 3, 13–21, (1993).
5. R. Liska, M. Yu. Shashkov, and A.V. Solovjov. Support-operators method for PDE discretization: symbolic
algorithms and realization, Mathematics and Computers in Simulation, IMACS, 35, 173–183, (1993).
6. R. Liska and S. Steinberg. Applying quantifier elimination to stability analysis of difference schemes, Computer
Journal, 36, 5, 497-503, Special issue on quantifier elimination, (1993).
7. L. Kocbach and R. Liska. Closed form formula for the exchange integrals in the impact-parameter treatment
of heavy-particle collisions, J. Phys. B: At. Mol. Opt. Phys. 27, L619–L624, (1994).
8. J. Limpouch, L. Drska, and R. Liska. Fokker-Planck Simulations of Interactions of Femtosecond Laser Pulses
with Dense Plasmas, Laser and Particle Beams, 12, 101–110, (1994).
9. R. Liska, L. Margolin, and B. Wendroff. Nonhydrostatic two-layer models of incompressible flow, Computers
and Math. with Applic., 29, 9, 25-37, (1995).
10. S. Steinberg and R. Liska. Stability analysis by quantifier elimination, Mathematics and Computers in Simulation,42,
4-6, 629-638, (1996).
11. H. Hong, R. Liska and S. Steinberg. Testing stability by quantifier elimination. J. Symbolic Computation, 24,
161–187, (1997). Special issue on Applications of Quantifier Elimination.
12. H. Hong, R. Liska and S. Steinberg. Logic, Quantifiers, Computer Algebra and Stability, SIAM News, 30, 6,
pages 10,13, (1997).
13. R. Liska and B. Wendroff. Analysis and computation with stratified fluid models. J. Comp. Phys.,137, 212–244,
(1997).
14. L. Kocbach and R. Liska. Generation and verification of algorithms for symbolic-numeric processing. J.
Symbolic Computation, 25, 367–382, (1998).
15. R. Liska and B. Wendroff. Composite schemes for conservation laws. SIAM J. Numer. Anal., 35, 6, 2250-2271
(1998).
16. R. Liska and B. Wendroff. 2D Shallow Water Equations by Composite Schemes. Int. J. Numerical Methods
in Fluids, 30, 461-479 (1999).
17. H. Hong, R. Liska, N. Robidoux, and S. Steinberg. Eliminating variables in parallel. SIAM News, 33, 8, 1,
2000.
18. H. Li, S.A. Colgate, B. Wendroff, and R. Liska. Rossby wave instability of thin accretion disks - III. Nonlinear
simulations. The Astrophysical Journal, 551, 874-896, (2001).
19. L. Drska, M. Kuchaˇrík, J. Limpouch, R. Liska, M. Sinor, and A. Iskakov. Hydrodynamical modeling of targets
compression to high densities. Czechoslovak Journal of Physics, 52(Suppl. D), 362–367, (2002).
2

20. Victor Ganzha, Richard Liska, Mikhail Shashkov, and Christoph Zenger. Support operator method for laplace
equation on unstructured triangular grid. Selcuk Journal of Applied Mathematics, 3(1), 21–48, (2002).
21. R. Liska, M. Shashkov, and B. Swartz. Locally exact smooth reconstruction of lines, circles, planes, spheres,
cylinders and cones by blending successive circular interpolants. Selcuk Journal of Applied Mathematics, 3(2),
81–98, (2002).
22. K. Kozel, M. Janda and R. Liska. Composite schemes used for 2D and 3D transonic flows computation,
PAMM, the Proceedings in Applied Mathematics and Mechanics, 1(1), 434–435, (2002).
23. R. Liska and B. Wendroff. Comparison of several difference schemes on 1D and 2D test problems for the euler
equations. SIAM J. Scientific Computing, 25(3), 995–1017,(2003).
24. R. Liska, M. Shashkov, and V. Ganzha. Analysis and optimization of inner products for mimetic finite
difference methods on triangular grid. Mathematics and Computers in Simulation, 67, 55–66, (2004).
25. M. Kuchaˇrík, R. Liska, J. Limpouch, and P. Váchal. ALE simulations of high-velocity impact problem.
Czechoslovak Journal of Physics, 54:C391–C396, 2004.
26. H. Li, S.T. Li, J. Koller, B.B. Wendroff, R. Liska, C.M. Orban, E.P.T. Liang, and D.N.C. Lin. Potential vorticity
evolution of a protoplanetary disk with an embedded protoplanet. Astrophysical Journal, 624(2):1003–
1009, 2005.
27. M. Kuchaˇrík, R. Liska, S. Steinberg, and B. Wendroff. Optimally-stable second-order accurate difference
schemes for nonlinear conservation laws in 3D. Applied Numerical Mathematics, 2005. In press.
1.1.2 Proceedings
1. L. Drska and R. Liska. Computer algebra application to the physics of high parameter plasmas, In 18-th
ECLIM, Book of Abstract, 82, FJFI ČVUT, Prague, (1987).
2. R. Liska and L. Drska. Evaluation of plasma fluid equations collision integrals using REDUCE In J. H.
Davenport, editor, EUROCAL ’87, 178, Springer-Verlag, Berlin, (1989).
3. L. Drska, R. Liska, M. Sinor, and J. Vondrasek. MIRIAM package development: new results, In G. Velarde, E.
Mínguez, and J. M. Perlado, editors, 19-th ECLIM, Laser Interaction with Matter, 360–363, World Scientific,
Singapore, (1989).
4. V. Ganzha and R. Liska. Application of the REDUCE computer algebra system to stability analysis of difference
schemes, In E. Kaltofen and S. M. Watt, editors, Computers and Mathematics ’89, 119–129, Springer-
Verlag, New York, (1989).
5. R. Liska and L. Drska. REDUCE L ATEX formula interface, In J. Nadrchal, editor, Man-machine Interface in
Scientific Environment, 239–242, Jednota čs. matematik˚u a fyzik˚u, Prague, (1989).
6. L. Drska, R. Liska, and M. Sinor. General computation physics micropackage, In J. Nadrchal, editor, Manmachine
Interface in Scientific Environment, 205–206, Jednota čs. matematik˚u a fyzik˚u, Prague, (1989).
7. R. Liska. Automation of numerical solution of PDE systems, In D.V. Shirkov, V.A. Rostovtsev and V.P.
Gerdt, editors, IV. International Conference on Computer Algebra in Physical Research, Dubna, May 22-26,
1990, 357-361, World Scientific, Singapore, (1991).
8. R. Liska and L. Drska. FIDE: A REDUCE package for automation of FInite difference method for solving
pDE:, In S. Watanabe and M. Nagata, editors, ISSAC ’90, Proceedings of the International Symposium on
Symbolic and Algebraic Computation Tokyo, August 20-24, 1990, 169–176, ACM Press, Addison Wesley, New
York, (1990).
9. V. G. Ganzha, E. V. Vorozhtsov, and R. Liska. Stability analysis of difference initial-value problems with the
aid of REDUCE system, In V.G. Ganzha, V.M. Rudenko, and E.V. Vorozhtsov, editors, Computer Algebra and
Its Applications to Mechanics, 31–41, Nova Science Publishers, New York, (1993). CAAM-90, Novosibirsk,
Irkutsk, August 28 - September 3, 1990.
3

10. L. Drska, J. Limpouch, and R. Liska. Simulation of laser-matter interaction in subpicosecond range using computer
algebra for numerical code development, In F. Smutn´y, editor, The Tenth Conference of Czechoslovack
Physicists, Brno, August 27-31, 113–116, Jednota čs. matematik˚u a fyzik˚u, Praha, (1990).
11. L. Drska, J. Limpouch, and R. Liska. Simulation study of laser-matter interaction in subpicosecond range, In
N. L. Tsintsadze, editor, 10-th European Summer School on Plasma Physics, Tbilisi, September 2-15, 1990,
435–440, World Scientific, Singapore, (1991).
12. R. Liska and M. Yu. Shashkov. Algorithms for difference schemes construction on non-orthogonal logically
rectangular meshes, In S. M. Watt, editor, International Symposium on Symbolic and Algebraic Computation,
ISSAC’91, Bonn, July 15-17, 419–426, ACM Press, New York, (1991).
13. R. Liska. Numerical code generation for finite difference schemes solving, In R. Vichnevetsky and J.J.H.
Miller, editors, IMACS’91 13th World Congress on Computation and Applied Mathematics, July 22-26, 1991,
92–93, IMACS, Dublin, (1991).
14. L. Drska, T. Jerie, R. Liska, M. Sinor, J. Turek, and J. Vondrasek. Computer assisted learning at the FNSPE:
tools and applications, In International Workshop Computer Aided Learning and Simulation Technologies,
Prague, June 24 to 27, 6–9, Czech Technical University, Prague, (1991).
15. L. Drska, T. Jerie, R. Liska, M. Sinor, J. Turek, and J. Vondrasek. The authoring system GENIE and its
applications, In E. N. Forte, editor, International Conference on Computer Aided Learning and Instruction
in Science and Engineering, CALISCE’91, Lausanne, September 9-11, 251–256, Presses polytechniques et
universitaires romandes, Lausanne, (1991).
16. L. Drska, R. Liska, M. Sinor, J. Turek, and J. Vondrasek. Supplementary packages for cal/cai purposes, In
E. N. Forte, editor, International Conference on Computer Aided Learning and Instruction in Science and
Engineering, CALISCE’91, Lausanne, September 9-11, 541–542, Presses polytechniques et universitaires
romandes, Lausanne, (1991).
17. L. Drska, R. Liska, M. Sinor, and J. Vondrasek. Computer algebra application in high-tech physics education,
In E. N. Forte, editor, International Conference on Computer Aided Learning and Instruction in Science
and Engineering, CALISCE’91, Lausanne, September 9-11, 583–584, Presses polytechniques et universitaires
romandes, Lausanne, (1991).
18. R. Liska. Numerical code generation for finite difference schemes solving, In C. Brezinski and U. Kulisch,
editors, Computational and Applied Mathematics I - Algorithms and Theory, Selected and revised papers
from the 13th IMACS World Congress, Dublin, Ireland, July 1991, 295–303, Elsevier, IMACS, Amsterdam,
(1992).
19. L. Drska, J. Limpouch, and R. Liska. Fokker-planck simulations of ultrashort-pulse laser-plasma interactions
in plane and cylindrical geometries, In 20-th ECLIM, European Conference on Laser Interaction with Matter,
Warsaw, 23–26, 1991.
20. R. Liska. Computer Algebra in Simulation Code Development, In E. Kant, editor, Intelligent Scientific Computation,
AAAI Fall Symposium Series, Cambridge, Massachusetts October 23-25, 1992 AAAI , Menlo Park
(1992).
21. L. Drska, J. Limpouch, and R. Liska. Symbolic computations in simulation code development and femtosecondpulse
laser-plasma interaction studies, In R.A. de Groot and J. Nadrchal, editors, Physics Computing ’92,
318–319, World Scientific, Singapore, (1993). Prague, August 24-28, 1992.
22. L. Drska, R. Liska, and M. Sinor. Computer algebra and integrated mathematical systems in education of
physical sciences, In R.A. de Groot and J. Nadrchal, editors, Physics Computing ’92, 320–321, World Scientific,
Singapore, (1993). Prague, August 24-28, 1992.
23. S. Steinberg and R. Liska. Stability analysis by quantifier elimination, In G. Jacob, editor, Proceedings of
IMACS Symposium, Symbolic Computing, (1993). Lille, June 14 - 17, 1993. (In press).
4

24. R. Liska, L. Drska, and J. Limpouch. Ultra-short laser-plasma interactions by fokker-planck simulation code
developed by computer algebra tools, In Abstract of the Meeting of the Physical Society of Japan, 48-th Annual
Meeting Part 4, March 29 - April 1, 1993, 173, Sendai, Physical Society of Japan, (1993).
25. L. Drska, J. Limpouch, R. Liska, M. Sinor, J. Vondrasek, and A.A. Andreev. Theory and simulaitons of
ultrashort-pulse laser-plasma interactions, In 16-th Symposium on Plasma Physics and Technology, 52–56,
Prague, (1993). Czech Technical University, Institute of Plasma Physics. April 27 - 29, 1993.
26. R. Liska and S. Steinberg. Solving stability problems using quantifier elimination. In R. Jeltsch and M. Mansour,
editors, Stability Theory, Proceedings of Conference on Centennial Hurwitz on Stability Theory, pages
205–210, Basel, 1996. Birkhäuser Verlag. International Series of Numerical Mathematics (ISNM) Vol. 121.
27. C.T. Abdallah, P. Dorato, W. Yang, R. Liska, and S. Steinberg. Applications of quantifier elimination theory
to control system design. Proceedings 4th IEEE Mediteranean Symposium on Control and Automation, June
1996, Maleme, Crete, pp. 340–345.
28. R. Liska and B. Wendroff. Composite Centered Schemes for Multidimensional Conservation Laws. In Hyperbolic
Problems: Theory, Numerics, Applications, Seventh International Conference in Zürich, February 1998,
Vol. II ETH Zürich, February 9-13, 1998. Editors M. Fey and R. Jeltsch, 661-670, Birkhäuser, ISNM Vol.130,
Basel, 1999.
29. R. Liska and B. Wendroff. Where numerics can benefit from computer algebra in finite difference modelling
of fluid flows. In V. Ganzha, E.W. Mayr, and E.V. Vorozhtsov, editors, Computer Algebra in Scientific
Computing, CASC-99, pages 268–286, Berlin, Heidelberg, 1999. Springer-Verlag. Proceedings of the Second
Workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4, 1999.
30. R. Liska and B. Wendroff. Shallow water conservation laws on a sphere. In H. Freistühler and G. Warnecke,
editors, Hyperbolic Problems: Theory, Numerics, Applications, Eighth International Conference in Magdeburg,
February/March 2000, Vol. II, pages 673–682, Birkhäuser, ISNM Vol. 141, Basel, 2001.
31. K. Kozel, M. Janda, and R. Liska. Composite schemes on triangular meshes. In H. Freistühler and G.
Warnecke, editors, Hyperbolic Problems: Theory, Numerics, Applications, Eighth International Conference in
Magdeburg, February/March 2000, Vol. II, pages 563–572, Birkhäuser, ISNM Vol. 141, Basel, 2001.
32. L. Kocbach and R. Liska. Automatic construction of code for two-electron repulsion matrix elements in
travelling gaussian basis for atomic collisions using computer algebra. In XXII ICPEAC, Twenty Second
International Conference on Photonic, Electronic and Atomic Collisions, page 526, Santa Fe, 2001. July
18-24, 2001.
33. R. Liska and B. Wendroff. Comparison of several difference schemes for the Euler equations in 1D and 2D.
In T. Hou and E. Tadmor, editors, Hyperbolic Problems Theory, Numerics, Applications Ninth International
Conference in Pasadena March 2002. pages 831–840, Berlin, Heidelberg, Springer, 2003.
34. R. Liska and M. Shashkov. Analysis and optimization of scalar products for support operator method on
triangular grid. In 8th International Conference on Applications of Computer Algebra, Abstracts, ACA 2002,
June 25-28, 2002, Volos, Greece, page 136. University of Thessaly, Volos, Greece; Wilfrid Laurier University,
Waterloo, Ontario, Canada, 2002.
35. R. Liska, M. Shashkov, and B. Wendroff. Lagrangian composite schemes on triangular unstructured grids. In
M. Kočandrlová and V. Kelar, editors, Mathematical and Computer Modelling in Science and Engineering,
International Conference in honour of the 80th birthday of K. Rektorys, pages 216–220, Prague, 2003. Union
of Czech Mathematicians and Physicists.
36. V. Ganzha, R. Liska, M. Shashkov, and C. Zenger. Mimetic finite difference methods for diffusion equations
on unstructured triangular grid. In K. J. Bathe, editor, Compilation of Abstracts for the Second M.I.T.
Conference on Computational Fluid and Solid Mechanics, June 17-20, 2003, page 66, Cambridge, MA, 2003.
Massachusetts Institute of Technology.
37. V. Ganzha, R. Liska, M. Shashkov, and C. Zenger. Mimetic finite difference methods for diffusion equations
on unstructured triangular grid. In M. Feistauer, V. Dolejˇsí, P. Knobloch, K. Najzar editors Proceedings of
Enumath 2003, pages 368–377, Springer-Verlag, 2004.
5

38. P. Váchal, R. Liska, and B. Wendroff. Fully two-dimensional HLLEC riemann solver and associated difference
schemes. In M. Feistauer, V. Dolejˇsí, P. Knobloch, K. Najzar editors Proceedings of Enumath 2003, pages
815–824, Springer-Verlag, 2004.
39. M. Kuchaˇrík, J. Limpouch, R. Liska, and P. Havlík. ALE simulations of laser interactions with flyer targets.
In Proceedings of XXVIII ECLIM, 2005. To appear.
40. M. Kuchaˇrík and R. Liska. Arbitrary Lagrangian-Eulerian (ALE) code for plasma simulations. In M. Beneˇs,
J. Mikyˇska, and T. Oberhuber, editors, Proceedings of Czech-Japanese Seminar in Applied Mathematics 2004,
pages 96–105. Czech Technical University in Prague, 2005. Prague August 4-7, 2004, ISBN 80-01-03181-0.
41. Pavel Váchal, Richard Liska, and Burton Wendroff. Fully two dimensional HLLEC Riemann solver. In
M. Beneˇs, J. Mikyˇska, and T. Oberhuber, editors, Proceedings of Czech-Japanese Seminar in Applied Mathematics
2004, pages 195–206. Czech Technical University in Prague, 2005. Prague August 4-7, 2004, ISBN
80-01-03181-0.
42. P. Bureˇs and R. Liska. Hybrid schemes for euler equations in lagrangian coordinates. In A. Handlovičová,
Z. Krivá, K. Mikula, and D. ˇ Sevčovič, editors, Algoritmy 2005, pages 83–92. Slovak University of Technology,
Bratislava, 2005. 17th Conference on Scientific Computing, Vysoké Tatry, Podbánské, Slovakia, March 13-18,
2005, ISBN 80-227-2192-1.
1.1.3 Workshops of Czech Technical University
1. R. Liska and L. Drska Towards automation of finite difference method, In Workshop 92, Prague, January
20-24, 1992, Part A, 15-16, Czech Technical University, Prague, (1992).
2. J. Limpouch, L. Drska, and R. Liska. Ultrashort laser-plasma interaction via numerical simulation, In Workshop
92, Prague, January 20-24, 1992, Part A, 111-112, Czech Technical University, Prague, (1992).
3. L. Drska, R. Liska, M. Sinor, and J. Vondrasek. Computer algebra in education of physical sciences, In
Workshop 92, Prague, January 20-24, 1992, Part A, 239-240, Czech Technical University, Prague, (1992).
4. L. Drska, J. Limpouch, R. Liska, M. Sinor, and J. Vondrasek. Project super: Computer simulation of system
with high energy densities, In Proceedings of the Annual AI-IBM 92, Prague, Czech Technical University,
(1992).
5. R. Liska and J. Limpouch. Using computer algebra in finite difference method, In Workshop 93, Prague, Part
A, 125–126, Czech Technical University, Prague, (1993).
6. J. Limpouch, R. Liska, L. Drska, and A. Andreev. Ultrashort-pulse laser interactions with dense plasmas, In
Workshop 93, Prague, Part B, 107–108, Czech Technical University, Prague, (1993).
7. L. Drska, R. Liska, M. Sinor, and J. Vondrasek. Integrated computing systems and the communication of
knowledge, In Workshop 93, Prague, Part A, 127–128, Czech Technical University, Prague, (1993).
8. R. Liska and S. Steinberg. Stability analysis by quantifier elimination, In CTU Seminar 94, Prague, Part A,
29–30, Czech Technical University, Prague, (1994).
9. L. Drska, J. Limpouch, R. Liska, M. Sinor, and J. Vondrasek. A computerized course of computer algebra, In
CTU Seminar 94, Prague, Part A, 135–136, Czech Technical University, Prague, (1994).
10. R. Liska and L. Kocbach. Validation and Generation of Symbolic-Numeric Algorithms, In Workshop 95, Part
I, 199–200, Czech Technical University, Prague, (1995).
11. L. Drska, J. Limpouch, R. Liska, and M. Sinor. Simulation Studies Related to Magnetized High-Parameter
Plasma Systems, In Workshop 95, Part I, 81–82, Czech Technical University, Prague, (1995).
12. L. Drska, R. Liska, M. Sinor, and J. Vondrasek. Development Projects in Computer Supported Education of
Physical Engineering, In Workshop 95, Part III, 891–892, Czech Technical University, Prague, (1995).
13. R. Liska, L. Margolin, and B. Wendroff. Well-posedness analysis of nonhydrostatic two-layer models of
incompressible flow. In Workshop 96, Part I, pages 25–26, Brno, 1996. Technical University.
6

14. H. Hong, R. Liska, and S. Steinberg. Testing stability by quantifier elimination. In Workshop 96, Part I,
pages 27–28, Brno, 1996. Technical University.
15. R. Liska and B. Wendroff. Composite schemes for conservation laws. In Workshop 97, Part I, pages 31–32,
Prague, 1997. Czech Technical University.
16. P.P. Delsanto, L. Drska, R. Liska, and M. Sinor. Implementation of method lisa: Application to wave propagation
in 2D systems. In Workshop 97, Part I, pages 125–126, Prague, 1997. Czech Technical University.
17. L. Drska, R. Liska, and M. Sinor. Using integrated computing systems and courseware packages in physics
teaching. In Workshop 97, Part I, pages 127–128, Prague, 1997. Czech Technical University.
18. R. Liska and B. Wendroff. Solution of 2D Shallow Water Equations by Composite Schemes. In Workshop 98,
Part I, pages 17–18, Czech Technical University, Prague (1998).
19. H. Hong, R. Liska, N. Robidoux and S. Steinberg. Parallel Quantifier Elimination. In Workshop 98, Part I,
pages 171–172, Czech Technical University, Prague (1998).
20. P.P. Delsanto, L. Drska, R. Liska and M. Sinor. Solution of the Elastodynamic Wave Equation in 2D and 3D.
In Workshop 98, Part I, pages 55-56, Czech Technical University, Prague (1998).
21. L. Drska, R. Liska and M. Sinor. ICS Support for the Teaching Introductory and Advanced Physics Courses.
In Workshop 98, Part I, pages 73–74, Czech Technical University, Prague (1998).
22. R. Liska and B. Wendroff. Composite centered schemes for conservation laws in 3D. In Proceedings of
Workshop 99, page 50, Prague, 1999. Czech Technical University. CPU Reports, Special issue, Vol. 3.
23. R. Liska and B. Wendroff. Dimensionally reduced models of fluid flow and symbolic computing. In Proceedings
of Workshop 2000, page 23, Prague, 2000. Czech Technical University. CTU Reports, Special issue, Vol. 4.
24. R. Liska, L. Drska, A. Iskakov, M. Kuchaˇrík, J. Limpouch, and M. Sinor. Hydrodynamics modeling of targets
for high density plasma generation. In Proceedings of Workshop 2002, Part A, volume 6 of CTU Reports,
pages 168–169, Prague, 2002. Czech Technical University in Prague.
25. R. Liska, L. Drˇska, Z. Jeriová, M. Kuchaˇrík, J. Limpouch, M. ˇ Siňor, and P. Váchal. Difference schemes for
conservation laws and hydrodynamics modelling in plasma physics. In Proceedings of Workshop 2003, Part
A, volume 7 of CTU Reports, pages 176–177, Prague, 2003. Czech Technical University in Prague.
26. Milan Kuchaˇrík, Richard Liska, Jiˇrí Limpouch, and Pavel Váchal. Arbitrary Lagrangian-Eulerian (ALE)
Methods in Plasma Physics. In Proceedings of Workshop 2004, volume 8 of CTU Reports, pages 82–83,
Prague, March 2004. Czech Technical University in Prague.
27. Milan Kuchaˇrík, Richard Liska, , and Pavel Bureˇs. Development of arbitrary Lagrangian-Eulerian (ALE)
methods in plasma physics. In Proceedings of Workshop 2005, volume 9 of CTU Reports, pages 120–121,
Prague, March 2005. Czech Technical University in Prague.
28. P. Váchal and R. Liska. Computational meshes for plasma physics and fluid dynamics. In Proceedings of
Workshop 2005, volume 9 of CTU Reports, pages 130–131, Prague, March 2005. Czech Technical University
in Prague.
29. J. Limpouch, M. Kálal, R. Liska, M. ˇ Siňor, E. Krousk´y, K. Maˇsek, A. Kasperczuk, T. Pisarczyk, N. Demchenko,
and S. Guskov. Laser interactions with low-density foams. In Proceedings of Workshop 2005, volume 9
of CTU Reports, pages 104–105, Prague, March 2005. Czech Technical University in Prague.
1.2 Submitted papers
1. M. Kuchaˇrík, R. Liska, M. Shashkov, and P. Váchal. Conservative interpolations in Arbitrary Lagrangian-
Eulerian (ALE) codes. In Proceedings of ICCAM 2004, 2005. Submitted.
2. M. Kuchaˇrík, R. Liska, and M. Shashkov. Conservative remapping and ALE methods for plasma physics.
In HYP 2004, Tenth International Conference on Hyperbolic Problems. Theory, Numerics and Applications.
Osaka University, 2005. Submitted.
7

3. Pavel Váchal, Richard Liska, and Burton Wendroff. Numerical methods for Euler equations using fully twodimensional
HLLEC Riemann solver. In HYP 2004, Tenth International Conference on Hyperbolic Problems.
Theory, Numerics and Applications. Osaka University, 2005. Submitted.
1.3 Technical Reports
1 V. G. Ganzha and R. Liska. Application of the REDUCE Computer Algebra System to Stability Analysis of
Difference Schemes. Technical Report TUM-I8813, Technical Universität München, München, (1988).
2 C.T. Abdallah, P. Dorato, W. Yang, R. Liska, and S. Steinberg. Applications of quantifier elimination theory to
control system design. Technical Report EECE95-007, University of New Mexico, Albuquerque, 1995.
3 L. Kocbach and R. Liska. Generation of validated algorithms for symbolic-numeric processing. Technical Report
1995/19, University of Bergen, Dept. of Physics, Bergen, Norway, 1995.
4 L. Kocbach and R. Liska. Matrix elements of travelling guassians for applications in the theory of atomic
collisions. Technical Report 1995/20, University of Bergen, Dept. of Physics, Bergen, Norway, 1995.
5 Elaine Kant, Ada Shuk-Han Yau, Richard Liska, and Stanly Steinberg. A problem-solving environment for generating
certifiably correct problems to solve evolution equations. Preprint, UNM, Albuquerque,March 1995.
6 R. Liska, L. Drska, V. Ganzha, J. Limpouch, M. Shashkov, M. Sinor, and A. Solovjov. FIDE, A REDUCE package
for automation of FInite difference method for partial Differential Equation solving version 2.0, user’s manual.
Technical report, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University, Prague,
1996.
7 R. Liska and B. Wendroff. Analysis and computation with multi-layer fluid models. Technical Report LA-UR
96-384, Los Alamos National Laboratory, Los Alamos, 1996.
8 R. Liska and B. Wendroff. Composite schemes for conservation laws. Technical Report LA-UR 96-3589, LANL,
Los Alamos, 1996.
9 R. Liska and B. Wendroff. 2D Shallow Water Equations by Composite Schemes. Technical Report LAUR-97-4879,
LANL, Los Alamos, 1997.
10 R. Liska and B. Wendroff. Posedness Analysis of Two-Layer Vertically Averaged Models of Incompressible Flow.
Technical Report, Czech Technical University, Prague, 1997.
11 S. Kawata, C. Boonmee, T. Teramoto, L. Drska, J. Limpouch, R. Liska and M. Sinor. Computer-Assisted
Particle-in-Cell Code Development. Technical Report NIFS-533, National Institute fo Fusion Research,
Nagoya, 1997.
12 R. Liska and B. Wendroff. Composite Centered Schemes for Multidimensional Conservation Laws. Technical
Report LA-UR 98-2216, LANL, Los Alamos, 1998.
13 R. Liska, M. Shashkov and B. Swartz. Smoothly Blending Successive Circular Interpolants in Two and Three
Dimensions Technical Report LA-UR 98-4969, LANL, Los Alamos, 1998.
14 Victor Ganzha, Richard Liska, Mikhail Shashkov, and Christoph Zenger. Mimetic finite difference methods
for elliptic equations on unstructured triangular grid. Technical Report TUM-I0108, Technical University of
Munich, Department of Informatics,Arcisstrasse 21, 80333 Munich, Germany, 2001.
1.4 Publications in Czech Language
1 R. Liska. Systémy pro počítačové zpracování algebraick´ych v´yraz˚u (Systems for computer processing of algebraic
expressions), Rozhledy matematicko-fyzikální, 64, 54–58, (1985).
2 L. Drˇska and R. Liska. Umělá inteligence a v´yukové programy pro fyzikální obory realizované na mikropočítačích
(Artificial intelligence and tutoring programs on microcomputers for physical branches), In Mikropočítače ve
fyzikálním v´yzkumu a v´yuce, Skalsk´y Dv˚ur, June 23-27, 19–25, UJEP, Brno, (1986).
8

3 R. Liska. Několik rozˇsíˇrení systému pro algebraické programování REDUCE (Several extensions of computer
algebra system REDUCE), Acta Polytechnica IV, 10, 113–123, (1987).
4 R. Liska. Počítačová algebra - algoritmy, systémy a aplikace (Computer algebra - algorithms, systems and applications),
In Matematické metody ˇreˇsení fyzikálních problém˚u, 97–107, Stará Turá, (1988).
5 R. Liska. Počítačová algebra - expertní systémy pro analytické v´ypočty (Computer algebra - expert systems for
analytical calculations), In Aplikace umělé inteligence AI’90, 51–58, Ústav pro informační systémy v kultuˇre,
Praha, (1990).
6 R. Liska. Symbolické a numerické v´ypočty ve vědě a technice aneb co nám počítače dovolují a nedovolují spočítat.
Department of Mathemetics Report Series, University of South Bohemia, České Budějovice, Pedagogical Faculty,
11:113–122, 2003.
1.5 Technical Reports in Czech Language
1 Systém REDUCE 2 a jeho pouˇzití na počítačové manipulace se symboly ve fyzice plazmatu (System REDUCE
2 and its using for computer manipulation with symbols in plasma physics). FJFI ČVUT, Praha, (1982).
Diplomová práce (Master thesis).
2 Vnitˇrní stavba systému REDUCE a sráˇzkové členy fluidních rovnic plazmatu (Internal structure of REDUCE
system and collision terms of plasma fluid equations). FJFI ČVUT, Praha, (1986). Práce ke kandidátskému
minimu (Minimum Ph.D. thesis).
3 Pouˇzití počítačové algebry na pˇrípravu numerického ˇreˇsení rovnic kinetiky elektromagnetick´ych proces˚u (Using
computer algebra for prepearing numerical solution of electromagnetic proceses kinetics equations) FJFI
ČVUT, Praha, (1989). Disertační práce (PhDr. thesis).
2 Research Support
2.1 Principal Investigator
1992 8106, Studie a uˇzití diferenčních schemat prostˇredky počítačové algebry (Studies and applications of difference
schemes by computer algebra means), Grant of Czech Technical University
1993-97 U.S.-Czech Mathematics Research on Symbolic Derivation, Analysis, and Programming of Finite Difference
Schemes, National Science Foundation (NSF) grant INT 92-12433 (Czech principal investigator).
1994-95 201/94/1209, Symbolické odvození, anal´yza a programování diferenčních schemat a algebraick´ych algoritm˚u
(Symbolic Derivation, Analysis and Programming of Difference Schemes and Algebraic Algorithms),
GAČR (Grant Agency of Czech Republic)
1996 ES 016(1996), U.S.-Czech Mathematics Research on Symbolic Derivation, Analysis, and Programming of
Finite Difference Schemes, program Kontakt, M ˇ SMT (Czech Ministry of Education)
1996-99 CCR-9531828, Symbolic Computing and Dimensionally Reduced Models of Fluid Flow, NSF (Czech
principal investigator)
1997-99 ME 050 (1997), Symbolické v´ypočty a rozměrově redukované modely proudění tekutin (Symbolic Computing
and Dimensionally Reduced Models of Fluid Flow), program Kontakt, M ˇ SMT (Czech Ministry of
Education)
1998 PG 98213, International Conference “Applications of Computer Algebra” (ACA’98), program Prezentace,
M ˇ SMT (Czech Ministry of Education)
1998 PG 98214, Support for participation in the conference “Hyperbolic Problems”, program Prezentace, M ˇ SMT
(Czech Ministry of Education)
2000-2002 201/00/0586, Diferenční schemata pro zákony zachování a modelování laserem generovaného plazmatu
(Difference schemes for conservation laws and modelling of laser generated plasma), GAČR (Grant Agency
of Czech Republic)
9

2000-2003 CZE-00-010, Mimetické metody konečn´ych diferencí pro difusní rovnice (Mimetic finite difference methods
for diffusion equations), Czech-German project, program Kontakt, M ˇ SMT (Czech Ministry of Education)
2.2 Participation
1981-85 I-3-3/01 Teorie a počítačová fyzika laserového plazmatu (Theory and computational physics of laser
plasma), Governmental task in basic research
1986-90 I-7-3/04 Modelovaní fyzikálních proces˚u v interakčních experimentech (Modelling of physical processes
in interaction experiments), Governmental task in basic research
1986-90 A-08-333-811/01 Zpracování a ověˇrení v´yukov´ych program˚u pro vybrané skupiny pˇredmět˚u vysok´ych ˇskol
(Preparing and testing of educational programs for selected groups of universities subjects), Governmental
task in technical and applied research
1991-92 SUPER Počítačová simulace systém˚u s vysokou hustotou energie (Computer simulation of systems with
high energy densities), Academic Initiative of IBM in Czechoslovakia
1996 0217/96 Laboratoˇr informatické fyziky a kompetenční centrum pro IVS (Laboratory of informatics physics
and competence center for integrated computational systems), FRVˇ S ČR (Universities Development Fund of
Czech Republic)
1996 0219/96 Soubor kurs˚u pro podporu modernizace studia technick´ych obor˚u (Package of courses for support
of modernization of study in technical fields) , FRVˇ S ČR (Universities Development Fund of Czech Republic)
1995-97 CIPA-CT94-0132 Development of Wave Propagation Simulation Techniques for the Ultrasonic Characterization
of Structural Materials, EU COPERNICUS,
1996 3296017 Počítačové algebraické systémy a jejich vyuˇzití ve v´yuce matematick´ych a fyzikálních obor˚u na
ČVUT (Computer algebra systems and their usage in education of mathematical and physical branches on
CTU), internal grant CTU (Czech Technical University),
since 1997 several others
3 Presentations
3.1 International Presentations
3.1.1 Invited Talks
July 88 Computer algebra in plasma physics and numerical PDEs solving, DENIM, Universidad Politechnica de
Madrid. Invited talk.
March 89 Applications of the REDUCE system to automation of numerical PDEs solving, USSR seminar: Analytical
calculations on computer in theoretical and mathematical physics, JIRN, Dubna, USSR. Invited
talk.
May 90 Automation of numerical solution of PDE systems, IV. International Conference on Computer Algebra
in Physical Research, JINR, Dubna, USSR. Invited talk.
April 91 Using computer algebra for preparing numerical solution of PDEs, Workshop: Computer algebra as tool
in physics, University of Bergen, Norway, April 13-19. Invited talk.
April 91 Towards Automation of Finite Difference Method for Solving PDE, ZIB Berlin, Konrad-Zuse-Zentrum
für Informationstechnik, April 22-24. Invited talk.
Dec. 91 Computer Algebra Applied to the Finite Difference Method for Solving PDEs, Belgium meeting on computer
algebra, Mons, Belgium, December 13. Invited talk.
July 92 Applications of computer algebra, RICA’92, RISC-LINZ Summer School in Computer Algebra, Linz,
Austria. Invited talk.
10

July 92 Symbolic Computation Techniques in the Finite Difference Method for Solving PDEs, NSF Workshop on
Integrated Symbolic-Numeric Computing, Berkeley, CA. Invited talk.
Oct. 92 Computer Algebra in Simulation Code Development, Intelligent Scientific Computation, AAAI Fall Symposium
Series, Cambridge, MA. Invited talk.
June 94 Principal speaker at the workshop ”Knowledge Engineering and Computer Algebra”, CNLS LANL, Los
Alamos, June 30-July 1, 1994 (invited):
(With M. Wester) Algebraic Computing Concepts
Applications of Computer Algebra
(With M. Shashkov) Support-Operators Method for PDE Discretization: Symbolic Algorithms and Realization
(With S. Steinberg) Stability Analysis of Finite Difference Schemes Using Computer Algebra
Feb 95 Treating Stability Problems by Computer Algebra, colloquium talk, Universität Passau, February 14, 1995.
Invited talk.
Mar 99 Where Numerics can Benefit from Symbolic Computing in Finite Difference Modelling of Fluid Flows,
SFB colloquium talk, Johannes Kepler University, Linz. March 10, 1999. Invited talk.
Mar 99 Smoothly Blending Successive Circular Interpolants in Two and Three Dimensions, RISC, Johannes Kepler
University, Linz. March 11, 1999. Invited talk.
May 99 Where numerics can benefit from computer algebra in finite difference modelling of fluid flows, Computer
Algebra in Scientific Computing, CASC-99, Munich, May 31-June 4, 1999. Invited talk.
June 99 Finite Difference Numerical Modelling Supported by Computer Algebra, IMACS ACA’99, El Escorial,
Spain, June 24-27, 1999. Invited talk, key speaker.
March 2000 Composite Schemes for Conservation Laws, Systems of Conservation Laws and Related Topics: A
Conference Celebrating Burt Wendroff’s 70-th Birthday, Los Alamos National Laboratory, Los Alamos, New
Mexico, March 8-10, 2000. Invited talk.
April 2001 Composite Schemes for Conservation Laws, International Conference on Mathematical Modelling and
Scientific Computing, April 2 - 6, 2001, Ankara and Konya, Turkey. Invited talk.
3.1.2 Other Presentations
Oct. 85 (With L. Drska and J. Vondrasek, by L. Drska) Computational studies of transport and nucleoreactive
processes in hot dense matter, 17-th ECLIM, Rome, Poster.
May 87 (With L. Drska) Computer algebra application to the physics of high parameter plasmas, 18-th ECLIM,
Prague, (1987), Poster.
June 87 (With L. Drska) Evaluation of plasma fluid equations collision integrals using REDUCE, EUROCAL’87,
Leipzig.
June 87 (With L. Drska) Project of a system for automation of numerical PDE’s solution, EUROCAL’87, Leipzig,
Poster.
Sept. 89 (With L. Drska) REDUCE L ATEX formula interface, Man-machine Interface in Scientific Environment,
Eighth Summer School on computing Techniques in Physics, Skalsk´y Dv˚ur, Czechoslovakia.
Sept. 89 (With L. Drska and M. Sinor) General computation physics micropackage, Man-machine Interface in Scientific
Environment, Eighth Summer School on computing Techniques in Physics, Skalsk´y Dv˚ur, Czechoslovakia.
Aug. 90 (With L. Drska) FIDE: A REDUCE package for automation of FInite difference method for solving pDE:,
ISSAC’90, Tokyo.
July 91 (With M. Yu. Shashkov) Algorithms for difference schemes construction on non-orthogonal logically rectangular
meshes, International Symposium on Symbolic and Algebraic Computation, ISSAC’91, Bonn.
11

Sept. 91 (With L. Drska, T. Jerie, M. Sinor, J. Turek and J. Vondrasek , by L. Drska) Authoring System for
Courseware Development: Artificial Intelligence Aspects, CAEE91, International Conference on Computer
Aided Engineering Education, Prague. Keynote paper.
July 92 (With M. Yu. Shashkov and A.V. Solovjov) Support-operators method for PDE discretization: symbolic
algorithms and realization, International Symposium on Symbolic and Algebraic Computation, ISSAC’92,
Berkeley, CA. Poster.
Dec. 92 - Jan. 93 Series of lectures: Algebraic Computing Concepts, Applications of Computer Algebra, Computer
Algebra in Simulation Code Development (with Application to Fokker-Planck Equation), Computer Aided
Education Programs for Sciences, Teikyo University of Technology, Ichihara, Chiba, Japan.
Jan. 93 Series of lectures: Computer Algebra in Simulation Code Development , Applications of Computer Algebra,
Nagaoka University of Technology, Nagaoka, Japan.
March 93 Computer Algebra in Simulation Code Development (with Application to Fokker-Planck Equation),
Tokyo University of Agriculture and Technology, Tokyo.
March 93 Ultra-short Laser-plasma Interactions by Fokker-Planck Simulation Code Developed by Computer algebra
Tools, Meeting of the Physical Society of Japan, 48-th Annual Meeting, Tohoku University, Sendai,
Japan.
May 93 Computer Algebra in Simulation Code Development, Nihon University, Tokyo.
May 93 Computer Algebra in Simulation Code Development, Osaka University, Institute of Laser Engineering,
Osaka.
Oct. 93 (With S. Steinberg) Applying Quantifier Elimination to Stability Analysis of Difference Schemes Symposium
on Quantifier Elimination and Cylindrical Algebraic Decomposition, RISC Linz, Austria.
Jan 95 (With S. Steinberg, by S. Steinberg) Using Quantifier Elimination to Analyze Stability Problems, invited
to the special session ”Applied Logic”, Joint Mathematics Meetings, AMS, San Francisco, CA, January 4-7,
1995.
May 95 (With S. Steinberg) Stability Analysis by Quantifier Elimination, 1-st Intarnational IMACS Conference
on Applications of Computer Algebra, Albuquerque, New Mexico.
May 95 (With H. Hong, M. Jahn, N. Robidoux, and S. Steinberg, by H. Hong) Parallel Quantifier Elimination
on the SP2, 1-st Intarnational IMACS Conference on Applications of Computer Algebra, Albuquerque, New
Mexico.
May 95 (With S. Steinberg, by S. Steinberg) Solving stability problems using quantifier elimination, Conference
on Centennial Hurwitz on Stability Theory Monte Verita, Ticino, Switzerland.
Jul 96 (With S. Steinberg) The Stability of Boundary Conditions 2-nd IMACS International Conference on Applications
of Computer Algebra, RISC, Linz, Austria.
Sept 96 (With B. Wendroff) Analysis and Computation with Multi-layer Fluid Flows Department of Mathematics
and Statistics, University of New Mexico, Albuquerque, New Mexico.
Jun 97 (With B. Wendroff) Vertically Averaged Stratified Fluid Models. Poster. Fourth SIAM Conference on
Mathematical and Computational Issues in the Geosciences, June 16-19, Albuquerque, New Mexico.
Jul 97 (With H. Hong, N. Robidoux, S. Steinberg) Parallel Quantifier Elimination. Third International IMACS
Conference on Applications of Computer Algebra, July 24-26, Maui, Hawaii.
Jun 97 (With B. Wendroff) Vertically Averaged Stratified Fluid Models - Analysis and Numerical Solution Supported
by Computer Albegra Tools. Third International IMACS Conference on Applications of Computer
Algebra, July 24-26, Maui, Hawaii.
Feb 98 (With B. Wendroff) Composite Centered Schemes for Multidimensional Conservation Laws. Seventh International
Conference on Hyperbolic Problems Theory, Numerics, Applications, ETH Zürich, February 9-13,
1998.
12

Oct 98 (with H. Hong, N. Robidoux, S. Steinberg by H. Hong) Eliminating Variables in Parallel, Parallel Computing
Workshop, Mathematical Sciences Research Institute, Berkeley, CA.
Sept 99 (With B. Wendroff) Composite Schemes for Conservation Laws, University of New Mexico, September
28, 1999.
March 2000 (With B. Wendroff) Shallow water conservation laws on a sphere, Eighth International Conference
on Hyperbolic Problems Theory, Numerics, Applications (HYP2000), Magdeburg, Germany.
March 2000 (With K. Kozel and M. Janda, by K. Kozel) Composite schemes on triangular meshes, Eighth
International Conference on Hyperbolic Problems Theory, Numerics, Applications (HYP2000), Magdeburg,
Germany.
June 2001 M. Kuchaˇrík, R. Liska, S. Steinberg, and B. Wendroff. Development and analysis of 3D non-split
optimally stable lax-wendroff type difference scheme for conservation laws, 2001. ACA’2001, Conference on
Applications of Computer Algebra, Technical Vocational Institute, Albuquerque, New Mexico, USA, May
31-June 3, 2001.
March 2002 R. Liska and B. Wendroff. Comparison of several difference schemes for the euler equations in 1D and
2D. In Ninth International Conference on Hyperbolic Problems Theory, Numerics, Applications, California
Institute of Technology, Pasadena, California March 25-29, 2002, 2002. Book of Abstracts.
June 2002 L. Drska, M. Kuchaˇrík, J. Limpouch, R. Liska, M. Sinor, and A. Iskakov. Hydrodynamical modeling
of targets compression to high densities. 20-th Symposium of Plasma Physics and Technology, Prague, June
10-13 2002. Poster.
3.2 Czech Presentations
June 86 (With L. Drˇska) Umělá inteligence a v´yukové programy pro fyzikální obory realizované na mikropočítačích
(Artificial intelligence and tutoring programs on microcomputers for physical branches), Mikropočítače ve
fyzikálním v´yzkumu a v´yuce, Skalsk´y Dv˚ur.
June 88 Počítačová algebra - algoritmy, systémy a aplikace (Computer algebra - algorithms, systems and applications),
Matematické metody ˇreˇsení fyzikálních problém˚u, Stará Turá. Zvan´y referát (Invited talk).
Sept. 89 (With L. Drˇska, M. ˇ Siňor, and J. Vondráˇsek, by L. Drˇska) Umělá inteligence a v´yuka fyzikálního
inˇzen´yrství (Artificial intelligence and education of physical engineering), Elektronizace ve v´ychově a vzdělávání
v čSSR a zemích RVHP, Praha. Prezentační program (Presentation program).
Sept. 89 Expertní systém PC ESPRIT (Expert system PC ESPRIT), Elektronizace ve v´ychově a vzdělávání v
čSSR a zemích RVHP, Praha, (1989). Demonstrace (Demonstration).
March 90 Počítačová algebra - expertní systémy pro analytické v´ypočty (Computer algebra - expert systems for
analytical calculations), Aplikace umělé inteligence AI’90, Praha.
Oct. 90 Počítačová algebra jako nástroj pˇri numerickém ˇreˇsení parciálních diferenciálních rovnic (Computer algebra
as a tool during numerical solving of partial differential equations), Matematické metody ˇreˇsení fyzikálních
problém˚u, Stará Turá, October 22-26, (1990). Zvan´y referát (Invited talk).
4 Organization of Conferences and Editing of Journals
May 95 Organized special session ”Quantifier Elimination and its Applicaitons” for the 1-st Intarnational IMACS
Conference on Applications of Computer Algebra, Albuquerque, New Mexico, USA.
95-97 Guest editor of special issue of the Journal of Symbolic Computation on ”Applications of Quantifier Elimination”
appeared as Vol. 24, Number 2, August 1997, pp. 123 – 231
96 Member of program committee of ISSAC’96, International Symposium on Symbolic and Algebraic Computation,
Zurich, Switzerland.
13

96 Member of program committee of the 2-nd International IMACS Conference on Applications of Computer
Algebra, RISC Linz, Austria. Organized special session ”Quantifier Elimination”
Aug 97 Organized special session ”Quantifier Elimination and its Applicaitons” fo the 15-th IMACS World
Congress, August 24-29, 1997, Berlin, Germany.
97-98 General chair of 4-th International IMACS Conference on Applications of Computer Algebra ACA’98,
August 9-11, 1998, Prague, Czech Republic.
99 Program chair and member of scientific committee of 5-th International IMACS Conference on Applications of
Computer Algebra ACA’99, El Escorial, Spain. Organized special session ”Symbolic-Numeric Interface and
Problem Solving Environments”.
99 Member of program committee of the Second Workshop on Computer Algebra in Scientific Computing CASC-
99, May 31 - June 4, 1999, Munich, Germany.
2000 Program chair and member of scientific committee of 6-th International IMACS Conference on Applications of
Computer Algebra ACA’2000, St. Petersburg, Russia. Organized special session ”Nonstandard Applications”
Since 2000 Specialist editor on ”Algebraic manipulation” of Computer Physics Communications, North Holland,
Elsevier.
2001 Member of scientific committee of 7-th International IMACS Conference on Applications of Computer Algebra
ACA’2001, Albuquerque, New Mexico, USA.
2001 Member of program committee ISSAC’2001, International Symposium on Symbolic and Algebraic Computation,
London, Ontario, Canada.
2001 Member of program committee of the 4-th International Workshop on Computer Algebra in Scientific Computing
CASC 2001, Konstanz, Germany.
2002 Member of scientific committee of 8-th International IMACS Conference on Applications of Computer Algebra
ACA’2002, Volos, Greece.
2002 Member of program committee of the 5-th International Workshop on Computer Algebra in Scientific Computing
CASC 2002, Big Yalta, Crimea, Ukraine.
2002 Chairing a session at Ninth International Conference on Hyperbolic Problems Theory, Numerics, Applications,
HYP 2002, Caltech, Pasadena, CA, USA.
2003 Member of scientific committee of 9-th International IMACS Conference on Applications of Computer Algebra
ACA’2003, Raleigh, North Carolina, USA.
2003 Member of program committee of the 6-th International Workshop on Computer Algebra in Scientific Computing
CASC 2003, Passau, Germany.
2003 Chairing a session at The European Conference on Numerical Mathematics and Advanced Applications,
Enumath 2003, Prague, Czech Republic.
2004 Member of scientific committee of 10-th International IMACS Conference on Applications of Computer
Algebra ACA’2004, Beaumont, Texas, USA.
2004 Member of program committee ISSAC’2004, International Symposium on Symbolic and Algebraic Computation,
Santander, Spain.
2004 Member of program committee of the 7-th International Workshop on Computer Algebra in Scientific Computing
CASC 2004, St. Petersburg, Russia.
2005 Member of international advisory committee of Conference on Applications of Computer Algebra ACA’2005,
Nara, Japan.
2005 Member of program committee of the 8-th International Workshop on Computer Algebra in Scientific Computing
CASC 2005, Kalamata, Greece.
14

5 Other Professional Activities
Fall 1985 Attended conference Metody umělé inteligence a expertní systémy II (Methods in artificial intelligence
and expert systems II), Praha.
Fall 1987 Attended conference Metody umělé inteligence a expertní systémy III (Methods of artificial intelligence
and expert systems III), Praha.
March 88 Attended conference Aplikace umělé inteligence AI’88 (Applications of artificial intelligence), Praha.
Aug. 88 Short stay on Technical University München.
April 89 Attended conference Aplikace umělé inteligence AI’89 (Applications of artificial intelligence), Praha.
March 90 Attended conference Aplikace umělé inteligence AI’90 (Applications of artificial intelligence), Praha.
Sept. 90 Attended CAAM-90, International Seminar on Computer Algebra and Application to Mechanics, Novosibirsk,
Irkutsk.
June 91 Took part in the REDUCE 3.4 beta testing.
Aug. 91 Become REDUCE tester - cooperation on REDUCE testing.
Dec. 91 Attended the seminar SCAFI’91, Studies of Computer Algebra For Industry, Amsterdam.
Jan. 92 Took part in REDUCE 3.4 MS Windows version beta testing.
July 92 Attended the first REDUCE Developers Meeting, RAND, Santa Monica, CA. Attendance by invitation
only.
Nov. 92 Attended ICF (Inertial Confinement Fusion) Meeting, Tokyo.
March 93 Attended the meeting Parallel Processing for Scientific Computing, Keio University, Tokyo.
Jul 97 Panelist in the panel discussion: The Role of Computer Algebra in PSEs. Third International IMACS
Conference on Applications of Computer Algebra, July 24-26, Maui, Hawaii.
6 Educational Activities
• courses
– Computer Algebra (since 1991)
– Practical informatics for engineers/ Introduction to Unix (since 1994)
– Differential Equations on Computer (since 1998)
• Student Projects
• Unix computer classroom
7 Citations
Currently over 150 citations in international literature.
15