From: Kakadu <kakadu.hafanana@gmail.com>
To: Nicolas Ratier <nicolas.ratier@femto-st.fr>
Cc: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] Algorithmic integration
Date: Wed, 18 Jan 2023 09:05:48 +0000 [thread overview]
Message-ID: <CAGmVoG2ikyK06vk=WfiKVay+PKF+kDh3eZW3dCfN=8MX_J50+w@mail.gmail.com> (raw)
In-Reply-To: <2e5878f2-6312-c310-c7e1-9914202fed96@femto-st.fr>
> The general integration algorithm has never been implemented.
It seems that the problem is undecidable in general, but maybe
somebody have already implemented Risch algoritm in OCaml?
Happy hacking,
Dmitrii
On 1/18/23, Nicolas Ratier <nicolas.ratier@femto-st.fr> wrote:
> Le 17/01/2023 à 23:04, Kenneth Adam Miller a écrit :
>> Does anybody know how I could do symbolic integration with OCaml? I
>> see the owl package, but it appears that it only has differentiation.
>> Is there any way I could implement integration with this same library?
>
> Hello,
>
> Symbolic integration is a profession in its own right!!! The derivation
> is trivial.The general integration algorithm has never been implemented.
> Except maybe in Axiom by Manuel Bronstein (he died too young in 2005).
> He gives a fantastic 95-lines integration program in Maple here:
>
> http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/
>
> Nicolas
>
>
next prev parent reply other threads:[~2023-01-18 9:07 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-17 22:04 Kenneth Adam Miller
2023-01-18 8:30 ` Nicolas Ratier
2023-01-18 9:05 ` Kakadu [this message]
2023-01-19 7:13 ` Markus Mottl
2023-01-19 8:36 ` [Caml-list] Unsubscribe - " Nicolas Höck
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAGmVoG2ikyK06vk=WfiKVay+PKF+kDh3eZW3dCfN=8MX_J50+w@mail.gmail.com' \
--to=kakadu.hafanana@gmail.com \
--cc=caml-list@inria.fr \
--cc=nicolas.ratier@femto-st.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox