From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 54131BBAF for ; Thu, 7 May 2009 07:13:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEAALsKAkrUnwdkjWdsb2JhbACCH5RlAQEBAQkJCgkPBrhJhAMF X-IronPort-AV: E=Sophos;i="4.40,307,1238968800"; d="scan'208";a="25749674" Received: from relay.pcl-ipout02.plus.net ([212.159.7.100]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 May 2009 07:13:51 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArMGADILAkrUnw4S/2dsb2JhbACCH81rhAMF Received: from pih-relay05.plus.net ([212.159.14.18]) by relay.pcl-ipout02.plus.net with ESMTP; 07 May 2009 06:13:50 +0100 Received: from [87.112.4.70] (helo=leper.local) by pih-relay05.plus.net with esmtp (Exim) id 1M1vva-00040o-FF for caml-list@inria.fr; Thu, 07 May 2009 06:13:50 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@inria.fr Subject: Symbolic integration Date: Thu, 7 May 2009 06:21:11 +0100 User-Agent: KMail/1.9.9 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200905070621.11236.jon@ffconsultancy.com> X-Plusnet-Relay: e04a0bccfd9bf85eed118b6287a34572 X-Spam: no; 0.00; ocaml:01 www-sop:01 frog:98 symbolic:01 symbolic:01 implemented:02 algorithms:03 manuel:04 i'd:06 inria:06 written:07 wondering:09 ltd:87 but:14 www:84 I'd like to have a play with symbolic integration and was wondering if anyone had implemented one of the algorithms in OCaml? I found a tiny implementation written in Maple here (but I do not have Maple): http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/ -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e