<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> For integration by parts, the key step is to factorise f=u ·v into a<br>
  part for integration and a part for differentiation. Do you know a<br>
  good algorithm to make the decision? (I would be interested to see it<br>
  as a seasonal lecturer of integral calculus as well)</blockquote><div><br></div><div>I was only going to follow Purcell' Calculus book or more or less like the old formula for Integration by parts from <a href="https://en.wikipedia.org/wiki/Integration_by_parts">https://en.wikipedia.org/wiki/Integration_by_parts</a></div><div>In SymbolicC++ they are able to handle integration by parts for x * exp(x).</div><div><br></div><div>I am really naive and still in undergraduate books of Mathematics I don't even know  the Ostrogradsky's procedure. <br></div><div>Thanks for the information, I will try my best and hopefully I can make integration by parts with GiNaC.<br> </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le lun. 29 juil. 2024 à 21:46, Vladimir V. Kisil <<a href="mailto:V.Kisil@leeds.ac.uk">V.Kisil@leeds.ac.uk</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">>>>>> On Mon, 29 Jul 2024 19:51:56 +0700, DS Glanzsche <<a href="mailto:dsglanzsche@gmail.com" target="_blank">dsglanzsche@gmail.com</a>> said:<br>
<br>
    DS> I just learned about GiNaC, and I want to add integration by<br>
    DS> parts for a bit of complex integration like integral of cos nx *<br>
    DS> x, for definite and indefinite integral. I think polynomial<br>
    DS> integration in GiNaC works amazing, but if we can add all other<br>
    DS> symbolic integration it will be better.<br>
<br>
    For integration by parts, the key step is to factorise f=u ·v into a<br>
  part for integration and a part for differentiation. Do you know a<br>
  good algorithm to make the decision? (I would be interested to see it<br>
  as a seasonal lecturer of integral calculus as well)<br>
<br>
  We definitely can implement the Ostrogradsky's procedure for<br>
  integration of rational functions because it is algorithmic and we<br>
  already have the necessary polynomial arithmetic for it.  <br>
<br>
    DS> Should I look and modify the source code integral.cpp? I never<br>
    DS> really modified open source code before in my life.<br>
<br>
    We all had this first moment in our life, hopefully you will enjoy<br>
  the process!<br>
-- <br>
Vladimir V. Kisil                  <a href="http://v-v-kisil.scienceontheweb.net" rel="noreferrer" target="_blank">http://v-v-kisil.scienceontheweb.net</a><br>
  Book:      Geometry of Mobius Maps       <a href="https://doi.org/10.1142/p835" rel="noreferrer" target="_blank">https://doi.org/10.1142/p835</a><br>
  Soft:      Geometry of cycles         <a href="http://moebinv.sourceforge.net/" rel="noreferrer" target="_blank">http://moebinv.sourceforge.net/</a><br>
  Jupyter notebooks:        <a href="https://github.com/vvkisil?tab=repositories" rel="noreferrer" target="_blank">https://github.com/vvkisil?tab=repositories</a><br>
</blockquote></div>