Proceedings

RIMS: Conference on Formula Manipulation and Its Application to Mathematical Study

• Fifth RIMS Conference: RIMS' 85
  Kyoto, Japan
  S. Hitotumatu (Chairman)

• Sixth RIMS Conference: RIMS' 86
  Kyoto, Japan
  T. Sasaki (Chairman)

Go to:
Proceedings
Literature
CAIN Home page