数学机械化方法及其在数学化设计制造中的应用(2011-2015)
- Leading Scientist:陈发来
- Classification of Project:973计划
- Supported by:Ministry of Science and Technology of the People's Republic of China
- Project Level:National
- Scheduled completion time:2015/08/31
- Date of Project Initiation:2011/01/01