Calcul simbolic si aplicatii

Consideram ca urmatorul deceniu va aduce o mutatie si o extindere semnificative in paradigma sistemelor soft matematice si de raå£ionare automata. Sistemele actuale de software matematic se bazeazäƒ pe biblioteci complete de algoritmi matematici, combinate cu limbaje de programare simbolica prin care utilizatorii pot compune algoritmii din biblioteci pentru a construi aplicatii puternice in diverse arii ale stiintei si tehnologiei. Sistemele viitorului vor fi sisteme care sa asigure managementul cunostintelor matematice. Managementul cunostintelor matematice are ca obiectiv asistarea de catre calculator, prin software dedicat, a tuturor fazelor procesului de inventare, structurare, memorare, accesare si aplicare a cunostintelor matematice atat in forma lor statica reflectata prin teoreme, cat si in cea dinamica, reflectata in metode si algoritmi. Aceste sisteme vor combina puterea sistemelor actuale de software matematic si a celor de rationare automata, dar vor transcende, in multe directii, puterea lor combinata. Studiile Alinei Andreica contribuie la un important aspect teoretic si practic al viitorului management al cunostintelor matematice, si anume construirea ierarhicäƒ a domeniilor matematice si descrierea pertinenta a algoritmilor in forma generica. Abordarea combina principiile programarii orientate pe obiecte si ale tipurilor de date parametrizate si este ilustrata pe un studiu de caz care patrunde esentele domeniilor matematice si are o importanta practica semnificativa, de exemplu in implementarea generica a metodei bazelor Grã¶bner si a derivarii simbolice in domenii algebrice abstracte. Doresc cu caldura ca munca Alinei Andreica sa se bucure de o larga audienta in comunitatea calculului simbolic.