Next: Themen und Anwendungen der Up: CAR 19 Previous: Hinweise auf Konferenzen

Berichte von Konferenzen


 

  1. 2. AXIOM-Nutzer-Treffen (ANT-2)

    Karlsruhe, 21.-22.3.1996

    Schwerpunkt des Treffens war die Diskussion des neuen Compilers von AXIOM 2.0a und seiner A # genannten Sprache. Dazu fand vormittags ein zweiteiliger Kurs statt: zunächst erläuterte Stephen Watt (Nizza) in seinem Vortrag The A # Programming Language: Reconstructing an Algebra System from Elementary Particles/ die grundlegenden Ideen für den Entwurf von A #; danach hatten die Teilnehmer die Möglichkeit, unter Anleitung von Mike Dewar (Oxford) an den RS-6000-Maschinen des Rechenzentrums der Universität Karlsruhe praktische Erfahrungen in der Programmierung mit A # zu sammeln.

    Nach einer Demonstration der neuen Windows-Version von AXIOM gab es am Nachmittag noch eine Reihe von Vorträgen. Mike Dewar (Oxford) zeigte in seinem Vortrag Using AXIOM and the NAG Library to solve PDEs/, wie symbolische und numerische Rechnungen in AXIOM kombiniert werden können. Welche Möglichkeiten die Benutzung des A #-Compilers außerhalb von AXIOM bietet, demonstrierte Manuel Bronstein (Zürich) in seinem Vortrag Sigma(IT): An A # Library for Linear Operators/. In drei weiteren Vorträgen wurden Anwendungen von AXIOM vorgeführt: Winfried Fakler (Karlsruhe): Rechnen mit Invarianten in AXIOM, Armin Nückel (Karlsruhe): CA-basierter Entwurf von Schaltkreisen: Erfahrungen in AXIOM, Christian Knauer: Eine modulare Implementierung des Berlekamp-Massey-Algorithmus.

    Werner M. Seiler (Karlsruhe)

  2. Workshop - Algorithmische Invariantentheorie / Computational Invariant Theory

    Dagstuhl, 29.4. - 3.5.1996

    Leiter: B. H. Matzat (Heidelberg), L. Smith (Göttingen). Träger: DFG-Schwerpunkt Algorithmische Zahlentheorie und Algebra.

    Ziel des Workshops war es, neuere Ergebnisse und offene Fragen der Invariantentheorie zu diskutieren und auch Nichtspezialisten nahezubringen. Gleichzeitig bot der Workshop ein Forum, auf dem sich Forscher aus verschiedenen Orten treffen konnten, die sich für Invariantentheorie interessieren. Thematische Schwerpunkte waren:

    Da es bei dem Workshop nicht nur um Ergebnisse, sondern auch um offene Probleme ging, konnte er dazu beitragen, einige weitere Arbeiten anzuregen.

    Folgende Vorträge fanden statt (in chronologischer Reihenfolge):

    Larry Smith (Göttingen): Introduction, Noether's degree bound Peter Fleischmann (Essen): Finite generation in the modular case and the question of degree bounds Gerhard Pfister (Kaiserslautern): Finite generation for reductive groups and invariant theory of unipotent groups Manfred Göbel (Tübingen): Molien's formula and the degree bounds of Stanley and Göbel Nelson Killius (Göttingen): Small groups in small characteristic: some examples Gregor Kemper (Heidelberg): Calculating invariant rings of finite groups H.E.A. Campbell (Kingston, Canada): The Cohen-Macaulay property and depth in the modular case: examples and counter examples B. Heinrich Matzat (Heidelberg): The Cohen-Macaulay property for linearly reductive groups David Wehlau (Kingston, Canada): Bases for rings of coinvariants Kathrin Kuhnigk (Göttingen): Invarianten und Steenrodsche Operationen Reg Wood (Manchester): Differential operators and the Steenrod algebra Steward Priddy (Evanston, USA): On invariant rings which are almost isomorphic Mara D. Neusel (Magdeburg): Dickson-invariants and invariant ideals in rings of invariants Dagmar Meyer (Barcelona): The conjecture of Landweber and Stong David Green (Essen): On symplectic invariants and cohomology rings of extraspecial p-groups Said Zarati (Tunis): Proof of the Landweber-Stong conjecture I Dorra Bourguiba (Tunis): Demonstration de la conjecture de Landweber-Stong II Hans-Werner Henn (Heidelberg): A variant of the proof Ian Hughes (Kingston, Canada): Invariants of finite groups and their Hilbert-series Gunter Malle (Heidelberg): Reflection groups and invariant theory Karin Gatermann (Berlin): Equivariant dynamics and invariants Walter Wenzel (Kiel): Determinants, Pfaffians and variations of the Greedy algorithm Harm Derksen (Basel): Calculating invariant rings of linearly reductive groups Vladimir Popov (Moskau): The algorithmic finding of orbits in Hilbert's zero cone Hanspeter Kraft (Basel): Degree bounds for invariant rings of reductive groups

    Außerdem fanden folgende Programmdemonstrationen statt:

    Gregor Kemper (Heidelberg): The INVAR-package for MAPLE Agnes Heydmann (Saarbrücken): SINGULAR and INVAR

    Gregor Kemper (Heidelberg)

  3. Second International Symposium ANTS II

    Talence, Bordeux, France, 18.-23.5.1996

    Leiter: Henri Cohen, Michel Olivier

    Inhalt dieser Reihe von Konferenzen im Abstand von zwei Jahren sind neue Ergebnisse der algorithmischen Zahlentheorie. (Die nächste Konferenz - ANTS III - wird 1998 in Amerika stattfinden.)

    Vorträge (in chronologischer Reihenfolge): Oliver Schirokauer (Oberlin): Recent work on the discrete logarithm problem (eingeladener Vortrag) Damian Weber (Saarbrücken): Computing discrete logarithms with the general number field sieve R. P. Brent (Canberra), A. van der Poorten (Sydney), H. J. J. te Riele (Amsterdam): A comparative study of algorithms for computing continued fractions of algebraic numbers C. Rössner, J.-P. Seifert (Frankfurt am Main): The complexity of approximate optima for greatest common divisor computations D. Ford (Montreal), G. Havas (Queensland): A new algorithm and refined bounds for extended GCD computations S. M. Meyer, J. P. Sorenson (Indianapolis): Efficient algorithms for computing the Jacobi symbol Mark Giesbrecht (Winnipeg): Probabilistic computation of the Smith normal form of a sparse integer matrix Gerhard Niklasch (München): The number field database on the World Wide Web server Bjorn Poonen (Princeton): Computational aspects of curves of genus greater than 1 (eingeladener Vortrag) Ming-Deh A. Huang, L. M. Adleman (Los Angeles): Counting rational points on curves and Abelian varieties over finite fields Brid ni Fhlatuin (Bath): The height on an Abelian variety David R. Hayes (Amherst), David S. Dummit (Burlington): Checking the refined p-adic Stark conjecture when p is Archimedean Stefane Fermigier (Paris): Construction de courbes elliptiques de grand rang avec 2-torsion Kristin Lauter (Chicago): Class field construction of curves over finite fields with maximal number of points Horst G. Zimmer (Saarbrücken), Josef Gebel (Montreal), Attila Pethoe (Debrecen): Computing integral points on Mordell's elliptic curves N. P. Smart (Canterbury): How difficult is it to solve a Thue equation ? M. Tsfasman: Algebraic geometry codes and lattices (eingeladener Vortrag) James McKee, Richard Pinch (Cambridge): Old and new deterministic factoring algorithms Thomas F. Denny (Saarbrücken), Volker Müller (Waterloo): On the reduction of composed relations from the number field sieve M. Elkenbracht-Huizing (Amsterdam): A multiple polynomial general number field sieve Michael E. Pohst (Berlin): Computational aspects of Kummer theory (eingeladener Vortrag) H. Cohen, F. Diaz y Diaz, M. Olivier (Talence): Computing ray class groups, conductors and discriminants Martin Schörnig, Michael E. Pohst (Berlin): On integral basis reduction in global function fields Stefane Louboutin (Caen Credex): Computation of relative class numbers of CM-fields Sachar Paulus (Essen): How to compute the ideal class group of a quadratic order over a principal ideal ring K. Belabas (Talence): Computing cubic fields in quasi-linear time Daniel J. Bernstein (Chicago): Fast ideal arithmetic via lazy localization Claus Fieker, Michael E. Pohst (Berlin): On lattices over number fields David Ford (Montreal): Minimum discriminants of primitive sextic fields Reynald Lercier (Palaiseau credex): Computing isogenies in F_2n Jean-Marc Couveignes (Utrecht): Computing l-isogenies with the p-torsion Istvan Gaal (Debrecen): Power integral bases in algebraic number fields R. Scheidler (Newark): Compact representation in real quadratic congruence function fields Andreas Stein (Saarbrücken): Elliptic congruence function fields Michael Pohst (Berlin)

  4. OpenMath Workshop

    Zürich, 27.-28.6.1996

    Background and terminology

    The OpenMath project began in December 1993. Its goal is to devise a complete protocol for inter-process transmission of mathematical data and commands with a guarantee that meaning is preserved. So far six workshops have been held, and two reports produced. More information about the project is available via World Wide Web at http://www.can.nl/ abbott/OpenMath/

    At the sixth OpenMath workshop the main topic was refining the notion of ``context'': a context is a collection of concepts from some particular branch of mathematics. Related to this was the question of how to handle the ``type'' of a mathematical object.

    G. Gonnet, Semantic Dictionaries in OpenMath, This talk presented a detailed proposal for the information which could usefully appear in a semantic dictionary (elsewhere called a context).

    S. Watt, The INRIA OpenMath Prototype, Based largely on the published specification for OpenMath prototype 2.1 the group at INRIA have built some implementations. This talk described alterations made to the specification, and covers the work invested in creating a basic collection of OpenMath contexts.

    A. Diaz, The OpenMath Context Server and Registry, A vital part of making new contexts available is a publishing mechanism. This talk described the first prototype OpenMath context server, and discussed various possible improvements. Ideas on how to extend this to multiple sites were also put forward.

    S. Buswell, A Proposed Semantic Mathematical SGML DTD, The work on HTML-Math is presentation based. This talk described an SGML DTD which is based on semantics; this semantic information is important if the formula is to be extracted from the SGML document and processed by mathematically sophisticated software.

    R. Sutor, techexplorer and OpenMath: WWW Scientific Publishing, This talk discussed how OpenMath would be useful to enable techexplorer documents to contain mathematical content that could be visually transferred to other applications.

    R. Sutor, A Proposed OpenMath Object Compatibility Standard, On a given platform, e.g. Windows 95 or the Macintosh, the full OpenMath standard with encoding and communications protocols is overkill. This talk discussed why OpenMath needs an ``Object Standard'' and how OpenMath could work with Windows OLE/ActiveX technology.

    R. Sutor, Update on the HTML Math standards effort, Sutor had recently joined the W3C HTML Math Editorial Review Board which is working on an HTML representation for maths. This talk presented an overview of the current state of HTML-Math.

    J. Abbott, OpenMath Network Compatibility, On platforms which do not have a native object transfer protocol it is necessary for OpenMath to define its own linear encoding. This talk presented the latest developments in OpenMath encodings.

    J. Abbott, OpenMath Prototypes, Descriptions of the design of the latest OpenMath prototype together with the reasoning behind the design were given. Some shortcomings were highlighted accompanied by ideas on how to avoid these in later prototypes.

    G. Simon, Communication Interface between SAC-2 and LiDIA, This talk summarized some experiences on the basis of a sample application implemented using a CORBA like system (ILU). It was proposed to combine this approach with OpenMath.

    J. Davenport, Some Ideas for Types in OpenMath, The design of the AXIOM system highlights the benefits of keeping detailed type information. The talk presented some arguments about the type information which OpenMath should include.

    H. Schönemann , Experiences with Distributed Polynomial Computations, This talk contributed some conclusions and suggestions arising from experiences of the Singular group with MP/MPP (and other communication protocols) to the OpenMath prototyping effort. John Abbott (Amsterdam)

  5. Internationale DERIVE und TI-92 Konferenz Computeralgebra im Mathematikunterricht

    St. Augustin, 2.-6.7.1996

    Vom 2.-6. Juli 1996 fand in St. Augustin bei Bonn in den Räumen und Einrichtungen der GMD - Forschungszentrum für Informationstechnik - ein Kongreß zu Fragen des Einsatzes der Computeralgebra im Mathematikunterricht statt. Er wurde von etwa 250 Teilnehmern aus 25 Ländern aus aller Welt besucht. Es wurden 7 Plenarvorträge (Keynote Lectures), in drei parallelen Schienen über 50 weitere Vorträge sowie in vier parallelen entsprechend ausgerüsteten Seminarräumen über 25 Workshops durchgeführt. Anlaß und Hauptgegenstand waren das Computeralgebrasystem DERIVE, für das hier bereits die 2. große internationale Veranstaltung im Abstand von 2 Jahren vorlag (1994 in Plymouth/England, 1998 in Baltimore/USA) und als Neuentwicklung der Taschenrechner TI-92 von Texas Instruments, der die wesentlichen Möglichkeiten von DERIVE und Cabri-G'eomètre sehr kostengünstig für Lehrer und Schüler vereint. Damit erscheint eine durchgreifende curriculare Veränderung des Mathematikunterrichts an weiterführenden Schulen endlich möglich.

    Die Keynote Lectures wurden gehalten von Bruno Buchberger, Universität Linz/Österreich (Which mathematics for which students), Wilfrid Herget, Universität Bielefeld (Wieviel Termumformungen braucht der Mensch?), John Berry, Universität Plymouth/UK (Investigating mathematics with Derive and the TI-92), Michelle Artigue, Universität Paris (Computer environments and cognitive theories in mathematics education), Bert Waits, Universität Ohio/USA (A new hand-held, interactive Computer learning environment for the teachting and learning with Derive) und Wolfram Koepf, Konrad-Zuse-Zentrum Berlin (Numeric versus symbolic computation). Ein umfangreicher Tagungsband wird vorbereitet und Ende des Jahres erscheinen. Eine Bücher- und Software-Ausstellung, insbesondere vom software-Zentrum bk-teachware Hagenberg/Linz, ergänzten das Angebot.

    Der Kongreß wurde von Bärbel Barzel, Düsseldorf, glänzend geleitet. Ein festliches Buffet auf der Godesburg, Exkursionen an Rhein und Mosel sowie ein Besichtigungsprogramm für Begleitpersonen sorgten für die Pflege alter Kontakte und die Anknüpfung neuer Beziehungen in einer angeregten internationalen Familie. Man darf hoffen, daß der Mathematikunterricht an Schulen davon gewinnt. Leo H. Klingen (Bonn)

  6. The 2nd IMACS Conference on APPLICATIONS OF COMPUTER ALGEBRA

    Hagenberg, Österreich, 17.-20.7.1996

    Die IMACS ACA Konferenzreihe ist dafür gedacht, über ernsthafte Anwendungen von Computeralgebra zu berichten. Die zweite Tagung in diesem Zyklus fand zwischen dem 17. und dem 20. Juli 1996 im Schloß Hagenberg am RISC in der Nähe von Linz statt.

    Die Tagung war in folgende Sektionen aufgeteilt: Automated Theorem Proving, Formal Analysis of PDEs, Coding Theory and Cryptology, Geometric Modelling and CAD, Computational Physics, Computational Category Theory, Non-Standard Applications, Polynomial Elimination, Constraint Programming, Analog Circuit Design, Evaluations of Series, Quantifier Elimination, New Appplications in Mathematica und Comparative CAS Reviews and Philosophy, von denen immer zwei parallel stattfanden.

    Die einzelnen Vortäge waren: Bruno Buchberger: An Overview on the Apply Math Project, Henk Barendregt: Efficient computations in formal proofs, Bernd-Ingo Dahn: Computer Algebra Systems in an Environment of Cooperating Theorem Provers, St'ephane Dalmas, Marc Gaëtano, Claude Huchet: A Deductive Database for Mathematical formulas, Agostino Dovier, Andrea Formisano, Alberto Policriti: Automated deduction scheme, Michael Joswig: Towards modelling the topology of homogeneous manifolds by means of symbolic computation, Eric Monfroy, Christophe Ringeissen: Domain-Independent Scheme for Constraint Solver Extension, Jürgen Stuber: Building abelian groups and commutative rings into first-order theorem proving, Volker Sorge: Integrating a CAS as Proof Planer in the OMEGA Proof Development Environment, Wolfgang Gehrke: A method to combine algebraic computations with related deductions, Jacques Calmet, Karsten Homann: The Role of Representation for Specification and Communication in Mathematical Assistants, Helmut Thiele: On an Algebraic Characterization of Default Reasoning, Werner M. Seiler: Involutive systems and the numerical analysis of constrained Hamiltonian Systems, François Boulier: Some improvements of a lemma of Rosenfeld, Sally D. Morrison: A Generalization of Rosenfeld's Lemma, Gregory J. Reid: The rif and radical rif algorithms, Giuseppa Carrà Ferro: Triangular Matrices, Differential Resultants and Systems of Linear Homogeneous PDE's, Vladimir P. Gerdt: Minimal Involutive Bases, Armin Nueckel: IDEAS: A Computer-algebra-based Chip Design Environment for Algebraic Computation, Coding and Signal Processing, Thomas Beth, Markus Grassl, Joern Mueller-Quade: Algebra for Optical Computing and Quantum Computing, Andreas Stein: Cryptographic Aspects Of Real Quadratic Congruence Function Fields, Franck Leprevost: On Certain Torsion Subgroups of Jacobians of Decomposable Curves of Genus 2 and Its Applications to Symbolic Integration and Primality Proving, Shojiro Sakata: Groebner Basis: A Bridge between Coding Theory and Computer Algebra, Daniel Augot: Computing Groebner Bases for Finding Codewords of Small Weight, Franz Winkler: Parametrization over prescribed coefficient fields, Hoon Hong, Josef Schicho: Implicitization of Nested Circular Curves and generalizations, Helmut Pottmann, Martin Peternell: Rational Parametrizations for Envelopes of Natural Quadrics, E. Arrondo, J. Sendra, J.R. Sendra: Unirational Generalized Offset to Hypersurfaces. M. Giusti, K. Hägele, J. Heintz, J.E. Morais, J.L. Monta na, L.M. Pardo: Lower Bounds for Diophantine Approximations, Thomas Sauer: Constructing Gröbner Basis by Interpolation, Claudio Maccone: Computer Algebra and General Relativity for Future Spaceflight Investigations, Rolf Mertig: FeynCalc 3.0 - A Mathematica Package for Feynman Diagram Calculations in High Energy Physics, Michael Trott: High order WKB approximation and singular perturbation theory, Victor G. Ganzha, K. Schaub, Evgenii V. Vorozhtsov: The Use of Mathematica for Computation of Stability Regions with Guaranteed Accuracy, Victor G. Ganzha, Evgenii V. Vorozhtsov: Curvilinear Grid Topology Effect on the Stability of Difference Schemes, Hans-Joachim Bungartz: Rapid Prototyping for the Construction of Higher Order Finite Element Methods on Sparse Grids, Jean-Antoine D'esid'eri, Margarita Spiridonova: Symbolic Computation of Linear and Nonlinear Modified (Partial Differential) Equations, Robert Walters: The Todd-Coxeter procedure and the computation of left Kan extensions, Richard Buckland: CASE for concurrent systems based on the computer algebra of n-categories, Makoto Takeyama: Universal structure and categorical reasoning in type theory, Robbie Gates: Generic solutions to polynomial equations in distributive categories, Robert Rosebrugh: Database tools for category theory, Ronald Brown: The Axiom computer algebra system applied to computational category theory, F. William Lawvere: Graphic toposes, n-categories and resulting problems of computer algebra, Jacques Calmet: Computer Algebra and Artificial Intelligence, Eugenio Roanes-Lozano, Luis M. Laita: A Topology-Independent Model for Railway Interlocking Systems, Antonio Montes: Algebraic Solution of the Load-Flow Problem for a four Nodes Electrical Network, R.L. Akers, P. Baffes, E. Kant, C. Randall, S. Steinberg, R.L. Young: A Problem Solving Environment for Numerical Partial Differential Equations, Shigekazu Nakagawa, Naoto Niki, Hiroki Hashiguchi: Computer Algebra application to the distribution of sample correlation coefficient, Alejandro A.R. Trejo, Guillermo Fernandez Anaya: Regular Expressions Simplification, Ross Taylor: Thermodyanmics with Maple, J. Lyn Miller: Algorithms for Extending Gröbner Bases to Subalgebras and Their Ideals, Franz Pauer, Andreas Unterkircher: Gröbner Bases for Ideals in Monomial Algebras and Their Application to Systems of Difference Equations, Lu Yang, Xiao-Rong Hou, Zhen-Bing Zeng: A Complete Discrimination System for Polynomials, Masayuki Noro, Kazuhiro Yokoyama: An Efficient Method to Compute the Univariate Rational Representation for Zero-dimensional Systems, Maria Pia Saccomani, Stefania Audoly, Claudio Cobelli, Leontina D'angir: The Buchberger Algorithm to Study the a Priori Identifiability of Biological Systems Models, Jean-Charles Faugère, François Moreau de Saint-Martin, Fabrice Rouillier: Design of Nonseparable Bidimensional Wavelets and Filter Banks Using Gröbner Bases Techniques, Hans J. Stetter: Computer Algebra with Data of Limited Accuracy, Giuseppa Carrà Ferro: Ritt's Algorithm and Differential Resultants of Two Algebraic ODE's, Dongming Wang: A Polynomial System from Differential Equations, Hoon Hong, Manfred Minimair: Volume of Parameterized Polyhedra, Karin Gatermann: Symmetry: A Package for Computation with Invariants and Equivariants, Yosuke Sato: Application of Groebner basis in constraint of non-numerical domains, Eric Monfroy: Solver collaborations for non-linear constraints, Jason Harris: Semantic Pattern Matching In Mathematica, Olga Caprotti, Hoon Hong: Solving Equational Constraints via Patterns, Frederic Benhamou, Laurent Granvilliers: Application of Groebner Bases for Numerical Constraint Solving, Hoon Hong, Stefan Ratschan: Determining the Relationship Among Sets, Yike Guo: A Parallel Algebraic Approach Towards Discrete Optimisation, Ralf Sommer, Eckhard Hennig: Overview talk on symbolic techniques for circuit analysis, Carsten Borchers, Lars Hedrich: Symbolic Behavioral Model Generation and Formal Verification of Analog Circuits, Georges Gielen, Piet Wambacq, Willy Sansen: Techniques for the symbolic analysis of distortion and intermodulation, Wolfgang Mathis: Nonlinear network theory, differential geometric approach to nonlinear networks, Ljiljana Trajkovic: Homotopy Methods for Solving Nonlinear Equations and their Applications in Circuit Simulation, B. Mourrain: Integration of algebraic and numerical tools for devising efficient algorithms for the solution of systems of polynomial equations, Bernard Mourrain: Some Applications of Duality Between Polynomials and Formal Series, Victor Edneral: ''NORT'' Package for Treating Multivariate Power Series and Applications, Wolfram Koepf: Series Representations and Generating Functions of Special Functions with Mathematica, Nikolay Vasiliev, Victor Edneral: About an Algorithm to Construct a Canonical Basis for the Ideals in the Ring of Formal Power Series, Sebastian Walcher: Normalizer Elements and Integrating Factors, A. Abad, A. Elipe, J. Palacian, J.F. San-Juan: ATESAT: A Symbolic Processor for Artificial Satellite, Nikolay Vasiliev: Formal Lie Series and Applications to the Hamiltonian Mechanics, Victor Edneral: Symbolic Approximation of Periodic Solutions and Trajectories of Henon-Heiles' System by the Normal Form Method, Andreas Dolzmann, Thomas Sturm: REDLOG - Computer Algebra Meets Computer Logic, Volker Weispfenning: Quantifier Elimination Applied in Simulation and Scheduling, Emma-Neila Gonzalez-Campos, Laureano Gonzalez-Vega: Global projection operators for the Cylindrical Algebraic Decomposition algorithm, Chris Brown, George Collins: Simple Solution Formula Construction from Truth Invariant CADs, Mats Jirstrand: Some Applications of Quantifier Elimination in Nonlinear Control Theory, Ying Jiangqian: On the Determination of the Strong Stabilizability of an n-Dimensional Linear System, H. Hong, A. Neubacher: Approximate Quantifier Elimination, R. Liska, S. Steinberg: The Stability of Boundary Conditions, H. Hong, R. Liska, S. Steinberg: Discussion and Comments by the Organizers and Participants, R. Barrere: Functional Generic Algorithms for Symbolic Approximations, A.V. Bocharov, E.M. Vorob'ev: Variations on the Theme of Thomas-Rosenfeld with the New Version of Mathematica, J. Korelc: A Mathematica Package for Cooperative Problem Solving in Computational Mechanics, M. Sofroniou: Computer derivation of numerical methods, M. Trott: Computation and visualization of general Riemann surfaces w[z] of arbitrary algebraic functions, Jason Harris: Extensible Notations in Mathematica 3.0, Nicolas Robidoux: User Friendly Reviews of Computer Algebra Systems, Laurent Bernardin: A Review of Symbolic Solvers, Hans-Gert Gräbe: Factorized Gröbner Bases and Polynomial Systems, Frank Postel, Paul Zimmermann: A review of the ODE solvers of Axiom, Derive, Macsyma, Maple, Mathematica, MuPAD and Reduce, Helmer Aslaksen: Multiple-valued Complex Functions and Computer Algebra, Michael Wester Computer Algebra Systems: Pitfalls, Pratfalls and also Elegance, Stanly Steinberg: Computer Algebra and Problem Solving Environments, Paul Zimmermann: Commercial vs. Free Computer Algebra Systems.

    Weiteres über die Tagung kann bei http://info.risc.uni-linz.ac.at:70/0/conference/IMACS96/imacs.html nachgelesen werden, u. a. sind dort auch die Abstracts der einzelnen Vorträge erhältlich.

    Wolfram Koepf (Berlin)

  7. ISSAC'96: International Symposium on Symbolic and Algebraic Computation

    Zürich, Schweiz, 24.-26.7.1996.

    Die ISSAC'96 wurde vom 24. bis 26. Juli in Zürich veranstaltet. Die Teilnehmeranzahl lag in der Größenordnung 150-200. Am 23.7.1996 gab es verschiedene Tutorials, parallel zu den Vorträgen gab es Postersessions. Die Organisation lag in den Händen von:

    General Chair: Erwin Engeler, Mathematics, ETH Zentrum HG, CH-8092 Zürich. issac96@math.ethz.ch Program Committee Chair: Bob Caviness, Computer & Information Sciences, 103 Smith Hall, University of Delaware, Newark DE 19716 USA, issac96@cis.udel.edu Poster Session Chair: Wolfgang Küchlin, Wilhelm Schickard Institut f. Informatik, Sand 13, Universität Tübingen, 72076 Tübingen, Kuechlin@informatik.uni-tuebingen.de Publicity Chair: Manuel Bronstein, Scientific Computation, ETH Zentrum IFW, CH-8092 Zürich, bronstein@inf.ethz.ch Treasurer: Stephane Collart, Mathematics, ETH Zentrum HG, CH-8092 Zürich, collart@math.ethz.ch Exhibit Chair: Max Engeli, Institute of Machine Tools and Manufacturing, ETH Zentrum CLA, CH-8092 Zürich, engeli@iwf.bepr.ethz.ch Local Arrangements Chair: Michael Kalkbrener, Mathematics, ETH Zentrum HG, CH-8092 Zürich, mkalk@math.ethz.ch

    Auch die neue im letzten Jahr geschaffene Organisation der ISSAC-Konferenzreihe etabliert sich immer stärker. Unter der Leitung der Mitglieder des Leitungsgremiums Stephan Watt (Nizza, Vorsitz), Manuel Bronstein (Zürich) und Johannes Grabmeier (Heidelberg) wurde das ISSAC-Business-Meeting durchgeführt. Durch Los wurde die Amtszeit der Mitglieder Manuel Bronstein (2 Jahre), Richard Jenks (1 Jahr) festgelegt. Teo Mora scheidet aus. Seinen Platz nimmt nun Hoon Hong (RISC Linz) ein, der von der Versammlung aus 7 Kandidaten, die von den Vertretern der Computeralgebra-Gesellschaften (SIGSAM, Fachgruppe, Japan) im Leitungsgremium nominiert worden waren, gewählt wurde. Die ISSAC'97 wird in Hawaii stattfinden. Karl Hantzschmann und Johannes Grabmeier präsentierten die Pläne für die ISSAC'98, die von der Fachgruppe Computeralgebrainitiiert wurde. Weiterhin wurde der Zeitraum für die Konferenz in Rostock 1998 auf 13.-15.8.1998, unmittelbar vor dem International Congress of Mathematics in Berlin festgelegt.

    Nachfolgend das Programm der ISSAC'96.

    tabular651

    tabular690

    tabular718

    tabular753

    tabular789

    tabular816

    tabular845

    tabular861

    tabular892

    tabular925

    tabular957

    tabular972

    tabular1009

    Johannes Grabmeier (Heidelberg)

  8. Workshop - Programming in GAP

    Aachen, 2.-6.9.1996

    Die Tagung richtete sich an fortgeschrittene Benutzer des Computeralgebrasystems GAP, die über die Benutzung der im Handbuch dokumentierten Funktionen hinaus eigene Programme in GAP schreiben. Solche Programme können als Beiträge zur Funktionsbibliothek oder als sog. ,,share packages`` dienen. Für diesen Benutzerkreis wurden die Struktur des künftigen Kernes sowie der Bibliothek von GAP 4 vorgestellt und anhand von bereits implementierten Beispielen veranschaulicht. Das Programm wurde ergänzt durch Berichte über mathematische Projekte, die mit GAP (Version 3) verwirklicht wurden. Die Tagung besaß informalen Charakter, und viel Zeit wurde für Diskussionen zwischen Entwicklern und Benutzern reserviert.

    Es waren ca. 35 Teilnehmer anwesend, unter anderem aus St. Andrews, Schottland, von wo aus GAP 4 künftig koordiniert werden wird. Die Vortragsthemen lauteten zusammengefaßt:

    Vorträge zur Vorstellung von GAP 4:

    Martin Schönert (Aachen): New concepts in GAP 4: operations and method selection

    Thomas Breuer, Frank Celler und Heiko Theißen (Aachen): A walk through the GAP 4 library: Elements and domains. Examples: free groups and their elements, rewriting systems, vector spaces and algebras. Lists and enumerators. GAP 3 versus GAP 4. Stabiliser chains

    Martin Schönert (Aachen): A walk through the kernel: How to move time consuming library functions into the kernel, all about the GAP compiler

    Steve Linton (St. Andrews): Different types of contribution standards for code, documentation and support

    Steve Linton (St. Andrews): How to program efficiently in GAP, how to avoid pitfalls, how to locate time or space consuming pieces of code

    Steve Linton (St. Andrews): How to debug your program, how to debug the method selection, what to do if things go wrong Vorträge über Projekte, die mit GAP verwirklicht wurden:

    Nik Ruskuc (St. Andrews): Implementation of semigroups

    Heiko Theißen (Aachen): Stabiliser chains for automorphism groups

    Willem de Graaf (Eindhoven): ELIAS, the Lie algebra system built into GAP 4

    Jean Michel (Paris VII) und Frank Lübeck (Heidelberg): CHEVIE, generic character tables of groups of Lie type

    Franz Gähler (Ecole polytechnique, Paris): Computing with space groups in GAP

    Chris Wensley (Bangor): Crossed modules in GAP

    Heiko Theißen (Aachen)

  9. DMV - Jahrestagung 1996 

    Jena, 15.-21.9.1996

    Auf der Jahrestagung der Deutschen Mathematikervereinigung gab es neben 16 Hauptvorträgen (darunter aus der Computeralgebra: A. Kerber (Bayreuth): Konstruktive Theorie Diskreter Strukturen und Anwendungen) Einzelvorträge in 17 Sektionen. Die Sektion über Computeralgebra wurde von G. Hiß (Heidelberg) und M. Pohst (Berlin) geleitet.

    Vorträge (in chronologischer Reihenfolge):

    Derek F. Holt (Warwick): Computational Methods in the Study of Finitely Presented Groups (Übersichtsvortrag) Herbert Pahlings (Aachen): GAP und einige Vermutungen in der Darstellungstheorie Herbert Brückner (Aachen): Darstellungen endlicher auflösbarer Gruppen, Anwendung auf Präsentationen Wolfgang Merkwitz (Aachen): Multiplikation in nilpotenten Gruppen Alexander Hulpke (Aachen): Bestimmung invarianter Untergruppen Susanne Schmitt (Saarbrücken): Das Computeralgebra-System SIMATH Florian Heß (Berlin): Neuere Entwicklungen im Softwaresystem KANT für algebraische Zahlentheorie Gerhard Frey (Essen): Über den diskreten Logarithmus in Abelschen Varietäten und seine Anwendungen in Kryptosystemen (Übersichtsvortrag) Martin Klebel (Augsburg): Algorithmische Bestimmung von Potenzganzheitsbasen in der komplexen Multiplikation Franck Leprevost (Bonn): Über die Jacobischen Varietäten der Geschlecht 2 Quotientenkurven von modularen Kurven X_0(N) und Anwendungen Heiko Theißen (Aachen): Normalisatorberechnung in Permutationsgruppen Rainer Nörenberg (Bielefeld): Zur Klassifikation zahmer Posetalgebren mit CREP Olaf Bachmann (Kaiserslautern): Chains of Recurrences Sabine Hoeppner (Groningen): Differentialgleichungen in beliebiger Charakteristik K.G. Roesner (Darmstadt): Computeralgebra - eine Alternative zur Numerik? (Übersichtsvortrag) Wolfram Koepf (Berlin): Effiziente Berechnung orthogonaler Polynome in Computeralgebrasystemen Michael Pesch (Passau): Gröbnerbasen in Schiefpolynomringen Michael Niermann (Dortmund): Reelle Punkte und reelle Radikale binomialer Ideale Vladimir Gerdt (Dubna): Involutive Bases in Commutative and Differential Algebra (Übersichtsvortrag) Beate Thielcke (Rostock): Grad-Vier-Identitäten auf alternativen Algebren Anton Betten (Bayreuth): Paralleles Rechnen in der Kombinatorik Clemens Wagner (Essen): Ein neuer polynomialer Algorithmus zum Berechnen der Hermite-Normalform von Matrizen über Polynomringen

    Michael Pohst (Berlin)

  10. DISCO `96 - International Symposium on Design and Implementation of Symbolic Computation Systems

    Karlsruhe, 18.-20.9.1996

    Das vierte internationale Symposium DISCO (International Symposium on Design and Implementation of Symbolic Computation Systems) fand vom 18.-20. September 1996 an der Universität Karlsruhe unter der Leitung von Jacques Calmet (conference chair), Luigia Carlucci Aiello (program chair) und Karsten Homann (local chair) mit etwa 60 Teilnehmern statt. Neue Trends bei der Entwicklung von Systemen zum symbolischen Rechnen in Algebra, Geometrie und Beweisen wurden in Form von eingeladenen, vollen und kurzen Vorträgen sowie Demonstrationen vorgestellt, insbesondere Sprachen, Typinferenz, Integration von Beweisen und algebraischen Algorithmen, Architekturen, Schnittstellen und Systeme.

    Die Beiträge sind als LNCS 1128 im Springer-Verlag mit Herausgeber Jacques Calmet und Carla Limongelli erschienen: Problem-Oriented Applications of Automated Theorem Proving (eingeladener Vortrag), W. Bibel, D. Korn, C. Kreitz, S. Schmitt; Sigma(IT) - A Strongly-typed Embeddable Computer Algebra Library, M. Bronstein; Disc_(Atinf): a General Framework for Implementing Calculi and Strategies, C. Bourely, N. Peltier; Equality Elimination for the Tableau Method, A. Degtyarev, A. Voronkov; Towards Lean Proof Checking, G. Barthe, H. Elbers; Waldmeister: High Performance Equational Theorem Proving, A. Buch, T. Hillenbrand, R. Fettig; A Reflective Language Based on Conditional Term Rewriting, M. Numazawa, M. Kurihara, A. Ohuchi; Term Rewriting Systems: an h-Categorical Semantic, G. Balestreri; Generative Geometric Modeling in a Functional Environment (eingeladener Vortrag), A. Paoluzzi; Exploiting SML for Experimenting with Algebraic Algorithms: the Example of p-adic Lifting, W. Gehrke, C. Limongelli; Conditional Categories and Domains, P. S. Santas; Parameterizing Object Specifications, M. Gogolla; Analyzing the Dynamics of a Z Specification, P. Ciancarini, C. Mascolo; Walking Faster, B. Amrhein, O. Gloor, W. Küchlin; Integer and Rational Arithmetic on MasPar, T. Jebelean; Parallel 3-Primes FFT Algorithm, G. Cesari, R. Maeder; A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor, R. Bündgen, M. Göbel, W. Küchlin; Multi-Agent Cooperation - Concepts and Applications (eingeladener Vortrag), H. Haugeneder, D. Steiner; Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces, W. Weck; Animating a non-executable formal specification with a distributed symbolic language, P. Ciancarini, S. Cimato; Uniform Representation of Basic Algebraic Structures in Computer Algebra, C. Limongelli, G. Malerba, M. Temperini; Integrating Computer Algebra with Proof Planning, M. Kerber, M. Kohlhase, V. Sorge; Structures for Symbolic Mathematical Reasoning and Computation, K. Homann, J. Calmet; Implementing FS_0 in Isabelle: Adding Structure at the Metalevel, S. Matthews; An Approach to Class Reasoning in Symbolic Computation, G. Cioni, A. Colagrossi, M. Temperini; An Intelligent Interface to Numerical Routines, B. J. Dup'ee, J. H. Davenport; Computer Algebra and the World Wide Web (eingeladener Vortrag), A. C. Hearn; Interfacing REDUCE to Java, A. Norman, J. Fitch; Software Architectures for Computer Algebra: a Case Study, G. Butler; A Deductive Database for Mathematical Formulas, S. Dalmas, M. Gaëtano, C. Huchet; CASA - A System for Computer Aided Constructive Algebraic Geometry, M. Mnuk, F. Winkler; Making Systems Communicate and Cooperate: the Central Control Approach, S. Dalmas, M. Gaëtano; A Database for Number Fields, M. Daberkow, A. Weber; Compiling Residuation for Multiparadigm Symbolic Programming Language, G. Grivas, A. Palinginis; Pluggability Issues in the Multi Protocol, S. Gray, N. Kajler, P. S. Wang.

    Karsten Homann (Karlsruhe)

  11. Workshop on Computeralgebra in connection with INFORMATIK'96 

    Klagenfurt, Österreich 24.9.1996

    Die gemeinsame Jahrestagung der Gesellschaft für Informatik und der Österreichischen Computer Gesellschaft enthielt 1996 erstmals einen Workshop Computeralgebra. Als eingeladener Hauptreferent hat Dr. A. M. Odlyzko unter dem Titel Computeralgebra and Cryptography die Kryptographie unter dem Aspekt des Beitrags der Computeralgebra beleuchtet. Hier erwies sich eine Trennung zwischen computational number theoryünd computeralgebraäls relativ willkürlich und daher eine Zuordnung sachlich schwierig. Herr Odlyzko diskutierte verschiedene Methoden wie differential cryptoanalysis, linear cryptoanalysis, RSA und wies auf die Zeitfaktoren hin, die ein allgemeines Computeralgebra System gegenüber Spezialsoftware beim Versuch, Codes zu brechen, hinnehmen muß. Natürlich stellt das Brechen eines Codes ein offenes Problem dar, so daßweitere Cryptosysteme unter diesem Gesichtspunkt vorgestellt wurden.

    Herr Odlyzko war ebenfalls ein Hauptredner des Hauptprogramms der Veranstaltung am folgenden Tag. Hier verwies er auf entscheidende Durchbrüche in der Entwicklung der Computeralgebra, erläuterte aber auch, daßbei einem gigantischen Softwaresystem Fortschritte an vielen Teilen parallel erzielt werden und die erreichte Leistungssteigerung schwerlich einem Algorithmus zugeschrieben werden kann. Letztlich erfordert ein versierter Umgang mit einem Computeralgebra-System einen mathematisch gut ausgebildeten Benutzer. Hier bestehen (noch) Grenzen für den Einsatz dieser Systeme.

    Der Workshop bot weiterhin eine Vielfalt weiterer Beiträge. Mathematische Themen wie Primzahltests, 7-Designs, Groebnerbasen und deren Verwendung in numerischen Problemen wurden ergänzt durch eine Darstellung von Informatikaspekten beim Entwurf von Computeralgebra-Systemen, von einem breiten Spektrum von Anwendungen von Computeralgebra-Systemen und der Beschreibung von Aspekten einer Benutzeroberfläche. Der Workshop bot somit ein interessantes Spektrum aus dem Gebiet der Computeralgebra, das in kommenden Workshops beibehalten werden sollte. Auch die Anbindung an die Informatik Jahrestagung hat sich als sehr positiv herausgestellt, da durch das kombinierte Angebot auch eine weite Anreise attraktiv wurde. Als kleiner Kritikpunkt an der ansonsten sehr guten Organisation sei nur vermerkt, daßauch kurze Vorträge mehr Zeit erhalten sollten.

    Reinhard Laue (Bayreuth)


Next: Themen und Anwendungen der Up: CAR 19 Previous: Hinweise auf Konferenzen

Ulrich Schwardmann
Tue Jan 14 18:38:19 MET 1997