The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
信幸 稲田, 嵩 相馬 · WORLD SCIENTIFIC eBooks · 1985
This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manipulation machine at RIKEN known as the FLATS project.