Problem solving, logica e triangoli con Mathematica