Descrição
Ajuda a provar desigualdades da teoria da informação pela linha de comando. É útil para pesquisadores e estudantes que trabalham com entropia, teoria da informação e provas formais de desigualdades.
Ferramentas de prova matemática dependem da codificação correta do problema. Trate a saída como auxílio formal e verifique suposições antes de citar resultados em pesquisa ou material didático.