我有一个梦想。我希望我的数学写作能够神奇地变成一个.tex
文件,这样我就可以编辑它。我想写我的论文、我的考试、我的课堂笔记,一切,手工绘制,然后挥动魔术棒将它们转换成漂亮的东西(并且可编辑!)。
例如,我可以扫描我的笔迹并运行某个程序来帮我完成这项工作吗?或者我可以使用 Galaxy Note 或 Surface Pro(两者都配有可用的触控笔(手写笔?),Note 甚至可以读取我的笔迹!)。或者我的梦想还不会实现……
准确地说,我希望某事能做以下事情:当我写下以下内容时(在纸上、在平板电脑上 - 我不关心!)...
- 等式:$2+3x-5=6$
- 黑板粗体:$\mathbb{R}$ 表示实数
- 也许 \mathcal 也适用于 $\mathcal{C}$?
- 数学是必须的!$$e^{\pi i}=-1$$注意下面的内容!
- 下标和上标、集合和其他常见事物。$$S={x_i: x_i^2\in\mathbb{Q}}$$
- 也许我对这个有点想多了,如何渲染“$G$ 是一个群”中的“G”?
- 与 align 配合使用:$$ \begin{align*} 3&=1+2\ &=2+1\ &=1+1+1 \end{align*} $$
- 矩阵: $$ \left( \begin{array}{ccc} 1&0&0\ 0&1&0\ 0&0&1 \end{array} \right) $$
- 最后,我想证明定理,以便更好地认识到接下来会发生什么......
定理 1(A.定理)。这是一个定理。
证明。这就是证明。∎
...然后魔术棒将产生一个.tex
包含以下代码的文档(定义了合适的环境等)
\begin{enumerate}
\item Equations: $2+3x-5=6$
\item Blackboard-bold: $\mathbb{R}$ for the reals
\item Maybe \mathcal also works $\mathcal{C}$?
\item Maths on its own line is a must!
\[
e^{\pi i}=-1
\]
And noticing the stuff below!
\item Subscripts and superscripts, sets and other common things.
\[
S=\{x_i: x_i^2\in\mathbb{Q}\}
\]
\item Maybe I am dreaming a bit much with this one, how about rendering the "G" in "$G$ is a group"?
\item Works with align:
\begin{align*}
3&=1+2\\
&=2+1\\
&=1+1+1
\end{align*}
\item Matrices:
\[
\left(
\begin{array}{ccc}
1&0&0\\
0&1&0\\
0&0&1
\end{array}
\right)
\]
\item Finally, I want to prove theorems so it'd better recognise what is coming next...
\end{enumerate}
\begin{theorem}[A. Theorem]
This is a theorem.
\end{theorem}
\begin{proof}
This is a proof.
\end{proof}
请注意,以下两个问题与上述问题相关,但并未回答上述问题。它们都相当过时。
https://math.stackexchange.com/questions/7514/kindle-as-a-tool-for-mathematicians
答案1
- 内置编辑器 ---http://www.inftyproject.org/en/software.html
- 自由公式输入系统(FFES)---http://research.cs.queensu.ca/drl//ffes/
请注意,也有一些商业工具,例如 MathJournal 可从http://www.xthink.com/products.php或平板电脑的数学输入面板:http://windows.microsoft.com/en-us/windows7/use-math-input-panel-to-write-and-correct-math-equations
不过,同意,只要使用 LyXhttp://www.lyx.org在平板电脑上使用它相当不错。
答案2
我认为答案是“尚未写好,可能不会很快发布”。我所知道的最接近的答案是:
http://detexify.kirelabs.org/classify.html
它每次只能处理一个字符。这会比 OCR 的问题大得多,因为可能处理的字符更多,而且需要的布局也更多样。即使这样做了,我猜输出代码也会比你自己排版复杂得多。
另一方面,还有所见即所得的 Latex 编辑器,例如 Lyx,我认为它也允许您编辑代码。我自己不使用任何编辑器,但有些人喜欢用它们。