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

Tudor Jebelean

[photo]
E-mail:  
Room 2.8-1
Phone: +43 732 2468 +43 732 2468 9946

Research Interests
Automated Reasoning, Systolic Computations, Multiprecision Arithmetic

Publications and Software [ Publications | Talks ]
Some technical reports are not online yet. If you wish to obtain a preprint, please send a mail to the author.

Personal Homepage [ Homepage ]
The content of this page is provided under the responsibility of its owner.