Forschung am RISC lässt sich grob in die Gebiete

• Computeralgebra,
• Computerlogik und
• Mathematische Software

unterteilen, ohne dass dies eine strikte Trennung der Bereiche bedeutet. Viele Themen fallen in die Grenzregion zweier, oft auch aller drei, Gebiete.