Computational symbolic mathematics: Computer algebra for non-numerical problems

Some of the greatest triumphs stemming from research in symbolic systems are computer algebra systems, particularly those addressing non-numeric problems that arise in nearly every discipline of mathematics: logic, geometry, calculus, differential equations, transforms, group theory, statistics, and beyond. This talk will demonstrate some of the immense power of such systems, tricks for extending their use, and examples of the underlying algorithms that empower them. It will also present a vision for mathematics and mathematics education in which hand calculation (for numerical and especially symbolic problems) is ever more replaced by computer algebra.

Speaker: David G. Stork, Symbolic Systems Program, Stanford University

See weblink for instructions to gain entry to the building.

Room 126