DIMACS研讨会:1992年离散数学的计算支持
纳撒尼尔·迪安 , 格雷戈里·沙农 :
离散数学的计算支持,DIMACS研讨会论文集,美国新泽西州皮斯卡塔韦,1992年3月12日至14日。 离散数学和理论计算机科学的DIMACS系列 15, DIMACS/AMS系统 1994 ,国际标准图书编号 978-0-8218-6605-4 -
向前地。 离散数学的计算支持 1992 : 九- -
前言。 离散数学的计算支持 1992 : 十一- 阿尼尔·班萨利 , 史蒂芬·斯杰纳 :
分析整数序列。 1-16 马蒂亚斯·斯托尔曼 , 兰斯·克莱维兰 , Prashant Hebbar公司 :
GDR:图形算法可视化工具。 17-28 乔治·哈瓦斯 , 埃德蒙·罗伯逊 :
有限呈现群体的计算工具应用。 29-39 彼得·格洛尔 , 艾琳·A·李 , 安吉尔·维莱兹·索萨 :
动画算法计算机科学教育与算法动画。 41-55 詹姆斯·阿贝洛 , 桑德拉·苏达斯基 , T.威奇 , J.沃勒 :
AGE:动画图形环境。 57-69 大卫·S·狄龙 , 弗兰克·R·斯米塔纳 :
一个交互式、图形化、面向教育的图形分析包。 71-74 戈登·布拉德利 , 费尔南德斯·奥利维拉 :
网络助手,用于构建、测试和分析图形网络算法。 75-84 李基伟(Keh-Wei Lih) , 纳撒尼尔·迪安 , 米莲娜·米哈伊尔 :
在NETPAD中计算生成树。 85-98 伯纳德·莫雷特 , 亨利·夏皮罗 :
构造最小生成树算法的实证评估。 99-117 克拉克·汤博森 , 博文阿尔卑斯山 , 赖瑞·卡特 :
工作站上的直线Steiner树最小化。 119-136 彼得·肖恩 :
用于几何实验评估的XYZ GeoBench。 137-151 戴夫·A·伯克 , 马克·K·戈德堡 :
监控算法的执行。 153-163 徐赞生 , 维贾亚·拉马钱德兰 , 纳撒尼尔·迪安 :
并行图算法在MasPar上的实现。 165-198 亚当·巴赫斯鲍姆 , 米莲娜·米哈伊尔 :
网络可靠性和抽样的蒙特卡罗和马尔可夫链技术。 199-222 Daryl D.Harms公司 , 约翰·S·德维特 , 查尔斯·科尔伯恩 :
Maple的网络和可靠性。 223-243 盖伊·齐默尔曼 , 阿卜杜勒·霍塞因·伊斯法罕语 , 大卫·巴斯克斯 :
GMP/X,一个基于X-Windows的图形操作包。 245-254 克劳德·戈麦斯 , 莫里斯·古尔萨特 :
METANET:网络分析系统。 255-268 葡萄J.Leung , 迈克尔·迪伦考特 , 安德鲁·布利斯 :
图形工具-用于图形和图形算法的交互式设计和操作的工具。 269-278 Mukkai S.Krishnamoorthy公司 , 亚历山大·苏伊斯 , 迈克·翁盖纳(Mike Onghena) , 福特Oxaal , 托马斯·斯宾塞 :
GraphPack的改进:一个操作图和有向图的系统。 279-296 乔纳森·赫尔夫曼 , 乔纳森·格罗斯 :
扩展拓扑图论的图形浏览器。 297-314 劳拉·桑奇斯 :
顶点覆盖问题的测试用例构造。 315-326 梅利斯·德尔斯特 , 纳丁·鲁伊隆 :
CalICo:组合数学软件。 327-333 梅利斯·德尔斯特 :
形式微积分与枚举组合学。 335-345 克劳斯·萨特纳 :
实现有限状态机。 347-363 丹·考尔蒂 , 苏珊·罗杰 :
NPDA:可视化和模拟非确定性下推自动机的工具。 365-377 伊塔洛·J·德杰特 :
认识Cayley图的隐藏结构。 379-389 德克·莫勒 , 鲁道夫·米勒 :
数据和算法表示的概念。 391-399