社区
community_281
帖子详情
leibniz_zsu的留言板
leibniz_zsu
2020-01-02 06:43:26
大家好,这里是我的留言板,如果有问题,欢迎大家留言,我会第一时间进行回复
...全文
49
回复
打赏
收藏
leibniz_zsu的留言板
大家好,这里是我的留言板,如果有问题,欢迎大家留言,我会第一时间进行回复
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
Leibniz
2-algebras and twisted Courant algebroids
Leibniz
2-代数和twisted Courant 代数胚,生云鹤,刘张炬,在这篇文章中,给出了
Leibniz
代数的范畴化-
Leibniz
2-代数,它等价于2项的强同伦
Leibniz
代数。Omni-Lie 2-代数以及twisted Courant代数胚都给出具体的
The universal computer The Road from
Leibniz
to Turing Martin Davis
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from
Leibniz
to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. The story begins with
Leibniz
in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Gödel, before turning to Turing. Turing's analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes—the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing.
EEloT:物联网板上的Elixir评估工具包
埃洛特 这是什么? 考核评价工具包埃尔ixir对我OT板 install.sh:Elixir(和Erlang)的自动安装脚本 setup.sh:基准测试应用程序的编译和git pull measure.ex:CPU绑定应用程序的性能(执行时间)的度量 要求 git客户端 7z(p7zip-full) 用于Elixir安装的软件包管理器(例如apt,brew) 当然,长生不老药! 基准测试应用 名称 描述 作者 关联
leibniz
_formula.ex 计算莱布尼兹级数公式为10 ^ 8。 双胞胎 fibonacci_simple.ex 通过单个过程计算斐波那契数列。 该数字设置为100_000 高高 fibonacci_process.ex 通过分布式处理计算斐波那契数列。 数字和过程分别设置为37和10。此代码显示在Dave Thomas编写的14.5节中。 戴夫·
Leibniz
流形上Casimir函数 (2012年)
通过研究微分同胚及
Leibniz
映射对
Leibniz
流形上Casimir函数的作用,得出了(1)
Leibniz
流形(M,[ψ]M)上的Casimir函数C(x),可以由微分同胚ψ:M→N诱导为N上的Casimir函数(ψ-1)・C;(2)可逆的
Leibniz
映射ψ:M→N,可以把N上的Casimir函数的线性组合∑λiCi拉回为M上的Casimir函数。最后给出了
Leibniz
向量场和Casimir函数间的几个公式。
PyPI 官网下载 |
leibniz
-0.1.51.tar.gz
资源来自pypi官网。 资源全名:
leibniz
-0.1.51.tar.gz
community_281
594
社区成员
254,047
社区内容
发帖
与我相关
我的任务
community_281
提出问题
复制链接
扫一扫
分享
社区描述
提出问题
其他
技术论坛(原bbs)
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章