Research Activities at INRIA Sophia Antipolis

Loic Pottier and Laurent Thery, INRIA Sophia Antipolis, France

Abstract:

We will give a brief presentation of some of the researches that are carried at INRIA Sophia Antipolis by the two groups interested in mathematical assistant.