Santa Catarina Federal Üniversitesi - Matematiksel Temelleri disiplin için üretilen iş Gabriel Estevam tarafından bilgisayar izlemek için.
Bir önerme doğruluk tablosu inşaat algoritması C Dili Feofiloff Paul, Algoritmalar postfix şeklinde matematiksel denklemlerin işleme yönteminin bir adaptasyon kullanır