回到顶部理论文档

第一阶段的理论文档已基本整理完毕,大约30万字左右。内容分为九大部分(详细目录见右侧列表):

  • 高精度运算
  • 数论
  • 函数
  • 线性代数
  • 多项式
  • 方程求解
  • 符号求和
  • 符号积分
  • 微分方程数值解

其中若干章节的内容还有进一步完善的可能。

正在计划中的理论文档包括:

  • 表达式化简
  • 符号微分与符号极限
  • ……

如果你对我们的文档内容有任何评论,或想要索取完成文档的pdf版本,请联系我们

回到顶部技术文档

技术文档将随着实际开发过程的深入而不断更新。

回到顶部文档系统

文档系统是在Emacs-Muse模式上继续开发的,目的就是方便的书写数学文档,能够写一份文档就能灵活的转换为各种发布格式,用于不同的用途,并且可以使我们把精力集中在内容上而非排版上面。目前已经支持htmlLaTeXpdf发布了。

回到顶部数学公式

  • 改写Muse的latex2png,更好地直接支持行间的$...$与$$...$$,例如 $$\int_{0}^{\infty}{\frac{e^{-at}}{\sqrt{t}(t+z)}} = \frac{\pi}{\sqrt{z}} e^{az} \operatorname{erf}(\sqrt{az}).$$ 也可以直接插到文字中: $\pi=3.1415926535897\cdots$ 就像这样。把鼠标移到公式图片上可以直接看到\LaTeX代码。
  • 网页里的图片改用透明gif(鉴于IE6对png的糟糕支持),大小可变化。
  • 记录图片的depth值信息,因为有些字母和公式与基线是不对齐的,因此html里面要用vertical-align调整,调整后的效果美观多了。
  • 增加了一个判断,使得相同公式的图片不用重复生成,这样即使公式很多也会相当快。
  • 增加了新功能公式的标记和引用,用@@和##就像\label和\ref一样。

回到顶部定理型

  • 支持定理、定义、证明等等样式的新标签。
  • 定理型支持可点击的交叉引用(包括页内和页间)。

回到顶部参考文献

  • 使用bibtex.el对bib文件进行parse。
  • 自动生成参考文献引用链接。

回到顶部Muse-mode

  • 改写了一下tex-math-preview,一边编辑Muse文档一边可以看到数学公式的效果。
  • 改写了一下two-mode-mode,可以写Muse文档的时候自动切换模式,这在排公式和程序代码时有些用处。
  • 增强了muse-insert-tag,自动写入新增的标签。
  • 派生book类,直接生成文档全书。

回到顶部其他

  • 增加了索引标签,用来自动编制索引。
  • 针对LaTeX文档自动添加中英文间的带子和标点符号后的空格。
  • 示例代码部分用listings包处理。
  • 自动判断内部与外部链接。
  • 处理人名中的非英语字母。
  • 还有一些针对网页的美化,这些你都能看见喽:)