位置:成果数据库 > 会议 > 会议详情页
Efficient exact arithmetic over constructive reals
  • 所属机构名称:北京航空航天大学
  • 会议名称:Lecture Notes in Computer Science(The 4th Annual Conference on Theory and Applications of Models of
  • 成果类型:会议
  • 相关项目:虚拟奥运博物馆关键技术研究
同会议论文项目
期刊论文 100 会议论文 54 获奖 5 专利 41
同项目会议论文