
我有一個夢想。我希望我的數學寫作能夠神奇地變成一個.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」怎麼樣?
- 適用於對齊: $$ \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
- InftyEditor ---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,我認為它也可以讓您編輯程式碼。我自己不使用任何東西,但有些人會使用它們。