Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
- Sh. Chou, X.‑Sh. Gao, Zh. Liu, D.‑K. Wang, D. Wang : “Geometric Theorem Provers and Algebraic Equations Solvers”, chapter in Mathematics Mechanization and Applications, (Academic Press, London) [Chou 2000]
- D. Wang : “Some Algorithms for Zero Decomposition of Polynomial Systems”, chapter in Mathematics Mechanization and Applications, (Academic Press, London) [Wang 2000b]