München, 31.5. - 4.6.1999
Dies ist der 2. Workshop der CASC-Serie. Weitere Informationen dazu auf der URL: http://www14.informatik.tu-muenchen.de/konferenzen/CASC99/
Richard Liska: Where Numerics can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows, Anders Eriksson, Yunhua Luo, Costin Pacoste: Computer Algebra Investigation of Equivalence in 4-node Plane Stress/Strain Finite Elements, Michel Fourni'e: Symbolic derivation of Different Class of High Order Compact Schemes for Partial Differential Equations, V.G. Ganzha, E.V. Vorozhtsov: Implementation of Aerodynamic Computations with Mathematica, Vladimir P. Gerdt, Vladimir V. Kornyak, Matthias Berth, Günter Czichowski: Construction of Involutive Monomial Sets for Different Involutive Divisions, Vladimir P. Gerdt: Completion of Linear Differential Systems to Involution, Gerd Baumann: Solution of Ordinary Differential Equations with MathLie, Yves A. Papegay: From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Device, Tim Wichmann, Ralf Popp, Walter Hartong, Lars Hedrich: On the Simplification of Nonlinear DAE Systems in Analog Circuit Design, Vladimir F. Kovalev: Computer Algebra Tools in Construction of Renormgroup Symmetries, Gerrit Handrich: Quantization by Presentation: The Nambu-Goto String in Dimensions,
Brian J. Dup'ee, James H. Davenport: An Automatic Symbolic-Numeric Taylor Series ODE Solver, Radu Zapotinschi: Symbolic Analysus of Computational Algorithms with SYDNA, W. Govaerts, Yu. A. Juznetsov, B. Sijnave: Bifurcations of Maps in the Software Package CONTENT, A.N. Prokopenya, N.I. Chochits, R. Kragler (short talk): Simulation of Forces in Classical Mechanics, Hans J. Stetter: Posynomials with Coefficients of Limited Accuracy, Joachim von zur Gathen, Jaime Gutierrez, Rosario Rubio: On Multivariate Polynomial Decompositon, Alexii Yu. Uteshev: Localization of Roots of a Polynomial Not Represented in Canonical Form, Rainer Steinwandt: Decomposing Systems of Polynomial Equations, Nikolay Vasiliev: Complexity of Momomial Evaluations and Duality, M. Cafaro, B. Paternoster: Analysis of Stability of Rational Approximations Through Computer Algebra, Sergey Gutnik: Symbolic-numeric Investigations for Stability Analysis of Satellite Systems, Vladimir V. Kornyak: Cohomology of Lie Suberalgebras of Hamiltonian Vector Fields: Computer Analysis, R. Gonz'alez-D'iaz, P. Real: Computing Cocycles on Simplicial Complexes, Werner M. Seiler (Invited lecture): Indices and Solvability for General Systems of Differential Equations, V. Y. Pan, A. Zheng, M. Abu Tabanjeh, Z. Chen, S. Providence: Superfast Computations with Singular Structured Matrices over Abstract Fields, fA.N. Prokopenya, N.I. Chochits, R. Kragler (short talk): Simulation of Forces in Classical Mechanics, Gaston H. Gonnet, Allan Bonadio (Invited lecture): Partial Inverse Heuristic for the Approximate Solution of Non-linear Equations, Vladimir P. Gerdt, Soso A. Gogilidze: Constrained Hamiltonian Systems and Gröbner Bases, Victor F. Edneral: About Normal Form Method, Eugenio Roanes-Lozano, E. Roanes-Mac'inas, L.M. Laita: Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems, Christoph Richard, Andreas Weber: A Symbolic Numeric Environment for Analyzing Measurement data in Multi-Model Settings, Manfred Göber, Wolfgang Küchin, Stefan Müller, Andreas Weber: Extending a Java Based Framework for Scientific Software-Components, Yoshio Uwano, Nikolai Chekanov, Vitaly Rostovtsev, Sergue Vinitsky: On Normalization of a Class of Polynomial Hamiltonians: From Ordinary and Inverse Points of View.
Volker Weispfenning (Passau)
El Escorial (near Madrid), Spain, 24.6. - 27.6.1999
Näheres zu der Tagung und der IMACS-ACA-Serie, sowie Electronic Proceedings auf der URL: http://math.unm.edu/aca.html Session: Computer Algebra Meets Education I / Bernhard Kutzler Bernhard Kutzler: Setting the Tone: CAS as pedagogical tools, Josef Boehm: Basic Skills versus Technology .. not a Contradiction but a Completion, Gary A. Harris: The Use of Mathematics Specific Technology in Capstone Mathematics Teacher Preparation Courses, Justo Cabezas, Eugenio Roanes-Lozano: Some Reflections About the Impact of Computer Algebra Systems in the Ordering of the Curricula of Mathematics, Bill Pletsch: A Computer Classroom Lecture: Asymptotic Convergence of Rational Functions, Vlasta Kokol-Voljc: Exam questions when using CAS for school mathematics teaching, Michel Beaudin: Using the TI-92Plus: Examples, Bengt Ahlander: Why use CAS with TI89 in mathematical education? Classrooms experiments Garry Clark, Edward Redden: Using Logo as a Scaffolding ot Develop Algebraic Thinking in a Virtual Classroom, Miguel de Guzman: Discovery Experiences in Synthetic Geometry with DERIVE, E. Roanes-Macias, E. Roanes-Lozano: About how to implement Geometric Transformations on a CAS, Tenoch E. Cedillo A.: A number-based approach to introductory algebra: A study with 11-12 year olds using graphic calculators, Badr Defouad: Instrumentation processes underlying the use of TI92 at high school level, A. Cavallone, C. D'Apice, M. Marsella, S. Salerno: A didactical laboratory: image filtering
Session: Approximate Algebraic Computation : towards Symbolic-Numeric Algorithms / Tateaki Sasaki, Matu-Tarow Noda, Bernard Mourrain, Robert Corless Jean-Michel Muller, Vincent Lefevre: New results on the Table Maker's Dilemma, Hans Stetter: Polynomial Algebra with Coefficients of Limited Accuracy, Hiroshi Sekigawa: A System of Automatic Algorithm Stabilization, Hiroshi Kai: To Be Announced, Victor Y. Pan: To be announced, Tateaki Sasaki: Mechanism of Cancellation Errors in Multivariate Hensel Construction with Floating-point Numbers, A. Fronville: Exacts predicates for arrangement of arcs of circle, d. Rupprecht: Approximate p-adic CGD computation, B. Mourrain: Towards numerical stability in normal form algorithms, Matu T. Noda: Hybrid Rational Function Approximation and its Applications, M. Giesbrecht: Approximate polynomial decomposition, B. Trager, P. Gianni: On approximate ideals Session: Combinational and Computational Methods in Algebraic Geometry/ Jie-Tai Yu, Vladimir Shpilrain Josef Schicho: The Parameterization Problem for Algebraic Surfaces, Jaime Gutierrez, Rosario Rubio: Computing subfields in pure trascendental extensions, Lenny Makar-Limanov: Again , Vladimir Shpilrain: Invariants of algebraic varieties
Session: Toric Ideals and Integer Programming/ Lorenzo Robbiano Lorenzo Robbiano: Computing Toric Ideals, Anna Bigatti: New algorithms for Computing Toric Ideals, Raymond Hemmecke: Decomposing Graver Test Sets in Stochastic Programming, Serkan Hosten: Initial Ideals of Toric Ideals and Group Relaxations in Integer Programming
Session: Computer Algebra for Dynamical Systems and Mechanics I/ Victor Edneral, Ilias Kotsireas, Nikolay Vasiliev Victor Edneral: Computer Algebraic Approximations-Creation of Approximated Solutions of Scientific and Engineering Problems in Symbolic Form, A.V. Banshchikov, L.A. Bourlakova, V.D. Irtegov: solving the problem of stabilization of a gyroscopic system with the help of Computer Algebra, L.A. Bourlakova, V.D. Irtegov: About investigation of systems with first integrals J. Palaci'an, P. Yanguas: Analytical Approach for Simplifying Dynamical Systems of Polynomial Type, A. Abad, A. Gavin, J.F. San-Juan: Communications of the Poisson Series Processors PSPC with General Scientific Software, Raya Khanin, Matthew Cartmell: Parallelisation of Perturbation Analysis: the method of Multiple Scales applied to vibration problems, Jean-Charles Faugere: Some computational experiment in Celestial Mechanics, G. Carra Ferro: Some remarks on differential Hilbert polynomials in two variables, G. Carra Ferro, Vladimir Gerdt: Extended Characteristic Sets of Finitely Generated Differential Ideals, Alexander Aranson: Enumeration of intersections of Newton's polyhedrons, G. Eichenmueller: symbolic Computation of Formal Solutions for 2 and 3 Dimensional Dynamical Systems, Driss Boularas: A new classification of planar homogeneous quadratic systems, J. Mikram, F. Zinoun: Computation of Normal Forms of Hamiltonian systms in the Presence of Poisson Commuting integrals (Liouville-Integrability and Birkhoff Normal Forms)
Session : Applications of Computer Algebra to Signal Processing/ Jeremy Jonson, Markus Pueschel Hyungju Park: Minimal Syzygies and Multidimensional Filter Design, Markus Pueschel: Group Representations and Automatic Derivation of Fast Signal Transforms, Dan Rockmore: A Wreath Product Approach to Signal and Image Processing, Ivan Selesnick: Groebner Bases and Wavelet Design, Jean-Charles Faugere, Fabrice Rouillier: To be announced, Jeremy Johnson: To be announced
Session: Computer Algebra Meets Education II / Bernhard Kutzler Frank Postel, Ralf Hillebrand: A Tutorial Mathematical System for Elementary Schools, Jim Schultz: High-Powered Technology in a Low-Level Mathematics Course, Rein Prank: A Scheme for Conservative Use of Computer Algebra, G Albano, A. Cavallone, C. D'Apice, G. Gargiulo: Mathematica and didactical innovation: a quadric use case, A. Kehagias, P.N. Vlachos: Computer Aided Instruction for Business Calculus in an International Liberal Arts College, Ralf Hillebrand, Frank Postel: Flexible Mathematical GUI Controls for Mathematical Electronical Documents, May C. Abboud: Mathematica in Undergraduate Mathematics Courses- A Teaching or Learning Aid?, Marilo Lopez Gonzalez, Javier Rodrigo Hitos: Searching roots for three degree polynomials with the help of Mathematica, Joseph D. Myers, Kelley B. Mohrmann, Terry T. Crow: Derivations and Visualizations for the Hydrogen Atom, Alain Moussiaux: CONVODE: A Reduce package for solving differential equations, Paolo Boieri: Exploring sequences with DERIVE
Session: Teaching of Efficient Mathematics/ A. Akritas, Gennadi Malaschonok Rafael J. Villanueva Mico, A. Hervas: A project of Computer Aided Learning: A course of Computer, Juan A. Aledom, Juan C. Cortes, Fernando L. Pelayo: A study of particular methods for the approximate construction of some regular polygons by using Mathematica 3.0
Session: Computer Aided Geometric Design and Computer Algebra/ L. Gonzalez-Vega, J.R. Sendra Tomas Recio: Missing points and branches of real parametric curves, Andres Iglesias, Akemi Galvez: Applying general-purpose symbolic and numerical computation programs for Computer Graphics and CAGD. Some applications to industry, Josef Schicho: Proper Parametrization of Real Algebraic Surfaces, Jesus Espinola, Laureano Gonzalez-Vega, Ioana Necula: An algorithm for approximate conversion of rational B-spline curves/surfaces and its implementation, Lorenzo Robbiano: Groebner Bases and Statistics
Session: Demos of Computer Algebra Systems/ Michael Wester, Winfried Neun Michael Wester: Some Perspectives on the Usability of Computer Algebra Systems, Michel Beaudin: Solving a RLC Circuit Convolution with DERIVE for Windows, Lorenzo Robbiano: The Computer Algebra System CoCoA, Volker Weispfenning: The REDLOG Package-Tools and Applications, Ralf Hillebrand, Frank Postel: MuPAD-An Open Computer Algebra System and its Approach of Software Integration, Carlos Enriguez Turi no: Computer Algebra Applied to Mathematical Cartography
Session: Applications of Computer Algebra To Robotics/ Peter Kovacs Jean-Pierre Merlet: Forward kinematics of parallel robots, Jean-Charles Faugere, Luc Rolland, Fabrice Rouillier: Using Computer algebra tools for off-line studies of parallel manipulators, Manfred Husty, Adolf Karger: Self-Motions of Griffis-Duffy Type Parallel Manipulators, Peter Kovacs: Functional Ideal Decomposition-a Tool for Kinematics
Session: Symbolic-Numeric Interface and Problem Solving Environments I/ Richard Liska, Stanly Steinberg, Robert van Engelen Richard Liska: Finite Difference Numerical Modelling Supported by Computer Algebra, Robert van Engelen: Ctadel: A Computer Algebra System for the Generation of Efficient Numerical Codes for PDEs, Ravi Venkatesan: Invariant Variational Principles and Associated Numerical Schemes for Regularization of III-Posed Problems
Session: Symbolic-Numeric Interface and Problem Solving Environments II/ Richard Liska, Stanly Steinberg, Robert van Engelen Ravi C. Venkatesan: Group Invariant Finite-Difference Schemes for Advection Equation, Michel Fournie: Usefulness of computer algebra methods in numerical simulations, Brian J. Dupee, James H. Davenport: Prototyping Symbolic-Numeric Algorithms using Naglink, Massimo Cafaro, Beatrice Paternoster: A symbolic-numerical package for linear stability analysis of numerical methods for ODEs, Christoph Richard, Andreas Weber: A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings, Terence Etchells: Extraction of Low Order Boolean Rules from Trained Neural Networks using a Computer Algebra System
Session: Computer Algebra for Dynamical Systems and Mechanics II/ Victor Edneral, Ilias Kotsireas, Nikolay Vasiliev Ilias Kotsireas: Computational aspects of the N-body problem, B. Elmabsout, M. Barbosu: The study by symbolic of the sign of the riemannian curvature in the configuration space of the 3-body problem and applications, Antonio Elipe, Andr'e Deprit: Oscillators in Resonance, Nikolay Vasiliev: Construction of Invariants of Simplectic Mapping, Rodney Coleman: Some properties of the symplectic Lie algebra
Session: Interaction on Physics, Number Theory and Computer Science I/ Hoang Ngoc Minh M. Bigotte: Colored multiple zeta values relations table, D. Bradley: Nested Sums and Iterated Integrals
Session: Computer Algebra in the Spanish Educational System Justo Cabezas Corchero: Aparicion de nuevos contenidos curriculares en matematicas mediante la aplicacion de nuevas tecnologias, Tomas Recio: Las herramientas euclideas y el ordenador, Agustin Carrillo: Diferentes opciones para la resolucion de problemas con calculadoras graficas, Lola Rodriguez Soalleiro: Cambios curriculares en la ense nanza del Algebra, Eugnio Roanes Macias, Eugenio Roanes Lozano: Busqueda automatica de lugares geometricos, Rafael Perez Gomez, Miguel Posadas: Matematicas en Pantalla
Session: Computations in Pure Mathematics (Algebra, Analysis, Geometry, / Maria-Emilia Alonso, Francisco Castro, Laureano Gonzalez-Vega V. Alvarez, J.A. Armario, P. Real: Homology of semidirect product of groups, M.J. Jimenez, P. Real, B. Silva: Analyzing the transference of the coalgebra structure on the homology of CDGAs, Rocio Gonzalez-Diaz, Pedro Real: Steenrod reduced powers and computability, L.M. Camacho, J.R. Gomez, R.M. Navarro: The use of Mathematica for the classification of some nilpotent Lie algebras, J.C. Benjumea, F.J. Echarte, D. Fernandez, M.C. Marquez, J. Nu nez, F. Ramirez: New ways of defining filiform Lie algebras, Maribel Hartillo: About an algorithm of T. Oaku, Jose Maria Ucha: Slopes in submodules of a free module, P. Pison-Casares, A. Vigneron-Tenorio: Computing Toric first Syzygies, F. Orecchia: The ideal generation conjecture for s general rational curves, A. Montes: Basic Algorithms for Specialization in Groebner Bases, Bill Pletsch:The Generation of Polya Polynomials using Macsyma, with Applications, Bernard Mourrain: Duality in Effective Algebraic Geometry, F. Gaeta: A Fast Computation of Hook Schur Functions
Session: Teaching of Efficient Mathematics Juan A. Aledo, Juan C. Cortes, Fernando L. Pelayo: A comparative study between two general methods for the approximate construction of regular polygons by using Mathematica 3.0, Alkiviadis Akritas, Stelios Kapranidis, Athina Katalifou: Possibilities for Alternative Uses of the ``Calculus and Mathematica'' Approach, Alkiviadis Akritas, Zamir Bavel: Classical Mathematics with Mathematica, Alkiviadis Akritas, Zamir Bavel: Calculus and the Race Track Principle, David J. Jeffrey: Some elementary mathematics revisite and revised, Igor Gachkov, Kenneth Hulth: Teaching Error-Correcting Codes, Discrete Mathematics and Modern Algebra with Computer Algebra, Gennadi Malaschonok, Natalia Malaschonok: Teaching of efficient mathematics, Gennadi Malaschonok: Efficient methods of mathematical analysis
Session: Mathematics on the Internet/ Angel Diaz, Erich Kaltofen Olgea Caprotti: Interfacing Proof Checkers With OpenMath, Mike Dewar: Plug and Play Mathematical Components, Angel L. Diaz: To be announced, Dave Raggett: Mathematics on the Web-Past, Present and Future, Murray Sargent: Unicode Encoding of Mathematics, Stephen Watt: Stylesheets for Mathematical Web Pages, Andreas Weber: Accessing Quantifier Elimination Packages Over the Internet Out of General Purpose Systems, Erich Kaltofen: Concluding Discussion of the Issues Addressed in the Talks (Moderator with Audience Participation)
Session: Applications of Quantifier Elimination/ Volker Weispfenning, Hoon Hong Hirokazu Anai, Shinji Hara: A Robust Control system Design by a Special Quantifier Elimination Method using a Sturm-Habicht Sequence, Laureano Gonzalez-Vega, Neila Gonzalez-Campos: A Special Quantifier Elimination Algorithm for Pham Systems, David J. Jeffrey: A new solution of the quartic problem: with application ot integration, Gerardo Lafferriere, George J. Pappas, Sergio Yovine: Reach Set Computation for Linear Vector Fields using quantifier Elimination, Petru Pau, Josef Schicho: Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition, Stanly Steinberg: The Study of Stability using Computer Algebra, Volker Weispfenning: Semilinear motion planning in REDLOG
Session: Interaction on Physics, Number Theory and Computer Science II/ Hoang Ngoc Minh Hoang Ngoc Minh: Functional Equations on Polylogarithms with Axiom, Mike Hoffman: Algebraic Structures on the Set of Multiple Zeta Values, N. Imafuji: Computer aided Knot Theory using Mathematica and MathLink, G. Jacob: Combinatorics on Algebraic Identification, M. Ochiai: Computational Construction of representation matrices for parallel version polynomial invariants, Y. Sakata: Computational Decomposition of homeomorphisms into canonical Dehn's twists, Z. Wojtkowiak: On l-adic iterated integral
Volker Weispfenning (Passau)
Vancouver, British Columbia, Canada, 28.7. - 31.7.1999
Näheres zu der Tagung und der ISSAC-Serie auf der URL: http://www.cecm.sfu.ca/ISSAC99/. Vor der eigentlichen Tagung fanden wie üblich am 28.07.99 Tutorials statt. Tutorial 1, Robert M. Corless and Lawrence F. Shampine, Numerical Solution of Differential Equations in a Computer Algebra Environment
Tutorial 2, Fr'ed'eric Chyzak, Symbolic Manipulation, Summation and Integration of Special Functions and Combinatorial Sequences - The Holonomic Approach
Ferner ein Workshop zu ``Internet Accessible Mathematical Computation'' organisiert von P. Wang und N. Kajler. Vorträge des Workshops: Contributed Papers I: Theme: ``Mathematics on the Internet'' Steve Linton, Andrew Solomon:GAP, OpenMath, and MCP, Richard Fateman: Analysis of a Web Interface for Mathematics: Experiences with Integral Queries for TILU, Xiao Gang: WIMS: A Server for Interactive Mathematics on the Internet, Marc Giusti: About MEDICIS, Olga Caprotti: Interactive mathematics with Strong OpenMath
Contributed Papers II: Theme: ``IAMC Support'' Andreas Weber, Wolfgang Küchlin: A Framework for Internet Accessible Software Components for Scientific Computing, Richard Zippel: The MathBus, Arthur Norman: Synchronization of Distributed Development Software, Ralf Hillebrand: Flexible Mathematical GUI Controls for Mathematical Electronical Documents Vorträge der Haupttagung Session 1: Polynomial Systems M. Giusti, E. Schost: Solving overdetermined polynomial systems, M. Elkadi, B. Mourrain: A new algorithm for the geometric decomposition of a variety, C. Andradas, T. Recio, J.R. Sendra: Base field restriction techniques for parametric curves, S. Moritsugu, K. Kuriyama: On Multiple Zeros of Systems of Algebraic Equation.
Session 2: Non-commutativity Problems J.J. Wavrik: Commutativity Theorems. Examples in Search of Algorithms, W.A. de Graaf, J. Wisliceny: Construction bases of finitely presented Lie algebras using Gröbner bases in free algebras, G.P. Brunick, L.S. Heath, C.A. Struble, E.L. Green: Efficient Construction of Drinfel'd Doubles
Invited Talk 1 Jonathan M. Borwein: Experimental Mathematics and Exact Computation
Session 3: Polynomials V. Shoup: Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finete Fields, E. Kaltofen, M.B. Monogan: On the Genericity of the Modular Polynomial GCD Algorithm, Z. Zilic, K. Radecka: On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields
Session 4: Seminumerical Algorithms V. Kislenkov, M. Mitrofanov, E. Zima: How fast can we compute products?, J. von zur Gathen, M. Nöcker: Computing Special Powers in Finite Fields, S. Bratus, I. Pak: On sampling generating sets of finite groups and product replacement algorithm
Session 5: Asymptotics and Series Expansions J. Shackell: Star Product and the Representation of Asymptotic Growth, C.J. Rust, G.J. Reid, A.D. Wittkopf: Existence and Uniqueness Theorems for Formal Solutions of Analytic Differential Systems, Y.O. Macutan: formal Solutions of Scalar Singularly Perturbed Linear Differential Equations, C.-P. Jeannerod, E. Pflügel: A Reduction Algorithm for Matrices Depending on a Parameter
Session 6: Quantifier Elimination V. Weispfenning: Mixed Real-Integer Linear Quantifier Elimination, C.W. Brown: Guaranteed Solution Formula Construction, S. McCallum: A Note about Projection in the Presence of an Equational Constraint, A. Dolzmann, T. Sturm: P-adic Constraint Solving
Invited Talk 2 Michael F. Singer: Galois Theory of Difference Equations
Session 7: Linear Algebra S.P. Tsarev: On factorization of nonlinear ordinary differential equations, G.Chen, J. Della Dora: Rational Normal Form of Dynamical Systems by Carleman Linearization, M. Bronstein, A. Fredet: Solving linear differential equations over
Session 8: Linear Algebra T. Mulders, A. Storjohann: Diophantine Linear System Solving, B. Beckermann, G. Labahn, G. Villard: Shifted Normal Forms of Polynomial Matrices, J. Abbot, M. Bronstein, T. Mulders: Fast Deterministic Computation of Determinants of Dense Matrices
Session 9: Symbolic-Numerics M.A. Hitz, E. Kaltofen, Y.N. Lakshman: Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems, R.M. Corless, M.W. Giesbrecht, D.J. Jeffrey, S.M. Watt: Approximate Polynomial Decomposition, D. Villard, M.B. Monagan: ADrien: an implementation of Automatic Differentiation in Maple
Session 10: System Issues N.J. Doye: Automated Coercion for Axiom, L. Bernardin, B. Char, E. Kaltofen: Symbolic Computation in Java: An Appraisement, L. Lamben, V. Pascual, J. Rubio: Specifying Implementations, A.A. Adams, H. Gottliebsen, S.A. Linton, U. Martin: Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
Invited Talk 3 Bernd Sturmfels: Gröbner Deformations of Hypergeometric Differential Equations
Session 11: Differential and Difference Equations II D. Boucher: About the polynomial solutions of homogeneous linear differential equations depending on parameters, S.A. Abramow, M. van Hoeij: Desingularization of linear difference operators with polynomial coefficients, M.A. Barkatou: Rational Solutions of Matrix Difference Equations. Problem of Equivalence and Factorization
Session 12: Interface and Communication O. Arsac, S. Dalmas, M. Gaëtano: The Design of a Customizable Component to Display and Edit Formulas, P.S. Wang: Design and Protocol for Internet Accessible Mathematical Computation, H. Le, C. Howlett: Client-Server Communication Standards for Mathematical Computation
Volker Weispfenning (Passau)
Berlin, 1.8.-7.8.1999
Die Konferenz International Conference on Differential Equations (EQUADIFF 99) mit über 600 Teilnehmern fand vom 1.-7. 8. 1999 in Berlin statt. Eine von vielen Minisymposia war Computer Algebra Tools, die von Jan Sanders (Vrije Universiteit Amsterdam) organisiert wurde. Die eingeladenen Vorträge waren: - Algorithms from representation theory (J. Sanders), - Algorithmic invariant theory and dynamics (K. Gatermann), - Using symbolic method to classify evolution equations (Jing Ping Wang/J. Sanders), - A method for computing center manifold and normal forms (Pei Yu).
Karin Gatermann (Berlin)