Dongming Wang

Country : Chine
Language : anglais
Note :
Traduit du chinois en anglais. - Écrit aussi en chinois?. - Ecrit aussi en anglais
Mathématicien. - En poste : School of science, Beihang University, Beijing, Chine (en 2007). - En poste : Laboratoire d'informatique de Paris 6, Université Pierre et Marie Curie, CNRS, France (en 2007)
Variant of the name : Wang Dongming
ISNI : ISNI 0000 0000 8190 0430

Activities of Dongming Wang (6 resources in data.bnf.fr)

Textual works (5)

Gröbner bases in symbolic analysis
Differential equations with symbolic computation with Dongming Wang as Éditeur scientifique
Automated deduction in geometry with Dongming Wang as Éditeur scientifique
Elimination methods
Automated practical reasoning with Dongming Wang as Éditeur scientifique

Mixed works (1)

Mechanical theorem proving in geometries with Dongming Wang as Traducteur

See also