Quantifier elimination for real closed fields by cylindrical algebraic decomposition 论文

1975Medical Entomology and Zoology引用 902

Polynomial and algebraic computation

Polynomial and algebraic computation

1

作者

0

相关技术

0

相关事件

0

相关文章

详细信息

发表期刊/会议: Medical Entomology and Zoology
发表日期: 1975-01-01
发表年份: 1975

关键词

Polynomial and algebraic computation

作者查看全部 (1)

Gary S. Collins

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据