李骏 秦小林 冉茂宇 冯勇

插板法 实代数数 接触角 表面张力 符号与数值混合计算 符号计算 近似计算

华侨大学建筑系 中国科学院研究生院 厦门鼓浪屿风景区建设开发公司 中国科学院成都计算机应用研究所 电子科技大学计算机推理与可信计算实验室