Outcome of a Dagstuhl Seminar: Algebra, Geometry, and Software Systems 2003

Michael Joswig, Nobuki Takayama (Eds.): Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar]. Springer 2003, ISBN 3-540-00256-1

@proceedings{DBLP:conf/dagstuhl/2003agss,
  editor    = {Michael Joswig and
               Nobuki Takayama},
  title     = {Algebra, Geometry, and Software Systems [outcome of a Dagstuhl
               seminar]},
  booktitle = {Algebra, Geometry, and Software Systems},
  publisher = {Springer},
  year      = {2003},
  isbn      = {3-540-00256-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Michael Joswig: Beneath-and-Beyond Revisited. 1-21
Volker Kaibel, Marc E. Pfetsch: Some Algorithmic Problems in Polytope Theory. 23-47
Julian Pfeifle, Jörg Rambau: Computing Triangulations Using Oriented Matroids. 49-75
Ioannis Z. Emiris: Discrete Geometry for Algebraic Elimination. 77-91
Carlos D'Andrea, Ioannis Z. Emiris: Sparse Resultant Perturbations. 93-107
Andrew J. Sommese, Jan Verschelde, Charles W. Wampler: Numerical Irreducible Decomposition Using PHCpack. 109-129
Nobuki Takayama: Generating Kummer Type Formulas for Hypergeometric Functions. 131-145
Masayuki Noro: A Computer Algebra System: Risa/Asir. 147-162
Hans Schönemann: Singular in a Framework for Polynomical Computations. 163-176
Jean-Guillaume Dumas, Frank Heckenbach, B. David Saunders, Volkmar Welker: Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms. 177-206
James H. Davenport: The Geometry of Cⁿ is Important for the Algebra of Elementary Functions. 207-224
Duco van Straten, Oliver Labs: A Visual Introduction to Cubic Surfaces Using the Computer Software Spicy. 225-238
Richard Morris: A Client-Server System for the Visualisation of Algebraic Surfaces on the Web. 239-253
Steven Peter Dugaro, Konrad Polthier: Visualizing Maple Plots with JavaViewLib. 255-275
Dongming Wang: Automated Generation of Diagrams with Maple and Java. 277-287
Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk: Interactive Mathematical Documents on the Web. 289-307
Andrew Solomon: Distributed Computing for Conglomerate Mathematical Systems. 309-325