• 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散系统代数...
  • 基辅

  • 引用8篇文章[sw00350]
  • 专用计算机代数系统基诺。计算机代数...
  • gmp

  • 引用256条[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 岩浆

  • 在2718篇文章中引用[sw00540]
  • 电脑类代数系统(CAS)。岩浆是一个大的。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用了533篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。