标有数学的包裹

21个包裹有这个标签。

[合并标签](仅限受托人)

相关标签:图书馆(20),bsd3型(15),数学(5),数学(5),已弃用(4),程序(4),代数(3),数据(3),优化(3),类别(2),形式方法(2),麻省理工学院(2),英里/小时(2),优化(2),理论证明者(2),算法(1),动画(1),组合学(1),数据结构(1), ...

姓名
数据链路
额定值
收入折旧
描述
标签
最后一个U/L
上次版本
维护者
低压摊铺机400涉及非线性实数算法的自动校准器目标问题(形式方法图书馆数学数学数学英里/小时程序理论证明者验证)2023-03-13年0.0.5.0朱奈德·拉希德
大基数层次结构801包含所有已知大基数的超限基数算术库(图书馆数学数学数学集合理论)2014-09-070.0.1史蒂芬_E_A_布雷顿
道具FP801浮点程序的自动验证(形式方法图书馆数学数学数学英里/小时程序理论证明者)2023-03-12年0.1.2.0朱奈德·拉希德
RoundingFiasco公司1100舍入变量floor、ceil和truncate,用于浮点运算+-*/√…(间隔图书馆数学麻省理工学院数字的四舍五入)2024-04-090.1.0.0保尔登尼斯
chainweb-mining-客户端900Kadena Chainweb的采矿客户(bsd3型数据数学程序)2022-11-230.5落叶松
有向图4700有向图(bsd3型数据图书馆数学)2023-02-030.3.0落叶松凿岩者
imj基础422游戏引擎具有几何、简化、动画文本、增量渲染。(算法动画bsd3型游戏引擎绘图图书馆数学优化优化程序终端用户界面)2018-01-010.1.0.2奥利维尔·索恩
inf支柱1320自动微分和反向传播。(bsd3型图书馆数学)2023-05-13年0.1.0.2阿列克谢·托钦
拟阵820拟阵(组合预几何)库(bsd3型组合学图书馆数学优化)2021-02-280.0.0.1.1阿尔布
移动平均值901这是一个计算数字列表移动平均值的库。(图书馆数学麻省理工学院)2017-05-120.2.0.0乔舒亚克莱顿
numhask-刺猬(反对赞成数字掩码)1400数字任务的法律和测试(bsd3型已弃用图书馆数学)2020-05-200.4.0今天567
数字任务前奏(反对赞成数字掩码)2608数字序曲(bsd3型已弃用图书馆数学)2020-05-200.5.0今天567
数字任务测试(反对赞成numhask-刺猬)501数字任务的法律和测试(bsd3型已弃用图书馆数学)2018-06-170.1.0.0今天567
oalg-abg公司400有限生成阿贝尔群。(代数bsd3型类别图书馆数学)2024年1月06日1.0.0.0兹埃里奇古兹
橡木底座800面向实体和极限的代数结构,作为解决代数问题的工具包。(代数bsd3型类别图书馆数学)2024-01-051.1.4.0兹埃里奇古兹
命令402姿势集的定义。(图书馆数学)2011年8月2日0.1米格尔帕加诺
浮游生物501数字序曲的核心,取自数字掩码(bsd3型图书馆数学)2017-11-160.0.0.1切萨伊
半环181218两个幺半群作为一个,在神圣的哈斯基莫尼(代数bsd3型数据数据结构图书馆数学数学数学)2021-01-070.6切萨伊
简单表达式1601用于简单数学表达式的极简工具箱。(bsd3型图书馆数学)2023-08-050.1.1.0阿列克谢·托钦
简单方法1101精确有理算法中两阶段单纯形法的实现(bsd3型图书馆线性规划数学数学数学优化优化)2023-12-02年0.2.0.0朱奈德·拉希德
(反对赞成数字掩码)701数字塔(bsd3型已弃用图书馆数学)2017-02-210.1.0今天567