×

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

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

CiaoPP公司

51篇文献引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;汞…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

转发差异

28篇文献引用(2017–2023)
软件作者: Jarrett Revels、Miles Lubin、Theodore Papamarkou
相关软件: 朱莉娅;PyTorch;TensorFlow…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

克莱尔

32篇文献引用(1998–2019)
软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特
相关软件: 奥兹;乔科;SALSA…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

GF公司

30篇文献引用(1999–2021)
软件作者: 阿恩·兰塔
相关软件: Coq;米扎尔;Isar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

Multilisp公司

31份文件引用(1985–2022)
软件作者: Robert H.jun,Halstead。
相关软件: 克里奥尔;埃菲尔;莫德…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

微CRL

24篇文献引用(2001–2022)
软件作者: 斯特凡·布洛姆;Wan Fokkink;Groote,Jan Friso;伊扎克·范·朗格沃尔德;伯特·利瑟
相关软件: Uppaal;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);结合环与代数(16-XX);计算机科学(68-XX)…

帕斯卡-SC

27篇文献引用(1984–2016)
软件作者: 鲍伦德(Gerd Bohlender);克里斯蒂安·乌尔里奇;沃尔夫·冯·古登堡,于尔根;路易·B·拉尔。
相关软件: 杰克;枫树;DiffSharp…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

刚毛

28篇文献引用(1986年-2023年)
软件作者: 施瓦茨,J.T。;杜瓦,R.B.K。;杜宾斯基,E。;肖恩伯格,E。
相关软件: Z;JSetL;裁判…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);通用代数系统(08-XX)…

AI2公司

27篇文献引用(2020年至2024年)
软件作者: Gehr,T.、Mirman,M.、Drachsler-Cohen,D.、Tsankov,P.、Chaudhuri,S.、Vechev,M.T。
相关软件: Reluplex;马拉博;ImageNet…
主要字段: 代数几何(14-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

CoCasl公司

26篇文献引用(2003–2014)
软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德
相关软件: CASL;莫德;Hets…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

FEMSTER公司

21篇文献引用(2004–2021)
软件作者: 保罗·卡斯蒂略(Paul Castillo);Robert Rieben;丹尼尔·怀特
相关软件: 交易.ii;libMesh;PETSc…
主要字段: 全局分析,流形分析(58-XX);数值分析(65-XX);变形固体力学(74-XX)…

福克斯

20篇文献引用(1998–2023)
软件作者: 迪亚斯,安吉尔;埃里希·卡尔托芬
相关软件: 枫树;SACLIB;FireFly…
主要字段: 数论(11-XX);交换代数(13-XX);近似和展开(41-XX)…

续订

16篇文献引用(2004–2022)
软件作者: 奥拉夫·库默;弗兰克·温伯格(Frank Wienberg);迈克尔·杜维涅奥(Michael Duvigneau);乔恩·舒马赫;迈克尔·科勒;丹尼尔·莫尔特;Rölke,Heiko;吕迪格·瓦尔克
相关软件: libDDD;莫德;LoLA…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

泰尤斯

18篇文献引用(2001–2022)
软件作者: Nadathur,G.,Mitchell,D.J。
相关软件: Twelf;阿贝拉;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SMV公司

13份文件引用(1986–2018)
软件作者: Ed Clarke;K.L.McMillan;E.A.艾默生;J.R.伯奇
相关软件: 高科技;PHAVer;旋转…
主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…

施舍

10篇文献引用(2011–2022)
软件作者: 托夫,杰西·A。;里卡多·普切拉
相关软件: 哈斯克尔;旋风;锈带…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HOL-Omega餐厅

9份文件引用(2009–2019)
软件作者: 彼得·霍米埃(Peter V.Homeier)。
相关软件: HOL;伊莎贝尔;Coq…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

RAST公司

4份文件引用(2012–2019)
软件作者: Meyer F、Paarmann D、D’Souza M等人
相关软件: KEGG;梅根;爆炸…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

模糊的

7份文件引用(1985–2017)
软件作者: 托马斯·莱曼;雅克·勒克斯
相关软件: Nuprl;LCF;曼蒂萨…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);动力系统和遍历理论(37-XX)…

皮尔斯纳

7份文件引用(2015–2021)
软件作者: 乔治·奈斯(Georg Neis);Hur,Chung-Kil;Kaiser,Jan-Oliver;Craig McLaughlin;德里克·德雷尔(Derek Dreyer);维克托·瓦菲亚迪斯
相关软件: Coq;CakeML;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

断言

4份文件引用(1980–1994)
软件作者: Erickson,R.W。;D.R.穆瑟。
相关软件: RRL;泰克顿;NQTHM…
主要字段: 历史与传记(01-XX);组合数学(05-XX);通用代数系统(08-XX)…

工艺品

4份文件引用(2011–2022)
软件作者: 伊万·波利亚科夫;丹尼尔·索科洛夫;安德烈·莫霍夫
相关软件: VipTool;基因;石化…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

成本核算表

5份文件引用(2012–2017)
软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。
相关软件: 防抱死制动系统;速度;中美合作所…
主要字段: 计算机科学(68-XX)

拉克维特

4份文件引用(2000–2012)
软件作者: 奥卡拉汉,R.W。;D.杰克逊。
相关软件: 解释;STP;ASTREE…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

1毫升

4份文件引用(2015–2018)
软件作者: 安德烈亚斯·罗斯伯格
相关软件: 混合ML;HMap;多蒂…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

pyomo.dae型

3份文件引用(2018–2022)
软件作者: 贝萨尼·尼科尔森;约翰·D·西罗拉(John D.Siirola)。;Jean-Paul Watson;维克多·M·扎瓦拉(Victor M.Zavala)。;Lorenz T.比格勒。
相关软件: 皮奥莫;SOCS;Optimica…
主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

小牛

3份文件引用(2017–2022)
软件作者: Gerco van Heerdt、Matteo Sammartino、Alexandra Silva
相关软件: LearnLib;杠杆;西格玛*…
主要字段: 计算机科学(68-XX)

CHAD(查德)

3份文件引用(2022–2023)
软件作者: 瓦卡,马提伊斯;汤姆·斯米丁
相关软件: 提灯;效率;Coq…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

DTRE公司

3份文件引用(1993年至2015年)
软件作者: Lee Blaine、Allen Goldberg
相关软件: OCaml;孩子们;菲亚特…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

Gc平移

3份文件引用(2007–2011)
软件作者: 丹尼尔·赫希科夫(Daniel Hirschkoff);Damien Pous;戴维·桑吉奥吉
相关软件: SLMC;OCaml;科莱姆…
主要字段: 计算机科学(68-XX)

多元多项式

在0个文档中引用
软件作者: 贝诺·特莱加特
相关软件: 朱莉娅;gmp;SageMath…
主要字段:

泄漏

3份文件引用(1994–2012)
软件作者: 安东尼奥·阿伦卡尔(Antonio J.Alencar)、约瑟夫·高根(Joseph A.Goguen)
相关软件: AGG;亨欣;凹槽…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

CAVA Automata库

引用于2份文件(2018–2019)
软件作者: 彼得·兰米奇
相关软件: 石笼SCC;CAVA LTL模型检查器;存档正式证据…
主要字段: 计算机科学(68-XX)

复杂区域。Jl公司

在0个文档中引用
软件作者: 托宾·A·德里斯科尔
相关软件: Plots.jl;朱莉娅;SKPrime…
主要字段:

HECTOR公司

1份文件引用(2013)
软件作者: David Hopkins,Andrzej S.Murawski,C.H.Luke Ong
相关软件: 灌篮;GTRECS2;主页…
主要字段: 计算机科学(68-XX)

千塔姆

引用于2份文件(2017–2018)
软件作者: 穆罕默德·阿卜杜勒马利克;Czeizler,Elena;齐兹勒,尤根
相关软件: 规则投标人;BioNetGen;NFsim…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

NuMDG公司

引用于2份文件(2011–2012)
软件作者: 阿贝德,赛义德;亚辛·莫赫塔里;艾特·穆罕默德(Ait-Mohamed),奥特曼(Otmane);索菲涅·塔哈尔
相关软件: Velev SAT基准;NuSMV公司
主要字段: 组合数学(05-XX);计算机科学(68-XX)

RAML公司

引用于2份文件(2017年至2021年)
软件作者:
相关软件: OCaml;AProVE;KoAT…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

Simpl公司

引用于2份文件(2013–2017)
软件作者: 玛格斯·弗洛伊登塔尔
相关软件: ANTLR;MetaEdit+;Spoofax…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

句法

引用于2份文件(2013–2015)
软件作者: E.阿克塞尔森
相关软件: 哈斯克尔;长石;熔岩
主要字段: 计算机科学(68-XX)

TRAM公司

引用于2份文件(1997–2014)
软件作者: 绪方,Kazuhiro;Masaru Kondo;Ioroi,Shigenori;高基町五指
相关软件: OBJ咖啡馆;莫德;CITP…
主要字段: 计算机科学(68-XX)

TravMC公司

引用于2份文件(2012–2017)
软件作者: 不远处,罗宾·P。;史蒂文·拉姆齐(Steven J.Ramsay)。;王志浩(音)
相关软件: TravMC2;github;MoCHi…
主要字段: 计算机科学(68-XX)

VeriFly公司

引用于2份文件(2021–2022)
软件作者: Sanchez-Ordaz,Miguel A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。
相关软件: 汞;CiaoPP;再见…
主要字段: 计算机科学(68-XX)

背心

引用于2份文件(2014–2020)
软件作者: Squire,J。;Burby,J。;秦,H。
相关软件: 通用矢量分析;Mathematica;张量…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);流体力学(76-XX)

白橡木

引用于2份文件(2013–2022)
软件作者: Gil,J.,Maman,I。
相关软件: 斯卡拉;VCC;Caduceus…
主要字段: 计算机科学(68-XX)

抽象代数.jl

1份文件引用(2019)
软件作者: Fieker,C.、Hart,W.、Hofmann,T.、Johansson,F。
相关软件: JuMP;github;SCS…
主要字段: 群论与推广(20-XX);拓扑群,李群(22-XX)

阿尔帕卡

1份文件引用(2021)
软件作者: 埃里克·泽克(Erik Zenker)、本杰明·沃皮茨(Benjamin Worpitz
相关软件: P旋流器;LFRic公司;COSMO…
主要字段: 数值分析(65-XX);地球物理学(86-XX)

比利

在0个文档中引用
软件作者: H·陶舍尔
相关软件: xBIM;BIMsurfer;卡斯卡德
主要字段:

叮当声AST

在0个文档中引用
软件作者: 戈博尔·霍瓦思;诺伯特·巴塔基
相关软件: STL公司
主要字段:

CRDT公司

1份文件引用(2020)
软件作者: 维克多·B·F·戈梅斯;马丁·克莱普曼;多米尼克·P·穆里根;阿拉斯泰尔·贝雷斯福德
相关软件: github;存档正式证据;布吉
主要字段: 计算机科学(68-XX)

FreeST公司

1份文件引用(2022)
软件作者: 贝尔纳多·阿尔梅达、安德烈亚·莫迪多、瓦斯科·瓦康塞洛斯
相关软件: 丁香;施舍
主要字段: 计算机科学(68-XX)

Java通用作战图

在0个文档中引用
软件作者: Markstrum,S。;马里诺,D。;Esquivel,M。;Millstein,T。;安德烈,C。;J·诺布尔
相关软件: MJ;甲骨文;塞西尔…
主要字段:

元模型Isabelle

1份文件引用(2016)
软件作者: Tuong神父;伯克哈特·沃尔夫
相关软件: Coq;Isabelle/HOL;密度编译器…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

MOP盒

在0个文档中引用
软件作者: 埃里克·博登
相关软件:
主要字段:

PolySearch公司

在0个文档中引用
软件作者: Cheng D.、Knox C.、Young N.、Stothard P.、Damaraju S.、Wishart D.S。
相关软件:
主要字段:

光滑

1份文件引用(2011年)
软件作者: C.Ashcraft;刘建伟
相关软件: PaToH;PT-Scotch;线轴…
主要字段: 组合数学(05-XX);数值分析(65-XX)

相扑

1份文件引用(2002)
软件作者: 曼纽尔·布朗斯坦
相关软件: 阿尔多;枫树
主要字段: 场论与多项式(12-XX);常微分方程(34-XX);偏微分方程(35-XX)…

蒂拉

1份文件引用(2009)
软件作者: Bartlett,R.、Boggs,P.、Coffey,T.、Heroux,M.、Hoekstra,R.,Howle,V.、Long,K.、Pawlowski,R.和Phipps,E.、Spotz,B.、Thornquist,H.、Williams,A。
相关软件: 特点;萨利纳斯;Epetra…
主要字段: 数值分析(65-XX)

过渡系统与自动

1份文件引用(2022)
软件作者: 朱利安·布伦纳
相关软件: 布尔表达式检查器;DRAT-饰件;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件