témavezető: Csendes Tibor
helyszín (magyar oldal): Óbudai Egyetem helyszín rövidítés: ÓE
A kutatási téma leírása:
Közismert, hogy a megbízható numerikus számításokban fontos szerepet játszó intervallum aritmetikán alapuló befoglaló függvények egyik gyengesége az esetenként számottevő túlbecslés, a konzervatív korlátoknak az értékkészlettől való jelentős eltérése. Másrészt több olyan átírási forma ismert, amelyek ezt a jelenséget csökkentik, és a befoglaló függvények minőségét lényegesen javítják. A tervezett kutatás azt célozza, hogy szimbolikus algebra rendszerben megvalósítjuk azt az automatikus átírást, amely a ráépülő számítógépes eljárások hatékonyságát várhatóan javítja.