Thesis supervisor: Tibor Csendes
Location of studies (in Hungarian): Óbudai Egyetem Abbreviation of location of studies: ÓE
Description of the research topic:
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.