• 地球物理学

  • 引用24篇文章[sw06216]
  • 越来越多的人几何学 结构正式地经过证实的几何学定理。我们相信。。。
  • 地理视图

  • 引用9篇文章[sw12328]
  • 可视化正式的平面陈述几何学定理。声明几何学定理及其。。。证据是构建并用Coq定理证明器进行了验证。动态图形会自动关联。。。
  • 中电翼

  • 引用5篇文章[sw08574]
  • 易于使用的支持几何学 结构,等距变换,圆锥曲线,参数曲线,流量控制。。。GCLC背后的基本思想是结构正式的程序,而不是图纸。因此。。。
  • 阿戈克利普

  • 参考11篇文章[sw07192]
  • 基于几何定理证明器正式的以及可读的证明定理证明者。。。几何的定理证明。首先,它有足够的能力来制定几何的问题,第二。。。利用建设性的第三,生成的证明可以转化为。。。
  • 地理信息系统-EEDB

  • 参考第2条[sw21107]
  • 线性构造建设在GIS-EEBD中实现允许正式地设计并最小化。。。整体字段拆分为几何上相关事件。作者认为。。。
  • SPN2MGM

  • 1条引用[sw30207]
  • 用于建造利用矩阵求解随机Petri网-几何的技术。工具自动。。。识别“矩阵”-几何的随机Petri网下马尔可夫链的结构。。。感兴趣的随机Petri网(a正式的在以前的一篇论文中已经给出了定义。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 公理

  • 参考170篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 差距

  • 引用2797篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 我们介绍了一个可视化工具GCLC/WinGCLC几何学...
  • gmp

  • 引用261篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 拉帕克

  • 引用于1604篇文章[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 莱达

  • 引用259篇文章[sw00509]
  • 在计算机科学的核心领域——数据结构。。。