几何画板 67篇文献引用(1997–2023) 软件作者： 2009年KCP技术。 相关软件： 灰姑娘；GeoGebra；Cabri-geometry… 主要字段： 一般性和全局性主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
EasyCrypt公司 36篇文献引用(2011–2022) 软件作者： 吉尔·巴特；本杰明·格雷戈里；希尔万，赫拉德；贝盖林，圣地亚哥·扎内拉 相关软件： Coq；Isabelle/HOL；F*… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
三倍的 引用于16份文件(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；平滑；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
StackGAN公司 11份文件引用(2020–2023) 软件作者： Han Zhang、Tao Xu、Hongsheng Li、Shaoting Zhang，Xiaogang Wang、Xiaolei Huang、Dimitris Metaxas 相关软件： Wasserstein GAN；InfoGAN；CIFAR… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；地球物理学（86-XX）…
太阳神 10篇文献引用(1997–2015) 软件作者： 劳伦特·米歇尔（Laurent Michel）、帕斯卡·范·亨特利克（Pascal Van Hentenryck） 相关软件： AMPL；牛顿；FleetWave… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
马什 9份文件引用(2018–2023) 软件作者： Ondov，B.D.等人。 相关软件： github；海怪；MetaPhlAn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
加利福尼亚州 4份文件引用(2007–2014) 软件作者： Fonseca MJ、Pimentel C、Jorge JA 相关软件： SketchREAD；塔胡提；HCRF… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希·赫斯塔特；克莱尔·迪克森 相关软件： SPASS；TRP++；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
单足蹦跳 5份文件引用(2010–2019) 软件作者： Manuel Serrano、Erick Gallesio、Florian Loitsch 相关软件： 链接；用户/网络；哈斯克尔… 主要字段： 计算机科学（68-XX）
草图测量 1份文件引用(2020) 软件作者： Matthias Ehmann、Michael Gerhäuser、Carsten Miller、Alfred Wassermann 相关软件： GeoGebra；几何画板；灰姑娘… 主要字段： 计算机科学（68-XX）
平滑草图 引用于3份文件(2008–2009) 软件作者： O.A.Karpenko，J.F.休斯 相关软件： Appcontour公司 主要字段： 流形和细胞复合体（57-XX）；计算机科学（68-XX）
德利根 引用于3份文件(2019–2021) 软件作者： Swaminathan Gurumurthy、Ravi Kiran Sarvadevabhatla、Venkatesh Babu Radhakrishnan 相关软件： Wasserstein GAN；CVAE-GAN；可操纵金字塔… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
素描GAN 2份文件引用(2021) 软件作者： 陈文玲、詹姆斯·海斯 相关软件： ImageNet；新根；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ImproteK公司 2份文件引用(2018) 软件作者： Nika、Jérôme、Marc Chemillier、Gérard Assayag 相关软件： DYCI2公司 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）
LibSkylark公司 1份文件引用(2019) 软件作者： 哈伊姆·阿夫隆、科斯塔斯·贝卡斯、克里斯托斯·布蒂迪斯、肯尼思·克拉克森、普拉班扬·坎巴杜尔、乔戈斯·科利亚斯、迈克尔·马奥尼、伊尔塞·伊普森、伊夫斯·伊内钦、维卡斯·辛德瓦尼、大卫·伍德拉夫 相关软件： ARPACK；稀疏矩阵；拉帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
网络草图 2份文件引用(2010–2012) 软件作者： 阿泽州贝斯塔夫罗斯；阿萨夫·科福尔；笔记本电脑，Andrei；迈克尔·J·奥森。 相关软件： 伊莎贝尔；自旋蛋白；马蒂塔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Photosketcher软件 1份文件引用(2017) 软件作者： Eitz M、Richter R、Hildebrand K、Boubekeur T、Alexa M 相关软件： 草图2照片；属性2图像；ImageNet… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
vid2vid 1份文件引用(2019) 软件作者： 王廷春、刘明宇、朱俊艳、刘桂林、陶Andrew、Jan Kautz、Bryan Catanzaro 相关软件： 亚当；TempoGAN；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
编码草图 1份文件引用(2021) 软件作者： 贾哈尼·内扎德（Jahani-Nezhad）、塔耶贝（Tayyebeh）；穆罕默德·阿里（Mohammad Ali Maddah-Ali） 相关软件： 草图；查找 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
获取SGD 在0个文档中引用 软件作者： 丹尼尔·罗思奇尔德、阿什温·潘达、埃纳亚特·乌拉、尼基塔·伊夫金、伊恩·斯托伊卡、弗拉基米尔·布拉弗曼、约瑟夫·冈萨雷斯、拉曼·阿罗拉 相关软件： 联邦卫生局；脚手架；MNIST… 主要字段： –
PLSS公司 1份文件引用(2023) 软件作者： 约翰·布鲁斯特（Johannes J.Brust）。；迈克尔·桑德斯。 相关软件： 稀疏矩阵；CRAIG公司；LSMR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
纹理GAN 在0个文档中引用 软件作者： 冼文琪（Wenqi Xian）、帕特森·桑科洛伊（Patsorn Sangkloy）、瓦伦·阿格拉瓦尔（Varun Agrawal）、阿米特·拉吉（Amit Raj）、卢靖婉（Jingwan Lu）、陈芳（Chen Fang）、于斐雪（Fi 相关软件： InGAN公司；像素x像素；ImageNet… 主要字段： –