This paper is devoted to Ibn Sinān's treatise on analysis and synthesis. Ibn Sinān's text deals with two distinct, though closely related, subjects. First he considers the classification of problems, founded on the logical criteria which are the number and degree of indetermination of the solutions and (though in a less relevant way) the number of hypotheses and their possible independence. This classification does not replace the Hellenistic one, which remains relevant insofar as it purports to solve geometrical problems, but complements it and has a different frame of reference, applying principally to algebra, that new born science. Ibn Sinān's classification will be taken up and used by algebraists. Secondly, the text presents a new way of setting out analysis and synthesis, so that they become exactly reciprocal. This leads Ibn Sinān to bestow more importance on the role played by analysis in the course of the proof, the only role left to synthesis being to check that all implications involved in the course of analysis are in fact equivalences. This method will prove to be productive in algebra too, so much so that some algebraists will explicitly identify algebra with analysis.