首页| 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
0.167774s