第七届全国计算机数学学术会议

From 2015/10/30 to 2015/11/2

P000042

Differential Equation Database and Automatic Reasoning Platform  

*银萍 柳 (华东师范大学)



Supported by SmartChair

Math formula preview: