涂鸦 swMATH ID: 7495 软件作者: 西米恩·法杰特洛维奇 描述: 涂鸦猜想上述文章介绍了一个计算机程序Graffiti,它可以进行图形理论推测。涂鸦有一个特定类型的图形库,它能够评估由图形理论不变量形成的公式;如果程序所知的图都不是反例,那么公式就是一个猜想。介绍了程序的结构和性能。 主页: http://www.math.uiuc.edu/~west/regs/graffiti.html 关键词: 涂鸦计算机程序 相关软件: 自动图形X;图形;人力资源;向内生长的;鹦鹉螺;GraPHedron公司;水獭;组织环境信息系统;梅斯4;4.5条;tptp2X型;数学网络;数学软件;间隙;涂鸦.pc;GrInvIn公司;cdd(光盘);TPTP公司;摩尔生成物;葡萄 引用于: 227份文件 全部的 前5名307位作者引用 17 埃米娜·米洛瓦诺维奇。 17 伊戈尔·米洛瓦诺维奇。 16 Marjan M.Matejić。 15 皮埃尔·汉森 14 阿克巴·阿里 10 金卡·钱德拉·达斯 10 伊万·古特曼(Ivan M.Gutman)。 9 彼得·丹克尔曼 9 罗德里格斯·加西亚(Rodríguez García)、何塞·曼纽尔(JoséManuel) 8 西米恩·法杰特洛维奇 8 华洪波 7 穆斯塔法·奥奇奇 7 塞尔瓦拉吉·巴拉昌德兰 7 邓汉元 7 苏雷什·埃卢马莱 7 西加雷塔·阿尔米拉,何塞·玛丽亚 6 图菲克·曼苏尔 6 巴甫洛维奇,Ljiljana R。 5 李雪亮 5 西蒙·穆克文比 5 王红娟 5 钟玲萍 4 吉莱斯·卡波罗西 4 埃梅琳达·德拉维纳 4 李建熙 4 阿尔瓦罗马丁内斯·佩雷斯 4 梅洛特,哈德里安 4 Ryan D.佩珀。 4 卢茨·沃克曼 三 马赫迪亚·阿扎里 三 阿赫拉·艾哈迈德·巴蒂 三 西蒙·科尔顿 三 多什利奇,托米斯拉夫 三 杜建伟 三 鲍里斯·福图拉 三 克雷格·E·拉尔森。 三 刘伯莲 三 刘建喜 三 刘木活 三 吕建波 三 菲利普·马夫塔 三 雷扎·拉西 三 扎希德·拉扎 三 穆罕默德·阿里,罗斯塔米 三 JoséL.Sánchez。 三 Sheikholeslami,赛义德·马哈茂德 三 苏桂福 三 孙晓玲 三 吴宝英(音) 三 徐克祥 2 迪巴·阿夫扎尔 2 法坎达阿夫扎尔 2 米歇尔·阿罗基亚拉 2 阿亚斯瓦米(Ayyaswamy)、辛加拉吉·库兰戴斯瓦米 2 Krishnan Balasubramanian公司 2 贝拉·博洛巴斯 2 沃尔特·卡巴洛萨 2 兰迪·瑞安·达维拉 2 Divnić,Tomica R。 2 法拉哈蒂·内扎德 2 穆罕默德·雷扎·法拉哈尼 2 奥黛尔·法瓦隆 2 高玉斌 2 阿兰·赫兹 2 黄玉飞 2 林慧秋 2 刘和超 2 洛克沙,V。 2 米洛舍维奇,普雷德拉格 2 姆拉德诺维奇,内纳德 2 索拉夫·蒙达尔 2 比比·奈梅·奥纳 2 佩斯塔纳,多明戈 2 安娜·波提拉 2 伊祖丁,雷德·埃波维奇 2 塔马斯·雷蒂 2 石永堂 2 德拉甘·斯特瓦诺维奇 2 苏晓峰 2 亨达·斯沃特。 2 爱荷华州托梅斯库 2 尼古拉斯·范·克莱恩普特 2 Venkatakrishnan、Yanamandram Balasubramanian 2 比尔·沃勒 2 威廉·沃勒。 2 王茂林 2 熊立明 1 阿德勒阿卜杜勒加福里安 1 杰西·亚伯拉罕 1 赛义德·阿克巴里 1 阿贝尔·M·阿尔巴拉希。 1 阿尔玛特洛德,A.奥斯曼 1 Alex S.Alochukwu。 1 大卫·阿莫斯 1 阿里·雷扎·阿什拉菲 1 阿德南·阿斯拉姆 1 拉贾·巴拉昌达尔 1 柯蒂斯·A·赤脚。 1 迈克尔·D·巴勒斯。 1 安库尔·巴拉利 …还有207位作者 全部的 前5名68篇连载文章中引用 39 离散应用数学 26 离散数学 14 数学化学杂志 7 菲洛马 7 组合数学与优化中的通信 7 DML。离散数学字母 6 线性代数及应用 5 应用数学与计算 5 欧洲运筹学杂志 5 组合优化期刊 5 AKCE国际图与组合学杂志 5 亚欧数学杂志 4 离散数学科学与密码学杂志 三 人工智能 三 图与组合 三 应用数学快报 三 讨论数学。图论 三 应用数学与计算杂志 三 MATCH-数学和计算机化学中的交流 2 信息处理信函 2 数学分析与应用杂志 2 洛基山数学杂志 2 图论杂志 2 组合数学 2 不等式与应用杂志 2 克拉古耶瓦茨数学杂志 2 马来西亚数学科学学会公报。第二系列 2 数学不等式杂志 2 伊朗数学化学杂志 2 应用数学与信息学杂志 2 南非荷兰语Matematika 2 图论与应用电子期刊 1 澳大利亚数学学会公报 1 以色列数学杂志 1 Kyungpook数学杂志 1 网络 1 拓扑及其应用 1 欧洲组合数学杂志 1 应用数学进展 1 电路、系统和信号处理 1 符号计算杂志 1 JCMCC公司。组合数学与组合计算杂志 1 数学和计算机建模 1 机器学习 1 国际计算机科学基础杂志 1 计算与应用数学 1 数学与人工智能年鉴 1 复杂性 1 运筹学国际交易 1 安卡拉大学科学学院通讯。Séries A1系列。数学与统计学 1 RAIRO公司。运筹学 1 整数 1 中欧数学杂志 1 VladikavkazskiĭMatematicheskiĮZhurnal 1 东南亚数学与数学科学杂志 1 国际小波、多分辨率和信息处理杂志 1 Matemática Paranaense Sociedade Boletim da。特塞拉·塞里 1 中国数学前沿 1 应用分析与离散数学 1 对称 1 伊朗数学科学与信息学杂志 1 ISRN应用数学 1 数学科学 1 数学杂志 1 数学 1 国际应用与计算数学杂志 1 AIMS数学 1 杰出论文 全部的 前5名11个领域引用 208 组合数学(05-XX) 72 生物学和其他自然科学(92-XX) 25 计算机科学(68至XX) 14 运筹学、数学规划(90-XX) 7 线性代数和多线性代数;矩阵理论(15-XX) 4 数论(11-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 数学逻辑和基础(03-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文