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.
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.