Indagini su congetture e teoremi matematici con l'aiuto del computer.
Keywords: parabola, segmento parabolico, quadratura, numero piramidale quadrato, numero triangolare, induzione matematica, criterio di convergenza, teoria dei numeri, geometria, Nicomaco, aritmetica, George Polya, formula di Faulhaber, Adam Kochansky, sommatoria, somma dei cubi, somma dei quadrati , AutoCAD, lunula di Ippocrate, cilindro, cono, sfera, Luca Valerio, metodo degli indivisibili, Bonaventura Cavalieri, unghia sferica, unghia conica, Newton, Gravitazione Universale, Excel, distanza Terra-Luna, problema delle noci di cocco, Paul Dirac, formula di Binet, Fibonacci.