×

找到74个软件包(结果1-74)

图形日志

34份文件引用(1990–2022)
软件作者: 康森斯,M。;门德尔松
相关软件: XPath;SPARQL;洛雷尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…

LFR工具箱

31份文件引用(2004–2023)
软件作者: 西蒙·赫克(Simon Hecker);安德拉斯·瓦尔加(Andras Varga);让-弗朗索瓦·马格尼
相关软件: YALMIP;莫塞克;SeDuMi…
主要字段: 动力系统与遍历理论(37-XX);近似和展开(41-XX);计算机科学(68-XX)…

圣杯

引用于20份文件(1994–2021)
软件作者: 达雷尔·雷蒙德;伍德,德里克
相关软件: 自动化;AMoRE;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

AWK公司

21篇文献引用(1979–2019)
软件作者: Alfred V.Aho、Brian W.Kernighan、Peter J.Weinberger
相关软件: PERL;数学;YACC…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

TREX公司

19份文件引用(2003–2006)
软件作者: 詹姆斯·克拉克
相关软件: 小埃菲尔;Smalltalk;放松NG…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

常规集合

16篇文献引用(2011–2018)
软件作者: 亚历山大·克劳斯;托比亚斯·尼普科
相关软件: Isabelle/HOL;Coq;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

nSPARQL公司

13份文件引用(2009–2023)
软件作者: 佩雷斯,J。;阿雷纳斯,M。;古铁雷斯,C。
相关软件: SPARQL;XPath;图形日志…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

第3章

13份文件引用(2015–2023)
软件作者: Trinh MT、Chu DH、Jaffar J
相关软件: 陌生人;Z3str3;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

自动

13份文件引用(1990–2023)
软件作者: Champarnaud,J.M。;Hansel,G。
相关软件: 圣杯;AMoRE;AG…
主要字段: 一般代数系统(08-XX);群论与推广(20-XX);计算机科学(68-XX)

AMoRE公司

12份文件引用(1998–2010)
软件作者: O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema
相关软件: 自动化;间隙;圣杯…
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)

Myhill-Nerode公司

12份文件引用(2011–2020)
软件作者: 吴春汉;张兴元;城市,基督教
相关软件: Coq;存档正式证据;常规集…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

雷克斯

11份文件引用(2011–2023)
软件作者: 韦恩斯,M。;De Halleux,P。;蒂尔曼,N。
相关软件: 莫纳;z3;DART…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

通过

8份文件引用(2015–2023)
软件作者: Li,G.,Ghosh,I。
相关软件: S3;Z3-str;陌生人…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

Regex_Equivalence(正则_等效)

7份文件引用(2014–2022)
软件作者: Nipkow,T。;特拉泰尔·D·。
相关软件: Isabelle/HOL;存档正式证据;起重…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

GLIMPSE公司

7份文件引用(2001年至2017年)
软件作者: 美国曼伯。;吴,S。
相关软件: SDSL;github;zdelta…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

Z3str2型

7份文件引用(2017–2023)
软件作者: 郑云辉;维杰·加内什;萨努语Subramanian;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉
相关软件: 陌生人;汉普;诺恩…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

GenRGenS公司

6篇文献引用(2008–2013)
软件作者: 扬·蓬蒂;米歇尔·特梅尔;阿兰·丹尼斯
相关软件: gfun;Mfold;基因组…
主要字段: 组合数学(05-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

MSO_Regex_等效性

7份文件引用(2013–2018)
软件作者: 德米特里·特拉泰尔(Dmitriy Traytel);托比亚斯·尼普科
相关软件: Presburger Automata;Myhill-Nerode;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

有限自动机HF

6篇文献引用(2015–2020)
软件作者: 劳伦斯·保尔森
相关软件: 遗传有限集;Coq;Coq/SS反射…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

梅林

5份文件引用(2015–2021)
软件作者: Robert Soulé、Shrutarshi Basu、Parisa Jalili Marandi、Fernando Pedone、Robert Kleinberg、Emin Gün Sirer、Nate Foster
相关软件: 开放式神经网络;蟒蛇;vnep-近似值…
主要字段: 计算机科学(68-XX)

四元数

5份文件引用(2005–2019)
软件作者: M.I.法尔考;F.米兰达
相关软件: 数学;mctoolbox软件
主要字段: 组合数学(05-XX);数论(11-XX);场论与多项式(12-XX)…

Regexpcount公司

6篇文献引用(2003–2014)
软件作者: 尼科德梅,皮埃尔
相关软件: 枫树;RSEARCH;fastDNAml…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

生物红宝石

1份文件引用(2019)
软件作者: 片山,Toshiaki;川岛、水池;佐伊萨·戈托(Naohisa Goto);Mitsuteru C.Nakao。;Okuji,Yoshinori K。;Minoru Kanehisa;Dunker,A.K。;Konagaya,A。;宫野,S。;Takagi,T。
相关软件: 生物钟;生物疗法;Omics管道…
主要字段: 生物学和其他自然科学(92-XX)

电子束扫描

5份文件引用(2015–2021)
软件作者: 卢卡·奥多恩·布雷维利里
相关软件: github
主要字段: 计算机科学(68-XX)

PCRE公司

3份文件引用(2011–2018)
软件作者:
相关软件: RE2;TRE;数字标识…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

专业矿工

1份文件引用(2017)
软件作者: 弗劳恩霍夫SCAI;D.Hanisch、K.Fundel、H.-T.Mevissen、R.Zimmer、J.Fluck
相关软件: 突变查找器;ABNER;iHOP…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX)

DReX公司

4份文件引用(2015–2022)
软件作者: 拉杰夫·阿鲁尔;Loris D'Antoni;穆昆德·拉戈塔曼
相关软件: 蒙保利;卢斯特;LOLA…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

加纳

4份文件引用(2001–2002)
软件作者: 斯蒂芬·迪尔;哥尔格,卡斯滕;安德烈亚斯·凯伦(Andreas Kerren);莱因哈德·威廉
相关软件: 探戈;内华达州;GaniFA…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

蒙特勒

3份文件引用(2017–2021)
软件作者: 多根·乌卢斯
相关软件: LOLA;蒙保利;天线…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

可再生能源2

3份文件引用(2011–2013)
软件作者: 谷歌
相关软件: PCRE;数字Py;Rcpp…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

斯特林吉

在0个文档中引用
软件作者: Marek Gagolewski、Bartek Tartanus等人。
相关软件: R;Rcpp;stm…
主要字段:

博客服务提供商

3份文件引用(2015–2020)
软件作者: 安吉洛·博尔索蒂(Angelo Borsotti);卢卡·布雷维利里;克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);安杰洛·莫尔岑蒂
相关软件: 网猪;葡萄;博客…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

计数基序

3份文件引用(2016年至2019年)
软件作者: Nuel,G。;德洛斯,V。
相关软件: fsaLib;BWA;R(右)
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

ExpoSE公司

1份文件引用(2020年)
软件作者: B.洛林、D.米切尔、J.金德。
相关软件: 投掷;z3;S3…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

脂肪轮胎

3份文件引用(2017–2022)
软件作者:
相关软件: 坎杜;NetworkX;血浆…
主要字段: 计算机科学(68-XX)

消防站

3份文件引用(2005–2009)
软件作者: 米歇尔·弗里舍特(Michiel Frishert);克鲁珀斯(Cleophas,Loek);布鲁斯·沃森。
相关软件: 卡梅尔;蒂布隆;打开Fst
主要字段: 计算机科学(68-XX)

闪光继电器

1份文件引用(2021)
软件作者: 巴罗维,D.W.,古尔瓦尼,S.,哈特,T.,佐恩,B.G。
相关软件: FlashMeta;FlashExtract;HaExcel…
主要字段: 计算机科学(68-XX)

fsaLib公司

3份文件引用(2016年至2019年)
软件作者: Nuel,G。;德洛斯,V。
相关软件: 计数基序;BWA;R(右)
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

JST公司

3份文件引用(2015年至2017年)
软件作者: Ghosh I、Shafiei N、Li G、Chiang W
相关软件: S3;Z3-str;通过…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

自由贸易区

3份文件引用(2016–2023)
软件作者: Luchaup,D.、Dyer,K.P.、Jha,S.、Ristenpart,T.、Shrimpton,T。
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

正则_代数

3份文件引用(2015–2016)
软件作者: 西蒙·福斯特;乔治·斯特鲁斯
相关软件: 大锤;Isabelle/HOL;陷阱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CDG实验室

2份文件引用(2015年至2017年)
软件作者: R.Alfared、D.Béchet、A.Dikovsky
相关软件:
主要字段: 历史与传记(01-XX);计算机科学(68-XX)

可可

在0个文档中引用
软件作者: 康斯坦丁·斯塔德勒
相关软件: 蟒蛇;STAN;MRIOLab…
主要字段:

戈弗利泽

2份文件引用(2016)
软件作者: Kai Stadtmüller、Martin Sulzmann、Peter Thiemann
相关软件: 去;TyPiCal;GitHub…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

互方面

2份文件引用(2012–2021)
软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈维隆德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克
相关软件: 方面J;LOLA;AspectWerkz…
主要字段: 计算机科学(68-XX)

注册ExLib

2份文件引用(2017–2021)
软件作者: RegexAdvice.com网站
相关软件: 佩尔
主要字段: 计算机科学(68-XX)

注册Stab

1份文件引用(2010)
软件作者: Vincent Aravantinos;卡费拉、里卡多;尼古拉斯·佩尔蒂埃
相关软件: TPTP;LOUI;VAMPIRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SoftRegex软件

1份文件引用(2021)
软件作者: Jun-U.Park、Sang-Ki Ko、Marco Cognetta、Yo-Sub Han
相关软件: SemRegex公司;雷克斯;BLEU…
主要字段: 计算机科学(68-XX)

塔克

1份文件引用(2012)
软件作者: 哈里·J·曼加拉姆
相关软件:
主要字段: 计算机科学(68-XX)

标记器

1份文件引用(2020年)
软件作者: 德米特里·塞利瓦诺夫·林肯·马伦
相关软件: udpipe;高温气冷堆;tidytext…
主要字段: 统计学(62-XX);计算机科学(68-XX)

雅克

2份文件引用(2010–2011)
软件作者: 吉姆·特雷弗;伊扎克·曼德尔鲍姆;大卫·沃克
相关软件: 衬垫;OCaml;dypgen…
主要字段: 计算机科学(68-XX)

Bex公司

1份文件引用(2015)
软件作者: 玛格斯·维纳斯
相关软件: 萨纳尔;梅林;西格玛*…
主要字段: 计算机科学(68-XX)

BibTool(书目工具)

1份文件引用(1994)
软件作者: Gerd Neugebauer公司
相关软件: pdfTeX;cjk;amsthm…
主要字段: 计算机科学(68-XX)

机器人探查器

1份文件引用(2018)
软件作者: 千叶,D.,八木,T.,秋山,M.,青木,K.,哈里乌,T
相关软件: 全景;KEA;FIRMA…
主要字段: 信息与通信理论,电路(94-XX)

编码器

在0个文档中引用
软件作者: 埃里克·布洛
相关软件: 共病;R;data.table…
主要字段:

描述X

在0个文档中引用
软件作者: 弗拉维奥·里佐洛
相关软件:
主要字段:

绿化

1份文件引用(2020年)
软件作者: 量子数
相关软件: 垂体后叶;github;
主要字段: 计算机科学(68-XX)

HJ库

1份文件引用(2016)
软件作者: Shams Imam、Vivek Sarkar
相关软件: Dag-calculus;西尔克
主要字段: 计算机科学(68-XX)

医学博士

在0个文档中引用
软件作者: 卢克·麦吉尼斯(Luke McGuinness)、莉娜·施密特(Lena Schmidt)、图伊娅·桑基拉(Tuija Sonkkila)、纳伊科·雅恩(Najko Jahn)
相关软件: R(右)
主要字段:

我的模式

1份文件引用(2012)
软件作者: N.沃兰斯基
相关软件: 垫;Camlp4;JavaScript脚本
主要字段: 计算机科学(68-XX)

named捕获

在0个文档中引用
软件作者: 托比·迪伦·霍金
相关软件: 数字Py;Rcpp;字符串列表…
主要字段:

矿石

在0个文档中引用
软件作者:
相关软件: 数字Py;Rcpp;字符串列表…
主要字段:

PLSMC公司

1份文件引用(2015)
软件作者: 庞涛;段振华;刘晓芳
相关软件: CUDD;NuSMV公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

POSIX莱辛

1份文件引用(2016)
软件作者: Fahad Ausaf、Roy Dyckhoff、Christian Urban
相关软件: 正则集;存档正式证据;伊莎贝尔/HOL
主要字段: 计算机科学(68-XX)

妊娠期

1份文件引用(2005)
软件作者: D.西塔拉姆。
相关软件: 毕格鲁;SSAX;XPath…
主要字段: 计算机科学(68-XX)

量子

1份文件引用(2002)
软件作者: 卢克·普拉蒙登;莱拉·科赛姆
相关软件:
主要字段: 计算机科学(68-XX)

Regexp公司

1份文件引用(2008)
软件作者: 马歇,C。
相关软件: OCaml;存档正式证据;深度优先搜索…
主要字段: 计算机科学(68-XX)

雷克斯

在0个文档中引用
软件作者: Ushey K、Hester J、Krzyzanowski R
相关软件: R;GENALG公司;GERET…
主要字段:

SemMT公司

在0个文档中引用
软件作者: 曹家伦、李美子牛、李叶亭、文明、张成驰
相关软件: SemRegex公司;雷克斯;BLEU…
主要字段:

SemRegex公司

在0个文档中引用
软件作者: 钟泽轩、郭嘉琪、杨伟、彭健、谢涛、楼建光、刘婷、张冬梅
相关软件: 雷克斯;BLEU;SBERT…
主要字段:

序列。打开

1份文件引用(2004)
软件作者: 休伯特·加拉维;拉杜·马特埃斯库
相关软件: Java路径查找器
主要字段: 计算机科学(68-XX)

样品

1份文件引用(2008)
软件作者: Akira哈拉;黑泽吉崎;Takumi一村
相关软件:
主要字段: 计算机科学(68-XX)

TXP公司

1份文件引用(2005)
软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。
相关软件: Java-MaC;LTL2BA;自旋蛋白
主要字段: 计算机科学(68-XX)

ixlib数据库

在0个文档中引用
软件作者: 诱导轮
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件