• 斯佩克特

  • 引用3篇文章[sw01114]
  • 问题-面向的知识库及其在程序中的应用验证 系统斯佩克特。这个想法。。。框架问题-面向的项目实施方法验证. 知识库包括。。。给出了编译程序。这个验证 系统描述了SPEKTR,其中正确性的证据。。。
  • 基本实数

  • 1条引用[sw21002]
  • 设计、规范和验证分配的系统. 该方法基于。。。系统对bREAL的执行规范,(II)分布式的高级属性的表示系统... 逻辑规范(三)问题-面向的与组合推理相结合。。。
  • gmp

  • 引用265篇[sw00363]
  • GMP是一个任意精度的免费库。。。
  • LSQR

  • 引用了358篇文章[sw00530]
  • 算法583:LSQR:稀疏线性方程组和最小。。。