Formats of files
used on WWW site of Yuri Matiyasevich
.asc,
.ascii

"plain" format, used mainly for data to be read by "every" computer algebra system
.dvi standard output of TeX systems, to be read on screen or printed by corresponding DVIdrivers
.gif standard picture format,
usually can be viewed directly by browser
.gif.gz standard picture format, compressed by UNIX utility gzip; most browsers can be instructed to uncompress the file and show the picture
.htm,
.html

native WWW file. At present I adhere to HTML 3.2 standard (known as Wilbur), recent versions of main browsers understand it
.nb MATHEMATICA notebook, can be proceeded by MATHEMATICA starting from version 3.0. Also can be viewed by free MATHEMATICA Reader
.ps PostScript file to be printed on printers understanding this language. With corresponding software can be viewed on screen and printed on non-PostScript printers
.ps.gz PostScript file, compressed by UNIX utility gzip
.tex LaTex2.09 or LaTex2e file
.txt "plain" text file

URL of my original Home page is http://logic.pdmi.ras.ru/~yumat/index.html.
It has a mirror at http://www.informatik.uni-stuttgart.de/ifi/ti/personen/Matiyasevich/index.html.

All comments can be e-mailed to me, Yuri Matiyasevich.