This invaluable book contains 19 papers selected from those submitted to a conference held in Hong Kong in July 2000 to celebrate the 70th birthday of Professor Steve Smale. It may be regarded as a continuation of the proceedings of SMALEFEST 1990 ("From Topology to Computation"…
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the four invited speakers, G H Gonnet, D Lazard, W McCune, and W-T Wu, cover some of …
This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find it goodreading as well as a valuable reference.
This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find it good reading as well as a valuable reference.
Chapter Recent Advances on Reachability Problems for Valence Systems is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
