Selected Publications by Members of the Symbolic Computation Group

Note: this research group at the Institute for Theoretical Computer Science at ETH Zurich does not exist anymore. Prof. Mäder left ETH in 1996.
This list is no longer updated.

Index by First Author

Entries

The links in the titles of some publications point to a (gzip) compressed PostScript version of the paper or to further information about the listed books.
[IlluMathD]
Oliver Gloor, Beatrice Amrhein, und Roman E. Maeder. Illustrierte Mathematik. BirCom, 1994. CD-ROM mit Begleitheft.
[IlluMathE]
Oliver Gloor, Beatrice Amrhein, and Roman E. Maeder. Illustrated Mathematics. TELOS/Springer-Verlag, 1995. CD-ROM with booklet.
[Grivas92]
Georgios Grivas. A unification- and object-based symbolic computation system. In Franz Baader, Jörg Siekmann, and Wayne Snyder, editors, 6th International Workshop on Unification (Proceedings of UNIF '92), BUCS Tech Report #93-004. Computer Science Department, Boston University, July 1992.
[Grivas93a]
Georgios Grivas and Roman E. Maeder. Matching and unification for the object-oriented symbolic computation system AlgBench. In Miola (DISCO93).
[Grivas94a]
Georgios Grivas. Efficient integration of declarative paradigms into symbolic computation systems. In Hassan Aït-Kaci, Michael Hanus, and Juan José Moreno Navarro, editors, Proc. ICLP '94 Post-Conference Workshop on Integration of Declarative Paradigms, Santa Margherita, Italy, June 1994.
[Grivas94b]
Georgios Grivas. Towards a constraint functional logic compiler for symbolic computation systems. In Manuel Hermenegildo and Jaan Penjam, editors, Proc. 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), Madrid, Spain. Springer LNCS 844, September 1994.
[Maeder90b]
Roman E. Maeder. Computation with infinite structures. The Mathematica Journal, 1(2), 1990.
[Maeder91a]
Roman E. Maeder. Fibonacci on the fast track. The Mathematica Journal, 1(3), 1991.
[Maeder91b]
Roman E. Maeder. Programming in Mathematica. Addison-Wesley, second edition, 1991.
[Maeder91d]
Roman E. Maeder. Fractal curves. The Mathematica Journal, 1(4), 1991.
[Maeder92e]
Roman E. Maeder. System programming. The Mathematica Journal, 2(1), 1992.
[Maeder92f]
Roman E. Maeder. Minimal surfaces. The Mathematica Journal, 2(2), 1992.
[Maeder92g]
Roman E. Maeder. Abstract data types. The Mathematica Journal, 2(3), 1992.
[Maeder92h]
Roman E. Maeder. Polymorphism and message passing. The Mathematica Journal, 2(4), 1992.
[Maeder93b]
Roman E. Maeder. Object-oriented programming. The Mathematica Journal, 3(1), 1993.
[Maeder93c]
Roman E. Maeder. Databases. The Mathematica Journal, 3(2), 1993.
[Maeder93d]
Roman E. Maeder. Turing machines and code-optimization. The Mathematica Journal, 3(3), 1993.
[Maeder93e]
Roman E. Maeder. Informatik für Mathematiker und Naturwissenschaftler -- Eine Einführung mit Mathematica. Addison-Wesley, 1993.
[Maeder93f]
Roman E. Maeder. Uniform polyhedra. The Mathematica Journal, 3(4), 1993.
[Maeder94a]
Roman E. Maeder. The Mathematica Programmer. AP Professional, 1994.
[Maeder94b]
Roman E. Maeder. The stellated icosahedra. Mathematica in Education, 3(1), 1994.
[Maeder94c]
Roman E. Maeder. Logic programming I: The interpreter. The Mathematica Journal, 4(1), 1994.
[Maeder94d]
Roman E. Maeder. Logic programming II: Applications. The Mathematica Journal, 4(2), 1994.
[Maeder94e]
Roman E. Maeder. Ray Tracing and Graphics Extensions. The Mathematica Journal, 4(3), 1994. See also: Figures, programs, and scene files from the article.
[Maeder94f]
Roman E. Maeder. Animated algorithms. The Mathematica Journal, 4(4), 1994.
[Maeder95a]
Roman E. Maeder. Single-Image Stereograms. The Mathematica Journal, 5(1), 1995.
[Maeder95b]
Roman E. Maeder. Function Iteration and Chaos. The Mathematica Journal, 5(2), 1995.
[Maeder95c]
Roman E. Maeder. Higher-Order Functions. The Mathematica Journal, 5(3), 1995.
[Maeder95d]
Roman E. Maeder. Term Rewriting and Programming Paradigms. In V. Keränen, editor, Mathematics with a Vision: Proceedings of the First International Mathematica Symposium. Computational Mechanics Publications, 1995.
[Maeder95e]
Roman E. Maeder. Combinators. The Mathematica Journal, 5(4), 1995.
[Milmeister95]
Gérard Milmeister. Functional Kernel with Modules. Diploma Thesis, ETH Zurich, 1995.
[Missura92b]
Stephan A. Missura. Klassenbasierte Umgebung für algebraische Modellierungen in AlgBench. Diploma Thesis, ETH Zurich, 1992.
[Missura93a]
Stephan A. Missura. Modelling algebraic structures in a symbolic computation environment. In M.H. Hamza, editor, IASTED International Symposium APPLIED INFORMATICS. The International Association of Science and Technology for development, May 1993.
[Missura93b]
Stephan A. Missura. Extending AlgBench with a type system. Appeared in Lecture Notes in Computer Science, Volume 722 [LNCS722].
[Missura94a]
Stephan A. Missura. Theories = Signatures + Propositions as Types. Appeared in Lecture Notes in Computer Science, Volume 958 [LNCS958].
[Missura94b]
Stephan A. Missura and Andreas Weber. Using Commutativity Properties for Controlling Coercions. Appeared in Lecture Notes in Computer Science, Volume 958 [LNCS958].
[Missura95a]
Stephan A. Missura. Eliminating the Shortcomings of Free Datatype Definitions. Technical Report 242, ETH Zurich, December 1995.

References

Here are the entries for works cited in our pages. If we knew about further information provided by the author, we put in a link in the work's title and/or author.
[Blachmann93]
Nelson Blachmann. There are nine regular solids, not just five. The Mathematica Journal, 3(2), 1993.
[Bruckner00]
M. Brückner. Vielecke und Vielflache. 1900.
[Coxeter53]
H. S. M. Coxeter, M. S. Longuet-Higgins, and J. C. P. Miller. Uniform polyhedra. Phil. Trans. Royal Soc. London, Ser. A, 246:401-450, 1953.
[Coxeter82]
H. S. M. Coxeter, Patrick du Val, H. T. Flather, and J. F. Petrie. The Fifty-Nine Icosahedra. Springer-Verlag, 1982. Originally published by Univ. of Toronto Press, 1938.
[Harel93]
Zvi Har'El. Uniform solution for uniform polyhedra. Geometriae Dedicata, 47, 1993.
[LNCS722]
Alfonso Miola, editor. Design and Implementation of Symbolic Computation Systems - International Symposium DISCO '93. Volume 722 of Lecture Notes in Computer Science, Springer-Verlag, September 1993.
[LNCS958]
Jacques Calmet and John A. Campbell, editors. Integrating Symbolic Mathematical Computation and Artificial Intelligence (AISMC-2). Volume 958 of Lecture Notes in Computer Science. Springer Verlag, August 1994.
[Skilling75]
J. Skilling. Uniform polyhedra. Phil. Trans. Royal Soc. London, Ser. A, 278:111-135, 1975.
[Wheeler24]
A. H. Wheeler. Certain forms of the icosahedron and a method for deriving and designating higher polyhedra. In Proc. Internat. Math. Congress, volume 1, pages 701-708, 1924.

© 2005 MathConsult Dr. R. Mäder
http://www.mathconsult.ch/showroom/pubs.html
Comments to the Webmaster; Last update: 23.05.1999