Gli scritti medievali sull’algebra, la geometria e l’aritmetica presentano spesso procedure alternative o complementari per risolvere problemi o dimostrare proposizioni. L’analisi di tali procedure offre spunti preziosi per gli storici della matematica, permettendo spesso di identificare le fonti consultate dagli autori, la loro concezione di ciò che costituisce una dimostrazione rigorosa ed eventuali nuovi metodi e strategie argomentative che hanno scelto di adottare. In questa sessione analizzeremo una selezione di casi tratti da testi arabi con l’obiettivo di riflettere su cosa costituisca una dimostrazione.