Matematyczny Validator

Dłubię sobie projekt, który sprawdza równania matematyczne trochę inaczej niż zwykłe czy działa / czy nie działa. To nie jest solver, tylko analizator struktury równania.Rozbija wyrażenie na warstwy: (lambda) złożoność struktury, zagnieżdżenia (tau) transformacje: odwróceni Są filtry logik