RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Theorema Members

Leader

Prof. Dr.Dr.h.c.mult. Bruno Buchberger
A.Univ.-Prof. Dr. Tudor Jebelean

All Members

Name Position Phone Office Working area
Awny Deena, MScPh.D. Studentnonenone
Baumgartner Alexander, Dr. (on leave)externalnonenoneSymbolic Computation Techniques for Unranked Terms (SToUT project)
Buchberger Bruno, Prof. Dr.Dr.h.c.mult.Faculty+43 664 42116462.4-1Symbolic Computation
Jebelean Tudor, A.Univ.-Prof. Dr.Faculty+43 732 2468 99462.8-1Automated Reasoning, Systolic Computations, Multiprecision Arithmetic
Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr.Faculty+43 732 2468 9982-2.14-1Unification, automated reasoning, rule-based programming
Li YaohuiVisitornone1.9-2
Maletzky Alexander, DI Dr.PostDoc+43 732 2468 9936-2.10-1Gröbner Bases, Automated Reasoning, Theorema
Nigl JohannesStudentnonenone
Popov Nikolaj, Dr.Faculty+43 732 2468 99262.9-2Program Verification
Praher Jakob, DIPh.D. StudentnonenoneAutomated Reasoning, Logic Programming
Qi Jiayue, M.Sc.Ph.D. Student+43 732 2468 99330.2-3
Rosenkranz Markus, Priv.-Doz. Dr.ResearchernonenoneDifferential algebra; boundary problems
Windsteiger Wolfgang, Assoc. Univ.-Prof. DI Dr.Faculty+43 732 2468 9960-2.13-1Theorema, Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education