Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- X.‑Sh. Gao, D. Wang : “Mathematics Mechanization and Applications”, (Academic Press, London) [Gao 2000]