RISC RISC Research Institute for Symbolic Computation  

RISC Talk Announcement

Speaker: Dr. Evelyn Hubert, INRIA Méditerranée Project team GALAAD, France
Title: Computation of rational invariants
Date: 12.05. 2014   13:30--14:30
Location: RISC Seminar room
Abstract:
VCAL file: