* [Caml-list] Algorithmic integration
@ 2023-01-17 22:04 Kenneth Adam Miller
2023-01-18 8:30 ` Nicolas Ratier
2023-01-19 7:13 ` Markus Mottl
0 siblings, 2 replies; 5+ messages in thread
From: Kenneth Adam Miller @ 2023-01-17 22:04 UTC (permalink / raw)
To: caml users
[-- Attachment #1: Type: text/html, Size: 351 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] Algorithmic integration
2023-01-17 22:04 [Caml-list] Algorithmic integration Kenneth Adam Miller
@ 2023-01-18 8:30 ` Nicolas Ratier
2023-01-18 9:05 ` Kakadu
2023-01-19 7:13 ` Markus Mottl
1 sibling, 1 reply; 5+ messages in thread
From: Nicolas Ratier @ 2023-01-18 8:30 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/html, Size: 4049 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] Algorithmic integration
2023-01-18 8:30 ` Nicolas Ratier
@ 2023-01-18 9:05 ` Kakadu
0 siblings, 0 replies; 5+ messages in thread
From: Kakadu @ 2023-01-18 9:05 UTC (permalink / raw)
To: Nicolas Ratier; +Cc: caml-list
> 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
>
>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] Algorithmic integration
2023-01-17 22:04 [Caml-list] Algorithmic integration Kenneth Adam Miller
2023-01-18 8:30 ` Nicolas Ratier
@ 2023-01-19 7:13 ` Markus Mottl
2023-01-19 8:36 ` [Caml-list] Unsubscribe - " Nicolas Höck
1 sibling, 1 reply; 5+ messages in thread
From: Markus Mottl @ 2023-01-19 7:13 UTC (permalink / raw)
To: Kenneth Adam Miller; +Cc: caml users
[-- Attachment #1: Type: text/html, Size: 2104 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] Unsubscribe - Re: Algorithmic integration
2023-01-19 7:13 ` Markus Mottl
@ 2023-01-19 8:36 ` Nicolas Höck
0 siblings, 0 replies; 5+ messages in thread
From: Nicolas Höck @ 2023-01-19 8:36 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/html, Size: 4317 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2023-01-19 8:37 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-17 22:04 [Caml-list] Algorithmic integration Kenneth Adam Miller
2023-01-18 8:30 ` Nicolas Ratier
2023-01-18 9:05 ` Kakadu
2023-01-19 7:13 ` Markus Mottl
2023-01-19 8:36 ` [Caml-list] Unsubscribe - " Nicolas Höck
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox