Symbolic and Algebraic Computation by Computers - Proceedings of the Second International Symposium - Hardcover

by N. Inada (Editor), T. Soma (Editor)

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.