Projekti / Programi
Izračunaljivost v analizi in topologiji
| Koda |
Veda |
Področje |
Podpodročje |
| 1.01.03 |
Naravoslovje |
Matematika |
Numerična in računalniška matematika |
| Koda |
Veda |
Področje |
| P170 |
Naravoslovno-matematične vede |
Računalništvo, numerična analiza, sistemi, kontrola |
izračunljiva analiza in topologija, teorija realizabilnosti, konstruktivna logika
Raziskovalci (2)
| št. |
Evidenčna št. |
Ime in priimek |
Razisk. področje |
Vloga |
Obdobje |
Štev. publikacijŠtev. publikacij |
| 1. |
15854 |
dr. Andrej Bauer |
Matematika |
Vodja |
2002 - 2004 |
0 |
| 2. |
14273 |
dr. Arjana Žitnik |
Matematika |
Raziskovalec |
2003 - 2004 |
0 |
Organizacije (1)
Povzetek
V tem projektu študiram matematične in logične osnove računskih postopkov v topologiji in analizi. Cilj projekta je razviti matematične metode ter programske strukture, s katerimi lahko analiziramo in garantiramo matematično pravilnost rezultatov v znanstvenih računskih aplikacijah, kot je na primer računsko reševanje diferencialnih enačb v fiziki in kemiji.
V tradicionalni numerični analizi je poudarek na študiju numeričnih algoritmov, ki delujejo s števili z omejeno natančnostjo. Moj projekt se dopolnjuje z numerično analizo, saj je glavna motivacija razvoj računskih metod, ki se samodejno prilagodijo tako, da dosežejo poljubno neomejeno numerično natančnost in obenem garantirajo pravilnost rezultatov. Te metode potrebujemo, kadar s tradicionalno numerično analizo ne dobimo zadosti dobrih garancij, in v kritičnih aplikacijah, ko tudi najmanjše numerične napake lahko povzročijo katastrofalne nesreče.
