Chou Shang-Ching

Shang Chou Ching

ELEMENTS DE BIOGRAPHIE
GEOMETRIE

Mathématicien américain (Université d’Austin Texas) d’origine chinoise qui a proposé des méthodes de démonstration automatique en géométrie tout particulièrement.

Pour en savoir plus :

Bulletin de l’APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique.

http://www.mmrc.iss.ac.cn/~xgao/paper/soft1.pdf