Text this: Descobrindo definições matemáticas no contexto de investigação histórica: o caso da sequência generalizada de Fibonacci