|
Teema
|
Ettekandja
|
Kuupäev
|
1.
|
Sissejuhatus. Teemade jaotamine.
|
R.Prank
|
13.IX
|
2.
|
Hilberti X probleemi lahenduse
ülevaade ([Matijasevitsh], ptk I)
|
V.Laan
|
20.IX
|
3.
|
Hilberti X probleem ja tulemused
reaalarvuliste funktsioonide kohta ([Matijasevitsh], ptk V) |
R.Prank
|
27.IX
|
4.
|
Arvuteoreetilised eelteadmised
Hilberti X probleemi lahendamiseks ([Matijasevitsh], ptk II) |
A.Peder
|
4.X
|
5.
|
Astendamise diofantilisus
([Matijasevitsh], ptk III) |
R.Palm
|
11.-18.X
|
6.
|
Registermasinate simuleerimine
võrranditega ([Matijasevitsh],
ptk IV) |
V.Tsvetkov
|
25.X
|
7.
|
Avaldiste samaväärsuse
tõenäosuslik kontrollimine[Fisher]
|
D.Lepp
|
8.XI
|
8.
|
Praktiline deterministlik meetod
polünomiaalsetes avaldistes nulli tuvastamiseks [Richardson,
El-Sonbaty]
|
M.Issakova
|
15.-22.XI
|
9.
|
Uniformsuse hüpoteesi
testimine, kontranäited [Richardson]
|
T.Tamme
|
22.-29.XI
|
10.
|
Kuidas tuvastada nulli
[Richardson]
|
A.Peder
|
6.-13.XII
|
11.
|
Kanoonilistest kujudest ja
lihtsustamisest [Caviness]
|
|
|
12.
|
Võrdus arvutialgebras ja
mujal. [Davenport]
|
E.Tõnisson
|
|
13.
|
Avaldiste samaväärsuse
tuvastamine juhusliku polünomiaalse ajaga [Gonnet]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|