I have noticed that there is a suggestion to make integral and integration synonymous in the list of suggested synonyms.

I believe that it is useful to have some discussion before making changes to tags containing large number of questions. In this way we will find out whether MSE users approve joining these two tags together and, if they are going to be kept separate, perhaps the usage of these two tags could be clarified a little more. (This might lead to improvement of the tag-wikis, if we find out that it is needed.)

My understanding of the two tags is that the integral tag should be used solely for questions dealing with computation of integrals, whether integration includes anything related to integration - theorems, definitions, proofs, etc. At least this is how I read the tag-excerpts for these two tags. I also had some discussion about these tags in chat and this older questions is also related: http://meta.math.stackexchange.com/questions/3433/tags-derivatives-integral-limit-only-for-computation-questions

At the moment, the tag-excerpt for integral reads:

Questions on the evaluation of definite and indefinite integrals

The tag integration has the following tag-excerpt.

All aspects of integration, including the definition of the integral and computing indefinite integrals (antiderivatives).

So these are the main questions, for which I would like to know the opinion of other users:

• Do we want to keep the tags integral and integration separate or should they by synonyimized.

• If they are kept separate, what exactly is the difference between them?

EDIT: I'd say the situation here is similar to derivatives and differentiation, which is already an approved synonym. The tag-excerpt for derivatives does not say that it is for computation of derivatives only. (IIRC there used to be something along those lines in the tag-excerpt some time ago.) Now the tag-excerpt says: "Questions on the evaluation of derivatives or problems involving derivatives (for example, use of the mean value theorem)."