Showing 1 - 12 results of 12 for search 'Wang, Dongming', query time: 0.03s Refine Results
  1. 1
    Differential Equations with Symbolic Computation
    by Wang, Dongming
    Published 2005
    Get full text
    Electronic Kit Book
  2. 2
    Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
    Published 1997
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings of the 2007 international symposium on Symbolic and algebraic computation
    Published 2007
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /
    Published 2006
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Differential Equations with Symbolic Computation
    Published 2005
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Symbolic-Numeric Computation
    Published 2007
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Differential equations with symbolic computation /
    Published 2005
    Other Authors: “…Wang, Dongming…”
    Get full text
    Book
  8. 8
    Symbolic-numeric computation /
    Published 2007
    Other Authors: “…Wang, Dongming…”
    Book
  9. 9
    Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
    Published 2001
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /
    Published 2018
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
    Published 2006
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /
    Published 1999
    Other Authors: “…Wang, Dongming…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search