About the Authors
Doctor Mircea Marin is a JSPS postdoctoral fellow at the Institute of Information Sciences and Electronics, University of Tsukuba, Japan. His recent work includes the design and implementation of distributed systems for solving systems of constraints in a higher-order setting by using CORBA middleware, mathematical libraries, and computer algebra systems, such as Mathematica. For details on his recent work, see www.score.is.tsukuba.ac.jp/~mmarin.
Doctor Tetsuo Ida is a professor at the Institute of Information Sciences and Electronics, University of Tsukuba, Japan, where he leads a research group on symbolic computation. For many years he has worked on various aspects of symbolic computation, such as rewrite theories, parallel hashing algorithms, and Lisp Machine for symbolic computation. He is an editor of the Journal of Symbolic Computation. For details on his recent work, see www.score.is.tsukuba.ac.jp/~ida.
Doctor Wolfgang Schreiner is an assistant professor for the Research Institute for Symbolic Computation (RISC-Linz) at the Johannes Kepler University in Linz, Austria. He has worked for several years on parallel and distributed systems for symbolic and algebraic computation using various declarative languages, mathematical libraries, and computer algebra systems. For details on his recent work, see www.risc.uni-linz.ac.at/people/schreine.
Copyright © 2001 Wolfram Media, Inc. All rights reserved.