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ý Dvůr, 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ý Dvůr, 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.

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.

Jan 97

R. Liska and B. Wendroff. Composite schemes for conservation laws. Workshop 97, Czech Technical University, Prague.

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.

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ří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ří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.

January 2003

R. Liska, M. Shashkov, and B. Wendroff. Lagrangian composite schemes on triangular unstructured grids. Mathematical and Computer Modelling in Science and Engineering, International Conference in honour of the 80th birthday of K. Rektorys, Czech Technical University in Prague.

June 2003

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.

August 2003

(by P. Váchal) P. Váchal, R. Liska, and B. Wendroff. Fully two-dimensional hllec riemann solver and associated difference schemes. In Book of Abstracts, Enumath 2003, Fifth European Conference on Numerical Mathematics and Advanced Applications, page 79, Prague, Czech Republic, August 18-22, 2003, 2003. Charles University Prague.

August 2003

V. Ganzha, R. Liska, M. Shashkov, and C. Zenger. Mimetic finite difference methods for diffusion equations on unstructured triangular grid. In Book of Abstracts, Enumath 2003, Fifth European Conference on Numerical Mathematics and Advanced Applications, page 133, Prague, Czech Republic, August 18-22, 2003, 2003. Charles University Prague.

June 2004

M. Kucharík, R. Liska, J. Limpouch, and P. Váchal.
ALE simulations of high-velocity impact problem.
In J. Koller and J. Píchal, editors, Book of Abstracts of 21st Symposium on Plasma Physics and Technology, page 72, 2004.
ISBN 80-01-03015-6. Poster.

July 2004

(by M. Kuchařík) M. Kucharík, R. Liska, M. Shashkov, and P. Váchal.
Conservative interpolations in Arbitrary Lagrangian-Eulerian (ALE) codes.
In Abstracts of Talks of ICCAM 2004. Katholieke Universiteit Leuven, 2004.
July 26 - 30, 2004, Leuven, Belgium.

August 2004

M. Kucharík and R. Liska.
Arbitrary Lagrangian-Eulerian (ALE) code for plasma simulations.
In Abstracts of Czech-Japanese Seminar in Applied Mathematics, page 6. Czech Technical University in Prague, 2004.
August 4-7, 2004, Prague, Czech Republic.

August 2004

(by P. Váchal) P. Váchal, R. Liska, and B. Wendroff.
Fully two-dimensional HLLEC Riemann solver and associated difference schemes.
In Abstracts of Czech-Japanese Seminar in Applied Mathematics, page 14. Czech Technical University in Prague, 2004.
August 4-7, 2004, Prague, Czech Republic.

August 2004

(by M. Kuchařík) M. Kucharík, J. Limpouch, R. Liska, P. Váchal, R. Garimella, R. Loubère, and M. Shashkov.
Arbitrary Lagrangian-Eulerian (ALE) methods in plasma physics.
In G. Ciccotti, editor, Book of Abstracts of CCP 2004, volume 28D of ECA Series, pages 248-249. European Physical Society, 2004.
August 29-31, 2004, Genova, Italy. Poster.

September 2004

(by M. Kuchařík) M. Kucharík, R. Liska, and M. Shashkov.
Conservative remapping and ALE methods for plasma physics.
In Abstracts of HYP 2004, Tenth International Conference on Hyperbolic Problems. Theory, Numerics and Applications, page 124. Osaka University, 2004.
September 13-17, 2004, Osaka, Japan.

September 2004

(by P. Váchal) Pavel Váchal, Richard Liska, and Burton Wendroff.
Numerical methods for euler equations using fully two-dimensional HLLEC Riemann solver.
In Abstracts of HYP 2004, Tenth International Conference on Hyperbolic Problems. Theory, Numerics and Applications, pages 200-201. Osaka University, 2004.
September 13-17, 2004, Osaka, Japan.

September 2004

(by J. Limpouch) M. Kucharík, J. Limpouch, and R. Liska.
ALE simulations of laser interactions with flyer targets.
In Book of Abstracts of XXVIII ECLIM, 2004. Poster.

October 2004

(by M. Kuchařík) M. Kucharík, R. Liska, R. Garimella, R. Loubère, and M. Shashkov.
Development of hydrodynamical ALE methods for complex laser plasma flows.
In Abstracts of HYKE Conference on Complex Flows, page 19. Universitat Autonoma de Barcelona, 2004.
October 6-9, 2004, Barcelona, Spain. Poster.

August 2005

R. Liska.
Quantifier elimination supported proofs in numerical treatment of fluid flows.
In K. Shirayanagi, editor, ACA'2005 Abstracts of Presentations, page 54, July 31-August 3, 2005, Nara Women's University, Nara, Japan, 2005.
ISBN4-903027-02-3.

September 2005

M. Kuchařík and R. Liska.
Coupling ale hydrodynamics with heat conductivity and laser absorption for laser plasma simulations.
In Workshop on Numerical Methods for Multi-material Flows, page 16, University of Oxford, St Catherine's College, 5-8 September 2005, 2005.

September 2005

R. Liska, M. Shashkov, P. Váchal, and B. Wendroff.
Synchronized flux-corrected remapping for ale simulations.
In Workshop on Numerical Methods for Multi-material Flows, page 18, University of Oxford, St Catherine's College, 5-8 September 2005, 2005.

July 2005

R. Liska and M. Kuchařík.
Arbitrary Lagrangian Eulerian method for compressible plasma simulations.
In D. Ševčovič, editor, EQUADIFF 11, International Conference on Differential Equations Czecho-Slovak series, page 49, Comenius University, Bratislava, Slovakia, July 25-29, 2005, 2005.
ISBN 80-227-2261-8.

July 2005

R. Liska, M. Shashkov, P. Váchal, and B. Wendroff.
Simultaneous flux-corrected remapping for ALE methods.
In A. Bermúdez, D. Gómez, P. Quintela, and P. Salgado, editors, The Sixth European Conference on Numerical Mathematics and Advanced Applications. ENUMATH 2005. Book of Abstracts, page 205. University of Santiago de Compostela, Spain, 2005.

September 2005

M. Kucharík, J. Limpouch, and R. Liska.
Laser plasma simulations by arbitrary Lagrangian Eulerian method.
In Abstract Book IFSA 2005, page 402. CEA, Biarritz, France, Universite Bordeaux, 2005.
Fourth International Conference on Inertial Fusion Sciences and Applications (IFSA 2005), Biarritz, France, September 4.-9.