数式を含む理数系のDAISY, EPUB3製作に焦点を当てたChattyInfty3というアプリケーション。LaTeX 文書の編集、PDF ファイル出力、MathML などによるWeb教材作成など、数式などを含む理数系の教材の製作に焦点が置かれて開発されているようです。
鈴木昌和先生のInfty Projectプロジェクトの一環として製作されたもので、他にも日英混在文や数式を含む科学技術分野の文献を対象としたOCRソフトなども開発されているようです。
ChattyInftyについては以下もご参照ください。
その他、鈴木昌和先生のお名前でCiniiを検索すると、数学文書点訳について、日本語分かち書き仮名変換処理、文書構造処理、表の自動点訳などおもしろそうな論文がぞろぞろ（一通りざっと読んでみましたが、さすがにちょっと私にはハードルが高かった・・・）
研究集会「科学情報の電子化・自動処理，およびそのアクセシビリティ― デジタル教科書のアクセシビリティ」が今年も2月に東京で開催されることになっていて、私も参加する予定なのですが、そこで鈴木昌和先生と山口雄仁先生のお話が聞けることが楽しみだったりします。
参考（昨年の上の研究集会の案内）