Talk:Integral
This is the talk page for discussing improvements to the Integral article. This is not a forum for general discussion of the article's subject. 
Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · NYT · TWL 
Archives: Index, 1, 2, 3, 4, 5Autoarchiving period: 3 months 
Integral has been listed as a level4 vital article in Mathematics. If you can improve it, please do. This article has been rated as BClass by WikiProject Vital Articles. 
Please stay calm and civil while commenting or presenting evidence, and do not make personal attacks. Be patient when approaching solutions to any issues. If consensus is not reached, other solutions exist to draw attention and ensure that more editors mediate or comment on the dispute. 
Integral was a good articles nominee, but did not meet the good article criteria at the time. There may be suggestions below for improving the article. Once these issues have been addressed, the article can be renominated. Editors may also seek a reassessment of the decision if they believe there was a mistake.  

Todo list for Integral:

Daily pageviews of this article 
WikiProject Mathematics  (Rated Bclass, Toppriority)  


Wikipedia Version 1.0 Editorial Team / v0.7  (Rated Cclass, Topimportance)  


Formal definition of the Riemann integral[edit]
This is a small point. I spotted a mistake in the definition of the Riemann integral, which included the following segment:
 For all there exists such that, for any tagged partition with mesh less than ,
This is a typical argument of the epsilondelta type. The mesh of a partition is the width of the largest subinterval formed by the partition. If the width of the largest subinterval (with some index k which we don't need to know) is , this implies that for all subintervals are . No need to go at the level of indices or of taking into account the plurality in the notation: the notion of mesh does the job.
So the correct formulation should be (and using lower case delta makes the argument even clearer, showing that it is the familiar epsilondelta argument):
 For all there exists such that, for any tagged partition with mesh less than ,
I will try again, asking all those who want to revert my change to read the above comment and indicate where it goes wrong, if you find something wrong with it.
Dessources (talk) 13:13, 15 August 2021 (UTC)
 How can something like "There exists delta such that <expression involving Delta_i>" be possible correct? I have reverted again.  DVdm (talk) 14:05, 15 August 2021 (UTC)
 Could you please be more precise in the formulation of your objection. What expression are you referring to?
 If you mean the following expression:
 (*)
 please note that this expression does not contain as a free variable. Here is an index that runs from 1 to , and expression
 is strictly equivalent to it.
 Dessources (talk) 14:59, 15 August 2021 (UTC)
 I see what you mean. The are defined in the previous paragraph. Let me propose a version that may accommodate your concern before reverting my change.Dessources (talk) 15:07, 15 August 2021 (UTC)
 I did not find a way to make things clearer without repeating what is already said. When we say (*) is satisfied for any tagged partition, we refer to the definition just given of a tagged partition. Any tagged partition is defined by the finite increasing sequence of 's, from to , described in the first paragraph, which mechanically imply the width of the subintervals, Δ_{i} = x_{i}−x_{i−1}, and the 's that fall within these intervals. When we take any tagged partition, we automatically get the 's and 's that define it, and thus also the 's.
 Finally the error I corrected is obvious when one observes that it makes no sense to refer outside an expression to a variable which is bound in the expression, as was the case with the index that I removed. This alone is sufficient to justify the correction.
 Dessources (talk) 15:52, 15 August 2021 (UTC)
 @Dessources: Ah yes, I fumbled with the verification of the cited source. I overlooked the actual definition in section 8.5. I only had a look at the top of the page. My bad!  DVdm (talk) 07:56, 16 August 2021 (UTC)
 Dessources (talk) 15:52, 15 August 2021 (UTC)
Analytical vs Symbolic?[edit]
[1] breaks out separate sections for analytical vs symbolic integration, but I was raised that analytical and symbolic mean the same thing in this context. Is there some different meaning I'm not aware of? Rolf H Nelson (talk) 04:56, 4 January 2022 (UTC)
 I agree. It's not clear what the distinction is supposed to be. In fact, there is a great deal of overlap in the content, as it is currently written. Unless somebody chimes in with a strong explanation, I'd support merging the two sections. Mgnbar (talk) 13:40, 4 January 2022 (UTC)
I also agree that the article is muddled: finding an antiderivative is described in both the "Analytical" and "Symbolic" subsections. The article can be improved.
 The main division is usually between those methods that find a formula containing wellknown functions, and those methods that directly find a numerical value. I have seen the latter methods referred to as "approximate integration". But Wikipedia already has articles on symbolic integration and numerical integration so they are probably the best terms to use.
 I have seen methods of solving differential equations classified as "graphical", "numerical" or "analytical". But I am not sure how much the term analytical integration is used. There could be a distinction between methods that use clever mathematical analysis thinking and those that use bruteforce calculation. Or perhaps analytical integration only applies to analytic functions. The term symbolic integration is probably becoming more popular because it is used in computer algebra systems.
 The current "Analytical" and "Symbolic" subsections both mention methods that find a symbolic representation as an infinite series which is then evaluated numerically. I have seen such methods classified as "approximate", and they could go in the "Numerical" subsection. But it might be better to have them in a separate subsection under the traditional name "Integration by series".
 I do not agree with the "Analytical" subsection where it says that "The most basic technique for computing definite integrals of one real variable is based on the fundamental theorem of calculus". A numerical method such as counting squares under a graph is much simpler to explain.
 Also, I would change the name of the "Mechanical" subsection to "Analogue" and include links to both differential analyser and electronic analogue computer. JonH (talk) 16:43, 16 May 2022 (UTC)
Integration  calculas[edit]
Finding area by integration on the area between curve y = f(x) and xaxis? — Preceding unsigned comment added by 129.232.97.252 (talk) 16:56, 14 May 2022 (UTC)
Proposed additions, sections shown, thanks[edit]
Rubi, a computer algebra system rulebased integrator, pattern matches an extensive system of symbolic integration rules to integrate a wide variety of integrands.^{[1]}
The bracket integration method is a generalization of Ramanujan's master theorem that can be applied to a wide range of integrals.^{[2]}
 Gonzalez, Ivan; Jiu, Lin; Moll, Victor H. (1 January 2020), "An extension of the method of brackets. Part 2", Open Mathematics, 18 (1): 983–995, doi:10.1515/math20200062, ISSN 23915455
 Rich, Albert; Scheibe, Patrick; Abbasi, Nasser (16 December 2018), "Rulebased integration: An extensive system of symbolic integration rules", Journal of Open Source Software, 3 (32): 1073, doi:10.21105/joss.01073
TMM53 (talk) 08:23, 2 January 2023 (UTC) TMM53 (talk) 08:23, 2 January 2023 (UTC)
Lead Sentence[edit]
I am trying to improve the lead sentence since it came up in the village pump as an example of something that needs work. My contribution is based on the suggestions from a WikiProject:Mathematics discussion Thenub314 (talk) 16:19, 10 February 2023 (UTC)
 Wikipedia level4 vital articles in Mathematics
 Wikipedia BClass vital articles in Mathematics
 Wikipedia BClass level4 vital articles
 Former good article nominees
 Wikipedia pages with todo lists
 BClass mathematics articles
 Toppriority mathematics articles
 CClass Version 1.0 articles
 Topimportance Version 1.0 articles
 Mathematics Version 1.0 articles
 CClass Version 0.7 articles
 Topimportance Version 0.7 articles
 Wikipedia Version 0.7 selected articles
 Mathematics Version 0.7 articles
 Wikipedia Version 1.0 articles