One of the answers here: http://meta.math.stackexchange.com/a/3268/ was suggesting that derivatives should be renamed to derivatives-computation and that tag-wiki should reflect that this tag is intended ONLY for questions about computation of derivatives. This answer has (at this moment) 7 upvotes and no downvotes - which IMO can be considered as a consensus.

In comments to that answer it was also explained that moderators have the possibility to rename tags.

I think that if we did with derivatives, it would be logical to treat tags limit and integral in the same way; i.e using limit-computation, integral-computation and editing tag-wikis and tag-excerpts appropriately.

As this would influence large number questions (more than 1k at this moment), this should be definitely discusses before some action is taken.

To sum up briefly the questions I am asking:

1. Whether there is consensus that this (or something similar) should be done.
2. If we agree that this should be done, what would be the best way to proceed.

You can show your opinion on the first question simply by upvoting/downvoting the question. (And perhaps posting comments or answers explaining why not, if you disagree.) Proposals how to proceed - if there is agreement that we should do this at all - should be posted as answers, so that they can be up/downvoted too and we find out what is the consensus in math.SE community.

It is also important to mention that the current usage of these tags does not comply the above rules completely, we also have questions concerning definition, generalization, notation, properties, theorems related to limits/derivatives/theorems under these tag. I'm giving a sample before; as it was quite easy to find these few examples very quickly, I guess there are plenty of similar questions.

Limits:

• Properties of generalized limits aka nets
• Wrong Definition of a Limit
• Why is this limit said to equal some value rather than approach that value?

Derivatives:

• Differentiating an Inner Product
• Implicit Differentiation Proof
• Proof of Product Rule for Derivatives using Proof by Induction

Integrals:

• Why are gauge integrals not more popular?
• Looking for an accessible explanation of Henstock–Kurzweil (gauge) integral
• Questions about Fubini's theorem