
Eu tenho um sonho. Quero que minha escrita matemática seja magicamente transformada em um .tex
arquivo para que eu possa editá-la. Quero escrever meus trabalhos, minhas provas, minhas notas de aula,tudo, à mão, e depois agite uma varinha mágica para convertê-los em algo bonito (e editável!).
Por exemplo, eu poderia digitalizar minha escrita e executar algum programa que faça isso para mim? Ou eu seria capaz de usar o Galaxy Note ou o Surface Pro (ambos vêm com canetas utilizáveis (canetas?), E o Note pode até ler minha caligrafia!). Ou meu sonho ainda não será realizado...
Só para ser mais preciso, quero que algo faça o seguinte: quando escrevo o seguinte (no papel, no tablet - não me importo!)...
- Equações: $2+3x-5=6$
- Blackboard-bold: $\mathbb{R}$ para os reais
- Talvez \mathcal também funcione $\mathcal{C}$?
- A matemática em sua própria linha é obrigatória! $$e^{\pi i}=-1$$ E observando o que está abaixo!
- Subscritos e sobrescritos, conjuntos e outras coisas comuns. $$S={x_i: x_i^2\in\mathbb{Q}}$$
- Talvez eu esteja sonhando um pouco com esse aqui, que tal renderizar o "G" em "$G$ é um grupo"?
- Funciona com alinhamento: $$ \begin{align*} 3&=1+2\ &=2+1\ &=1+1+1 \end{align*} $$
- Matrizes: $$ \left( \begin{array}{ccc} 1&0&0\ 0&1&0\ 0&0&1 \end{array} \right) $$
- Finalmente, quero provar teoremas para que seja melhor reconhecer o que está por vir...
Teorema 1(A. Teorema).Este é um teorema.
Prova.Isto é uma prova. ∎
... então a varinha mágica produzirá um .tex
documento com o seguinte código (com ambientes adequados definidos, etc.)
\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}
Observe que as duas perguntas a seguir são relevantes, mas não respondem à pergunta acima. Ambos estão bastante desatualizados.
https://math.stackexchange.com/questions/7514/kindle-as-a-tool-for-mathematicians
Responder1
- Editor Infty ---http://www.inftyproject.org/en/software.html
- Sistema de entrada de fórmula à mão livre (FFES) ---http://research.cs.queensu.ca/drl//ffes/
Observe que também existem algumas ferramentas comerciais, por exemplo, MathJournal disponível emhttp://www.xthink.com/products.phpou o Painel de entrada matemática para Tablet PCs:http://windows.microsoft.com/en-us/windows7/use-math-input-panel-to-write-and-correct-math-equations
Concordo, porém, que apenas usar o LyXhttp://www.lyx.orgem um Tablet PC é muito bom.
Responder2
Acho que a resposta é 'ainda não foi escrito, provavelmente não chegará tão cedo'. O mais próximo que conheço é:
http://detexify.kirelabs.org/classify.html
que faz apenas um personagem por vez. Isso seria um problema muito maior do que o OCR, pois há muito mais caracteres possíveis e é necessária muito mais variedade no layout. Mesmo que isso fosse feito, acho que o código de saída seria muito mais complexo do que se você apenas escrevesse o trabalho sozinho.
Existem, por outro lado, editores WYSIWYG Latex, por exemplo Lyx, que acho que também permitirão editar o código. Eu não uso nenhum, mas algumas pessoas se dão bem com eles.