SSP Forum: David G. Stork on computational symbolic mathematics

The
Symbolic Systems Forum
(community sessions of SYMSYS 280 - Symbolic Systems Research Seminar)
presents

Computational symbolic mathematics: Computer algebra for non-numerical problems

David G. Stork
Symbolic Systems Program

Monday, April 1, 2024
12;30-1:20 pm PT
Margaret Jacks Hall (Bldg. 460), Room 126
In-person event, not recorded (see below for entry instructions if you are not an active Stanford affiliate)

Note: Lunch is provided, if pre-ordered, only for members of SYMSYS 280, but others are welcome to bring a lunch and eat during the presentation.

ABSTRACT:

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.

David G. Stork, PhD, is Adjunct Professor in the Symbolic Systems Program and Material Science and Engineering Department, and Visiting Lecturer in the Institute for Computational and Mathematical Engineering and Electrical Engineering Department at Stanford. He is a graduate of MIT and U. Maryland, holds 64 US patents, and has published over 215 scholarly articles and nine books. He will teach the one-unit seminar CME/SymSys 294, Computational symbolic mathematics.

NOTES ON ENTRY TO THE MEETING ROOM:

Entry to the building is open to anyone with an active Stanford ID via the card readers next to each door. If you do not have a Stanford ID, you can gain entry between 12:15 and 12:30pm ONLY by knocking on the exterior windows of room 126. These windows are to the left of the west side exterior door on the first floor of Margaret Jacks Hall, which faces the back east side of Building 420. Please do not knock on these windows after 12:30pm when the talk has started. We will not be able to come out and open the door for you at that point.