【文件属性】：
文件名称：leibniz:数字科学记数法
文件大小：1.09MB
文件格式：ZIP
更新时间：2021-05-26 11:33:29
Racket
数字科学记数法
莱布尼兹（Leibniz）试图定义一种数字科学符号，即一种用于根据方程式和算法写下科学模型的形式语言。 除了可以通过软件操纵之外，还可以发布，引用和讨论此类模型。
了解莱布尼兹是什么以及可以做什么的最好方法是阅读一页介绍 。 然后，您可以继续阅读和。 您也可以观看我的。
对研究实现感兴趣（需要认真清理）的读者应该从查看notes.md文件notes.md ，以获取代码结构的概述。
莱布尼兹以名字命名，他为科学，数学，形式逻辑和计算等与该项目相关的主题做出了重要贡献。 他发明了一种广泛使用通过他对等式的奠定了等式逻辑的基础，并用他的预见了形式逻辑。
地位
一言以蔽之：实验性的。 该实现已达到的主要里程碑是发挥其数字科学记数法的作用：就像传统的半形式数学记数法一样，莱布尼兹（Leibniz）规范被嵌入为人类读者编写的纯文本语篇中。 这很重要，因为它消除了重要的错误源：将模
【文件预览】：
leibniz-master
----leibniz()
--------test-examples.rkt(873B)
--------terms.rkt(25KB)
--------equations.rkt(15KB)
--------rule-syntax.rkt(6KB)
--------lang.rkt(8KB)
--------images()
--------operators.rkt(26KB)
--------leibniz.scrbl(27KB)
--------condd.rkt(432B)
--------transformations.rkt(10KB)
--------run.rkt(545B)
--------builtin-contexts.rkt(17KB)
--------signature-syntax.rkt(3KB)
--------leibniz-button.png(1KB)
--------rewrite.rkt(17KB)
--------rewrite-syntax.rkt(9KB)
--------lightweight-class.rkt(3KB)
--------info.rkt(664B)
--------term-syntax.rkt(6KB)
--------main.rkt(14B)
--------sorts.rkt(16KB)
--------parser.rkt(19KB)
--------formatting.rkt(21KB)
--------lang()
--------context-syntax.rkt(25KB)
--------builtins.rkt(17KB)
--------documents.rkt(64KB)
--------drracket-buttons.rkt(3KB)
--------tools.rkt(5KB)
----CRAPL-LICENSE.txt(4KB)
----examples()
--------Mass_spring.svg.png(5KB)
--------quantities.scrbl(10KB)
--------leibniz-by-example.scrbl(7KB)
--------boolean.scrbl(3KB)
--------euclid_gcd.scrbl(845B)
--------mass-on-a-spring.scrbl(6KB)
--------masses.scrbl(3KB)
--------functions.scrbl(3KB)
--------mechanics.scrbl(4KB)
--------heron.scrbl(3KB)
----tools()
--------standalone-manual.sh(104B)
--------draw-graphs.sh(96B)
--------draw-graphs.rkt(552B)
----README.md(10KB)
----docs()
--------sorts_4.png(68KB)
--------index.html(78KB)
--------manual-style.css(13KB)
--------manual-racket.css(5KB)
--------manual-fonts.css(417KB)
--------scribble-common.js(5KB)
--------sorts_3.png(46KB)
--------sorts_2.png(32KB)
--------manual-racket.js(4KB)
--------scribble.css(8KB)
--------sorts.png(17KB)
--------racket.css(3KB)
----.gitignore(104B)
----logo()
--------vertical-leibniz-logo-2000-x-1600-png.png(61KB)
--------horizontal-leibniz-logo-500-x-150-png.png(27KB)
--------vertical-leibniz-logo-2000-x-1600-jpg.jpg(165KB)
--------horizontal-leibniz-logo-2500-x-1000-jpg.jpg(135KB)
--------horizontal-leibniz-logo-2500-x-1000-png.png(52KB)
--------leibniz-logo-svg.svg(3KB)
----notes.md(2KB)