[1] The Mathis Project Tool é a ferramenta resultante do projecto BI2 da MathIS. É uma adaptação do projecto StarPad SDK e faz o reconhecimento da manuscrita matemática enviando o seu resultado para um ficheiro em formato LaTeX. Grava a expressão manuscrita bem como uma simplificação ou resolução da expressão.