控制系统工具箱 166篇文献引用(1995–2024) 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；非结合环与代数（17-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；吸血鬼；Mizar… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；GitHub… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
自动停靠 22篇文献引用(2004–2019) 软件作者： 斯克里普斯研究所；莫里斯，G.M。；休伊，R。；Lindstrom，W。；桑纳，M.F。；Belew，R.K。；Goodsell，D.S。；奥尔森，A.J。 相关软件： 奇美拉；码头；ParaDisEO… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
pLoc-工厂 27篇文献引用(2017–2019) 软件作者： Cheng，X。；Xiao，X。；周，K.-C。 相关软件： pLoc-mEuk；pLoc-m病毒；pLoc-mAnimal… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
萨滕斯坦 20篇文献引用（2009年-2023年） 软件作者： KhudaBukhsh，Ashiqur R。；徐林；霍尔格·胡斯。；凯文·莱顿·布朗 相关软件： 帕拉米尔斯；irace；SMAC… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Elastix公司 15篇文献引用(2013–2022) 软件作者： Klein，S.、Staring，M.、Murphy，K.、Viergever，M.A.、Pluim，J.P.等人。 相关软件： 蟒蛇；ITK；FAIR.m… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马特佩特 14篇文献引用(1989–2019) 软件作者： 迈克尔·比森 相关软件： 哈斯克尔；动态数学；MathXpert… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
性能确认4 19份文件引用（2019年-2023年） 软件作者： M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。 相关软件： github；凯伯；西克… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
杜芬伴随物 18篇文献引用(2020–2024) 软件作者： 米图什，S。；Funke，S。；J.多肯。 相关软件： FEniCS；github；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
网元 13份文件引用(2011–2023) 软件作者： Gerta Rücker、Guido Schwarzer、Ulrike Krahn、Jochem König 相关软件： R；gemtc；metafor… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
PaGMO/PyGMO 8份文件引用(2014–2020) 软件作者： 弗朗西斯科·比斯卡尼；达里奥·伊佐；路易斯·西蒙斯；马库斯·马滕斯 相关软件： PyKEP；PaGMO；Python… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；统计力学，物质结构（82-XX）…
DeepXlore公司 9份文件引用（2019年-2023年） 软件作者： 裴可欣、曹银芝、杨俊峰、苏曼·贾纳 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： HOL-OCL；莫德；ATL… 主要字段： 计算机科学（68-XX）
孩子们 在11份文件中引用(1992–2021) 软件作者： D.R.史密斯 相关软件： 定理；ALISA；TAMPR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
普罗米修斯 12份文件引用(2008–2023) 软件作者： 巴伯，J。；Bose，C。；布里奥克斯，A。；Braun，J。；布鲁内尔，E。；加西亚，T。；Hillen，T。；B·翁。 相关软件： FlamMap；FARSITE；WRF-SFIRE… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；统计学（62-XX）…
SRASS公司 12份文件引用(2007–2019) 软件作者： Geoff Sutcliffe；尤里·普齐斯 相关软件： E定理证明器；TPTP；玛拉雷亚… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
冰流 在11份文件中引用(2014–2023) 软件作者： 丹尼尔·马提库克（Daniel Matichuk）；马卡里乌斯·温泽尔；托比·默里 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
哺乳动物 8份文件引用(2008–2017) 软件作者： 奥尔蒂斯，A.R。；C.E.M.施特劳斯。；O.奥利米亚。 相关软件： TM-对齐；爆炸；PSI-BLAST… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
模仿 在11份文件中引用(2008–2022) 软件作者： 物质化 相关软件： Matlab；3-matic；阿迪娜… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
TcT公司 10篇文献引用(2016–2021) 软件作者： Avanzini，M.、Moser，G.、Schaper，M。 相关软件： AProVE；z3；TiML… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
AMC公司 7份文件引用(2020–2023) 软件作者： 何一辉、吉林、刘志坚、王汉瑞、李佳丽、宋涵 相关软件： ImageNet；亚当；TensorFlow… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
雅典 7份文件引用(2011–2021) 软件作者： Gaj，K.、Kaps，J.P.、Amirineni，V.、Rogawski，M.、Homsirikamol，E.、Brewster，B.Y。 相关软件： 西蒙；凯卡克；电子广播公司… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FRIDGE公司 4份文件引用(2004–2007) 软件作者： Keding，H.、Willems，M.、Coors，M.和Meyr，H。 相关软件： Simulink；HOL；HOL灯… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
购物车3D 6篇文献引用(2006–2022) 软件作者： M.Aftosmis、M.Berger、J.Melton、S.Murman 相关软件： 格里斯；HE-E1GODF；EGADSite… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
DiPerF公司 引用于3份文件(2006–2009) 软件作者： 爱荷华州雷库；加泰罗琳·杜米特里斯库；Ripeanu，Matei；伊恩·福斯特 相关软件： Globus工具包；GridBench；行星实验室… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
热的，热的 7份文件引用(1998–2022) 软件作者： 卡斯滕·康拉德 相关软件： TPS；TPTP；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
节点py 6篇文献引用(2014–2022) 软件作者： 大卫·凯奇森 相关软件： Rk-opt；github；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
双簧管 7份文件引用（2019年-2023年） 软件作者： 杨成润、秋本裕二、金大元、尤德尔 相关软件： 双曲线；自动学习；SMAC… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
BARD（酒吧） 6篇文献引用(2011–2022) 软件作者： 迈克尔·奥特曼（Micah Altman）、迈克尔·麦克唐纳（Michael P.McDonald） 相关软件： 公平处理；GerryChain；MIPLIB… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
通用包装器4AC 6篇文献引用（2019年至2024年） 软件作者： 凯萨琳娜·艾根斯佩格；马吕斯·林道尔；弗兰克·哈特 相关软件： irace；帕拉米尔斯；EGO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
iNuc-STNC 5份文件引用(2018–2019) 软件作者： 塔希尔，M。；M.海亚特。 相关软件： pSuc-Lys；iPhos-PseEn；Pse-in-One… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；芒，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MnasNet公司 4份文件引用(2021–2024) 软件作者： Tan Mingxing、Bo Chen、Rooming Pang、Vijay Vasudevan、Mark Sandler、Andrew Howard、Quoc V.Le 相关软件： DARTS；移动网络；EfficientNet… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
柔软 5份文件引用(2009–2010) 软件作者： 加贝，M。；Smaoui，M。；de Brye，北卡罗来纳州。；C·皮卡德。 相关软件： CP网络；NFFT3；NFFT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
TinyGarble公司 5份文件引用(2016–2023) 软件作者： Songhori，E.M.、Hussain，S.U.、Sadeghi，A.、Schneider，T.、Koushanfar，F。 相关软件： 美味的；JustGarble公司；ObliVM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ADEPTS公司 引用于3份文件(2011–2020) 软件作者： Foo，B。；吴，Y.-S。；毛永川。；Bagchi，S。；E.斯帕福德。 相关软件： 用鼻子哼哼；MulVAL公司；深入学习4j… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
广告 4份文件引用(1986–2003) 软件作者： G.N.范德普拉茨 相关软件： 擅长；CONMIN公司；STAGS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
现金收入 引用于3份文件(2021–2023) 软件作者： 塞巴斯蒂安·布劳斯 相关软件： FEniCS；PETSc；Firedrake… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
德维托 引用于3份文件(2020) 软件作者： 纳瓦约特·库克雷加、马蒂亚斯·卢布廷、费利佩·维埃拉、法比奥·卢波里尼、迈克尔·兰格、杰勒德·戈尔曼 相关软件： 蟒蛇；朱莉娅；mpi4jax… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
修改过的 4份文件引用(2014–2018) 软件作者： B.A.Belson、J.H.Tu、C.W.Rowley 相关软件： mftoolbox；OpenFOAM；F2PY… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PCP公司 引用于3份文件(2013–2022) 软件作者： 卢博米尔·布图罗维奇 相关软件： 字符串；戴维；HykGene… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）…
TODS公司 1份文件引用(2023) 软件作者： Kwei Herng Lai、Daochen Zha、Guanchu Wang、Junjie Xu、Yue Zhao、Devesh Kumar、Yile Chen、Purav Zumkhawaka、Minyang Wan、Diego Martinez、Xia Hu 相关软件： PyOD；蟒蛇；LSCP… 主要字段： 计算机科学（68-XX）
自动同步 引用于3份文件(2009–2012) 软件作者： 怀、金鹏；邓婷；李贤贤；杜宗霞；郭慧鹏 相关软件： WSAT；NuSMV；LTSA-WS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
去CODe 引用于3份文件(2019–2022) 软件作者： 安德鲁·奥尔曼（Andrew Allman）；唐文涛；Daoutidis，Prodromos公司 相关软件： PowerModels.jl；PaToH；迷你锌… 主要字段： 总体主题；藏品（00-XX）；运筹学，数学编程（90-XX）
EMBERS公司 引用于3份文件(2018–2021) 软件作者： Ramakrishnan N、Butler P、Muthiah S、Self N、Khandpur R、Saraf P、Wang W、Cadena J、Vullikanti A、Korkmaz G、Kuhlman C、Marathe A、Zhao L、Hua T、Chen F、Lu CT、Huang B、Srinivasan A、Trinh K、Getoor L、Katz G、Doyle A、Ackermann C、Zavorin I、Ford J、Summers K、Fayed Y、Arredondo J、Gupta D、Mares D。 相关软件： CNN-RNN；全球；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch；朱莉娅… 主要字段： 计算机科学（68-XX）
增长 引用于3份文件（2010年至2017年） 软件作者： 马尔科·希尔斯曼；托尔斯滕·科德曼；贾德兰·弗拉贝克；德克·里思 相关软件： DesParO；彪马；OpenNebula… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
镶嵌图 2份文件引用(2013–2020) 软件作者： Pebesma，E.，Cornford，D.，Dubois，G.，Heuvelink，G.B.，Hristopulos，D.，Pilz，J.，Stöhlker，U.，Morin，G.和Skoien，J.O 相关软件： R；谷胱甘肽；spacetime… 主要字段： 统计学（62-XX）
OmegaThreads公司 引用于3份文件(2021–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： p面；SCOTS；条纹… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
Ask-Elle公司 在0个文档中引用 软件作者： Alex Gerdes；海仁，巴斯蒂安；Johan Jeuring；范·宾斯贝根，L.托马斯 相关软件： 哈斯克尔；ELM-ART；闪光… 主要字段： ——
AutoNE（自动NE） 1份文件引用(2020) 软件作者： Tu、Ke；马建新；崔鹏；裴健；朱文武 相关软件： AutoKeras；LightGBM；PyTorch-BigGraph… 主要字段： 计算机科学（68-XX）
卡斯波 2份文件引用(2021–2022) 软件作者： 圣地亚哥·维德拉、朱利奥·萨伊兹·罗德里格斯、卡里托·古齐奥洛夫斯基、安妮·西格尔 相关软件： 克林戈；github；CoLoMoTo… 主要字段： 阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
EFCOSS公司 2份文件引用(2008–2010) 软件作者： 阿诺·拉什；H.马丁·布克尔 相关软件： ADIFR；F2PY；L-BFGS-B… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
指数管 1份文件引用(2016) 软件作者： Ariel Rosenfeld；约瑟夫·凯希特（Joseph Keshet）；Goldman，Claudia V。；萨里特·克劳斯 相关软件： 古罗比 主要字段： 统计学（62-XX）；计算机科学（68-XX）
费利克斯 2份文件引用(2009–2010) 软件作者： Morra，C.、J.Becker、M.Ayala-Rincón、R.W.Hartenstein 相关软件： CoLoR；RRL；SAEPTUM… 主要字段： 计算机科学（68-XX）
图形变量 在0个文档中引用 软件作者： Lea Waller；阿纳斯塔西娅·布罗夫金；Lena Dorfschmidt；Danilo Bzdok；亨利克·沃尔特；约翰·丹尼尔·克鲁斯威茨 相关软件： BrainNet查看器；eConnectome；Matlab… 主要字段： ——
贾维尔 1份文件引用(2009) 软件作者： I.阿萨亚德；V.伯廷；F.-X.违约；Gerner博士；O.Quévreux；S.约文 相关软件： 大都市；StreamIt（流媒体） 主要字段： 计算机科学（68-XX）
元欺诈 2份文件引用(2020–2022) 软件作者： 艾哈迈德·阿巴斯、科南·阿尔布雷希特、安东尼·万斯、詹姆斯·汉森 相关软件： 科恩拉布；EBglmnet公司；插入符号… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MuPlex公司 1份文件引用(2019) 软件作者： Rachlin，J。；丁，C。；康托，C。；卡西夫，S。 相关软件： R（右） 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
nocoRNAc基因 1份文件引用(2014) 软件作者： A.Herbig，K.Nieselt 相关软件： 无间道；法国复兴信贷银行；R、 … 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
校样板 1份文件引用（2018年） 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SYNBADm公司 2份文件引用(2017–2023) 软件作者： Otero-Muras，I。；Herniques博士。；J.班加。 相关软件： CERENA；MATCONT公司 主要字段： 概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
AFLUX公司 1份文件引用（2018年） 软件作者： 弗里斯科·罗斯（Frisco Rose）、科马克·托尔（Cormac Toher）、埃里克·戈塞特（Eric Gossett 相关软件： 铂；语音；AFLOW-SYM… 主要字段： 统计力学，物质结构（82-XX）
AlphaClean公司 1份文件引用(2021) 软件作者： 桑杰·克里希南（Sanjay Krishnan）、尤金·吴（Eugene Wu） 相关软件： AlexNet公司；OpenML-CC18；AlphaD3M… 主要字段： 计算机科学（68-XX）
ASDeX公司 1份文件引用（2018年） 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
自动变速箱 1份文件引用（2018年） 软件作者： Alpeshkumar K.Malde、Le Zuo、Matthew Breeze、Martin Stroet、David Poger、Pramod C.Nair、Chris Oostenbrink、Alan E.Mark 相关软件： 锌；费用分配；COIN或 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
自动GL 在0个文档中引用 软件作者： 关朝宇、张紫薇、李浩阳、张恒昌、张泽阳、秦一剑、姜继燕、王欣、朱文武 相关软件： AutoKeras；LightGBM；PyTorch-BigGraph… 主要字段： ——
自动hrf 1份文件引用(2023) 软件作者： 朱尔·德姆沙尔；尼娜·珀格；格雷加·雷波夫什 相关软件： spm12r；三脑；崇高的… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
AVSynDEx公司 1份文件引用(2002) 软件作者： 弗莱斯，弗吉尼亚州；Déforges，奥利维尔；Jean-François Nezan 相关软件： SynDEx公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）