Contact the authors of
OreAlgebraicAnalysis
We are looking forward to your feedback:
T. Cluzeau
cluzeau AT ensil.unilim.fr
and
A. Quadrat
Alban.Quadrat AT inria.fr.
and
Maris Tõnso
Maris AT cc.ioc.ee