代码之家  ›  专栏  ›  技术社区  ›  user1868607

Isabelle中的浮点与区间算法

interval-arithmetic isabelle floating-point
  •  1
  • user1868607  · 技术社区  · 6 年前
    内容过于久远，请刷新稍后重试
    1 回复  |  直到 6 年前
        1
  •  2
  •   Manuel Eberl    6 年前
    推荐文章
    Rik Bloemers  ·  for循环不接受任何浮点变量
    3 年前
    Nathan Pierson  ·  为什么0.125(格式为2位十进制精度)显示“0.12”而不是“0.13”?
    3 年前
    zell  ·  为什么存储7个浮点数需要34字节?
    3 年前
    Atharva Sunil Sathe  ·  如何删除任意数的小数点?
    3 年前
    user1658887  ·  为什么**2!=a*a一些彩车?
    7 年前
    Kay  ·  末位单位定义
    7 年前
    vApor  ·  为数据类型分配的默认内存在舍入中起作用吗?如果浮点超过分配的内存,则以何种方式舍入?
    7 年前
    Caucasian Malaysian  ·  如何将函数输出转换为数字[重复]
    7 年前
    Ritielko  ·  在C中使用rand()生成大量双精度时发生分段错误
    7 年前
    Some_Dude  ·  x8086组件,将0.0001推到堆栈上成为9.99999。。而不是0.0001
    7 年前
    关于   移动版
    代码之家 - 一站式码农服务社区
    沪ICP备11025650号