首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 一个基于网络的工具,用于可视化的关系之间的向下关闭类的图

一个基于网络的工具,用于可视化的关系之间的向下关闭类的图

资 源 简 介

A web application and command line tool for processing and visualizing a database of facts about downward-closed classes of Turing degrees. It is inspired by the diagram by Greg Kuperberg of Scott Aaronson"s "Complexity Zoo" (https://www.math.ucdavis.edu/~greg/zoology/diagram.xml).

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
  • 杨波 4小时前 成为了本站会员

  • ZS 4小时前 成为了本站会员

  • . 1天前 成为了本站会员

  • 奋斗 1天前 成为了本站会员

  • 1天前 成为了本站会员

  • 一天不玩浑身难受 2天前 成为了本站会员

  • Aloha 2天前 成为了本站会员

  • 嘻嘻嘻 2天前 成为了本站会员

  • maihaoweilai 2天前 成为了本站会员

  • 紫麟鹿 2天前 成为了本站会员