| Time: | 12 - 1:20 p.m. |
|
| Room: |
WH 5304
|
|
| Speaker: | Yimu Yin Department of Philosophy Carnegie Mellon University |
|
| Title: | Cell decomposition in valued fields |
|
| Abstract: |
I will discuss the method of cell decomposition in valued fields.
This method gives quantifier elimination results that can be used to
compute certain kinds of integrals. |
|
| Transparencies: |
|