=ADD=
=reftype=
14
=number=
96-40
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1996/96-40.ps.gz
=sponsor=
This paper was prepared during a stay
of the first author as a visiting research fellow at the
University of Tsukuba, Japan, Chair of Professor Tetsuo Ida, and was
supported by TARA (Tsukuba Advanced Research Alliance),
IPA-AITP (Advanced Information
Technology Program of the Information-Technology Promotion Agency, Japan)
in the frame of the project "Coordination Programming in Open
Computing Environment", and by a project grant on "Computer Algebra" by
Fujitsu Labs, ISIS, Numazu, Japan.
=year=
1996
=author=
Buchberger; Bruno
=title=
Mathematica as a Rewrite Language
=howpublished=
T. Ida (ed.) ``The Second Fuji International Workshop on Functional
and Logic Programming'', Nov. 1-4, Shonan Village, Japan.
=month=
12
=abstract=
The kernel of the Mathematica language is a higher-order
conditional rewrite language with sequence variables.
This fact is little known.
We derive some conclusions from this for the use of Mathematica as a research
tool in the area of rewriting and related areas.
=location=
2
=owner=
2
=source=
3