References   BNI 1956-1985Bibliografia nazionale italiana. Soggetti. Liste di aggiornamento, 1956-1985, Firenze, Biblioteca nazionale centrale, 1988.
; PTLa Piccola Treccani. Dizionario enciclopedico, Roma, Istituto della Enciclopedia Italiana, 1995-1997. 12 v.
; DMRDizionario di matematica, Milano, Rizzoli, 1989 [fa parte di: Le parole della scienza].
; DTMPiccato, Alfredo, Dizionario dei termini matematici. I concetti, i simboli, i metodi, le teorie, le applicazioni, l'evoluzione storica, i grandi matematici, Milano, BUR Rizzoli, 1987.
, EncMatEnciclopedia della matematica, a cura di Walter Maraschini e Mauro Palma, Milano, Garzanti, 2013 (Le garzantine).
(voce: Carnot, teorema di); McGraw-HillIl McGraw-Hill Zanichelli. Dizionario enciclopedico scientifico e tecnico inglese italiano, italiano inglese, 3. ed., Bologna, Zanichelli, 2004. Con CD-ROM.
; Wikipedia(IT)Wikipedia. L'enciclopedia libera, 2001 [ed. in lingua italiana dell' enciclopedia online Wikipedia]
(voce: Teorema del coseno)