Ah that sounds reasonable. As a stickler about abbreviations, I’ll just add that if you do want to stick with “IDA” and “Iterated Amplification” then it seems a little odd to use the phrase “stands for” to connect the two. (Since the D in “IDA” does not stand for anything in “Iterated Amplification”.)
EDIT: My inner pedant would be satisfied if this was simply worded as something like, “IDA stands for Iterated Distillation and Amplification, which we will refer to as Iterated Amplification for short.” (I’ll leave it to you to decide whether my inner pedant is your target audience. ;-) )
Ah that sounds reasonable. As a stickler about abbreviations, I’ll just add that if you do want to stick with “IDA” and “Iterated Amplification” then it seems a little odd to use the phrase “stands for” to connect the two. (Since the D in “IDA” does not stand for anything in “Iterated Amplification”.)
EDIT: My inner pedant would be satisfied if this was simply worded as something like, “IDA stands for Iterated Distillation and Amplification, which we will refer to as Iterated Amplification for short.” (I’ll leave it to you to decide whether my inner pedant is your target audience. ;-) )