NC State UniversityCollege of Sciences
Department of Mathematics
Mathematics Home
About Us
Talks and Events
Special Events
Faculty-organized Meetings
Video Archive
Courses and Help
Summer Programs+
K - 12 Outreach
Computing Resources
Mathematics Resources
Faculty/Staff Resources
Support the Department
Contact Us

flow pass a cylinder with Reynolds number 200. The simulation was done using the augmented immersed interface method.
Symbolic Computation Seminar
Upcoming Events

Tuesday, August 30, 2016 at 1:30 PM in SAS 4201
Michael Singer, NC State

Finite automata, automatic sets, and difference equations
A finite automaton is one of the simplest models of computation. Initially introduced by McCulloch and Pitts to model neural networks, they have been used to aid in software design as well as to characterize certain formal languages and number-theoretic properties of integers. A set of integers is said to be m-automatic if there is a finite automaton that decides if an integer is in this set given its base-m representation. For example powers of 2 are 2-automatic but not 3-automatic. This latter result follows from a theorem of Cobham describing which sets of integers are m- and n-automatic for sufficiently distinct m and n. In recent work with Reinhard Schaefke, we gave a new proof of this result based on analytic results concerning normal forms of systems of difference equations. In this talk, I will describe this circle of ideas. No previous knowledge of any of these subjects will be assumed.

Tuesday, September 20, 2016 at 1:30 PM in SAS 4201
Zvi Rosen, University of Pennsylvania


Tuesday, October 25, 2016 at 1:30 PM in SAS 4201
Lihong Zhi, Academy of Mathematics and Systems Science, CAS, Beijing


Tuesday, November 15, 2016 at 1:30 PM in SAS 4201
Jesus De Loera, University of California, Davis


2006 - Today

You can add or remove yourself from a seminar mailing list by visiting this link.

Seminar Organizer: C. Vinzant

2108 SAS Hall  Directions  |  Box 8205  |  Raleigh, North Carolina 27695  |  Phone (919) 515-2382  |  Fax (919) 513-7336  |  E-mail Webmaster
©  North Carolina State University. All rights reserved.