Real number

相关论文数: 2

顶级研究者

Franz Winkler

研究机构: —

最高引用论文

Quantifier elimination in real closed fields

Franz Winkler

引用数: 2 • 1996

Real Algebra

引用数: 2 • 1993

相关技术

Artificial intelligence Computer science Machine learning Mathematics Robot Applied mathematics Mathematical analysis Robotics Programming language Field (mathematics)