Talk:Condition for Darboux Integrability

Sources

The source of the page was Theorem 1.1 in Advanced Calculus: MATH 410 Notes on Integrals and Integrability, by D. Levermore, see http://www.terpconnect.umd.edu/~lvrmr/2004-2005-F/Classes/Integral.pdf. This source was not included in a Sources section as it was not acceptable according to proofwiki rules. --Ivar Sand (talk) 05:47, 27 November 2017 (EST)

As the proof is so long, it could benefit by being divided into subpages

This text of a refactor template was included in the page June 16 2015 09:19 at a time when the page was different. Is the template still relevant? If so, what parts of the proof should be put into subpages? --Ivar Sand (talk) 08:24, 28 November 2017 (EST)

I think the template hinted (1) to do what you just did; (2) that Lemma's are usually (always actually, I think) proved on subpages (Help:Proofs#Lemmas). Or if there's a chance they are useful in other proofs, on separate pages.

Nice job. Perhaps some other intermediate results can be extracted, so not sure if the template should be removed. --barto (talk) (contribs) 14:11, 28 November 2017 (EST)

Thanks for the information, barto. I'll go for alternative (1) and put the remaining lemmas on separate pages. --Ivar Sand (talk) 03:25, 1 December 2017 (EST)

All lemmas are proved on separate pages now.

Concerning the relevance of the refactor template:

I have made extensive changes to the page since the refactor template was included, and, although I may be wrong, I don't think there are any more intermediate results that can be extracted. Therefore, I think it is time to either remove the refactor template or update it in order to identify what parts of the proof that should be extracted if there are any. --Ivar Sand (talk) 06:43, 7 December 2017 (EST)

I think you're the one who knows these pages best now, so I'm confident you will do what's right. I.e. you can remove the template if you want. --barto (talk) (contribs) 10:21, 7 December 2017 (EST)

Thanks, Ivar, for your extensive efforts on these pages. Much appreciated! — Lord_Farin (talk) 08:17, 9 December 2017 (EST)