« Dérivation » n'est pas incorrect du point de vue sémantique, ce serait même un mot très approprié si ce n'était pour le sens aussi très important qui lui est donné dans le calcul différentiel. Le mot « développement » me semble convenir mais il caractérise plutôt la présentation des étapes dans l'obtention de la formule finale et plutôt un choix des étapes intermédiaires. Un terme préférable, il me semble, est « déduction »; on pourrait donc dire
« La déduction détaillée de cette formule est présentée dans l'annexe A.2 ».
Une autre possibilité
« Les manipulations détaillées de la déduction de cette formule sont présentées dans l'annexe A.2 »
Selon cette façon de voir, on peut concevoir que plusieurs développements correspondent à une unique déduction. On ne peut plus parler alors pour une méthode donnée de déduction que de la déduction de la formule (la déduction de la formule par tel moyen); cependant, c'est une façon de voir qui n'est pas reconnue, elle implique une spécialisation des termes qui reste à forcer.
- (TLFi) a) MATH. Déduction (mathématique). ,,Démonstration mathématique traditionnelle qui conduit des principes aux conséquences (...) par opposition au raisonnement expérimental qui reconduit aux lois à partir des faits` (LEGRAND 1972)
... c'est à l'aide de la déduction que nous descendons du principe général (axiomes) au cas particulier (théorème), sans avoir besoin d'aucune expérience.
b) LOG. ,,Type de raisonnement qui conduit de une ou plusieurs propositions dites prémisses, à une conclusion « nécessaire », c'est-à-dire inévitable si l'on accepte la règle du jeu (LEGRAND 1972). Déduction logique, syllogistique.
