CDR首批名单或为两家 阿里京东目前比较确定

百度 今天下午的会议间隙，罗开峰与李斌代表、张彦代表聊到了一起——他们都是一线技工，亦都希望培养更多新时代的“大国工匠”。

In mathematics and computer science, symbolic-numeric computation is the use of software that combines symbolic and numeric methods to solve problems.

References

• Wang, Dongming; Zhi, Lihong (2007). Symbolic-numeric Computation. Springer. ISBN 978-3-7643-7983-4.
• Mourrain, Bernard; Pavone, Jean-Pascal; Trebuchet, Philippe; Tsigaridas, Elias P.; Wintz, Julien (2008). "SYNAPS: A Library for Dedicated Applications in Symbolic Numeric Computing". Software for Algebraic Geometry. The IMA Volumes in Mathematics and its Applications. Vol. 148. pp. 81–109. CiteSeerX 10.1.1.135.1680. doi:10.1007/978-0-387-78133-4_6. ISBN 978-0-387-78132-7.
• Grabmeier, Johannes; Kaltofen, Erich; Weispfenning, Volker, eds. (2003). "Hybrid methods" (PDF). Computer algebra handbook: foundations, applications, systems, Volume 1. Springer. ISBN 978-3-540-65466-7.
• Robbiano, Lorenzo; Abbott, John (2009). Approximate Commutative Algebra. Springer. ISBN 978-3-211-99313-2.
• Langer, Ulrich; Paule, Peter, eds. (2011). Numerical and Symbolic Scientific Computing. Springer. ISBN 978-3-7091-0793-5.

External links

• "The Fourth International Workshop on Symbolic-Numeric Computation (SNC2011)". San Jose, California. June 7–9, 2011.

Professional organizations

• ACM SIGSAM: Special Interest Group in Symbolic and Algebraic Manipulation