search for authors
clear

Search dblp for Authors

powered by CompleteSearch, courtesy of Hannah Bast, University of Freiburg

Author search results

Exact matches

  • [0000-0001-8756-3006]
    Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Key Laboratory of Mathematics Mechanization, Beijing, China

All 2 matches

  • [0000-0001-8756-3006]
    Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Key Laboratory of Mathematics Mechanization, Beijing, China