TheoRema.org
Title
Theorema
Description
Excerpted from the DMOZ:
- An institute of the Johannes Kepler University in Linz, Austria, founded in 1987 by Prof. Bruno Buchberger. Research focuses on the interaction and integration of mathematics and computer science. Site has project descriptions, publications, courses and software.
Languages
English
Address
- Altenbergerstr 69
- Linz, A-4040 AUSTRIA
Contact
- Risc-Linz, University Of Linz
- +43 7236 323125 (PH), +43 7236 323130 (FAX)