Ferramenta para converter escrita matemática em LaTeX

Ferramenta para converter escrita matemática em LaTeX

Eu tenho um sonho. Quero que minha escrita matemática seja magicamente transformada em um .texarquivo 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!)...

  1. Equações: $2+3x-5=6$
  2. Blackboard-bold: $\mathbb{R}$ para os reais
  3. Talvez \mathcal também funcione $\mathcal{C}$?
  4. A matemática em sua própria linha é obrigatória! $$e^{\pi i}=-1$$ E observando o que está abaixo!
  5. Subscritos e sobrescritos, conjuntos e outras coisas comuns. $$S={x_i: x_i^2\in\mathbb{Q}}$$
  6. Talvez eu esteja sonhando um pouco com esse aqui, que tal renderizar o "G" em "$G$ é um grupo"?
  7. Funciona com alinhamento: $$ \begin{align*} 3&=1+2\ &=2+1\ &=1+1+1 \end{align*} $$
  8. Matrizes: $$ \left( \begin{array}{ccc} 1&0&0\ 0&1&0\ 0&0&1 \end{array} \right) $$
  9. 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 .texdocumento 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/193072/tablet-for-reading-textbooks-and-writing-math-by-hand?

https://math.stackexchange.com/questions/7514/kindle-as-a-tool-for-mathematicians

Responder1

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.

informação relacionada