From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BE1BD7EC0B for ; Wed, 16 Mar 2016 11:51:03 +0100 (CET) IronPort-PHdr: 9a23:qylK1RyO2njXNMnXCy+O+j09IxM/srCxBDY+r6Qd0eweIJqq85mqBkHD//Il1AaPBtWLraoewLKH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U1578j7H60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGxmkql+rIsYDe26Ivx5HvRkC2EtOmUxocnqrgXrTA2V53JaXH9FvABPBl3j7RXhFr38uSj3rKIp3iieJov8QLs3VC6K5aZsUQLhjjtBKjg4tWHai8B9iKhWuh3nqxEpkN2cW52cKPcrJvCVRtgdX2cUA55c Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nils.becker@bioquant.uni-heidelberg.de; spf=Pass smtp.mailfrom=gclci-caml-list@m.gmane.org; spf=Pass smtp.helo=postmaster@plane.gmane.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DeJQAZOulWdwPlW1BehBkqRFIBqW13kGoOgTaFYjwQAQEBAQEBAQEQARczL4Itgj6BCwImAhItFBkIAQGIIwQBAQifVI9dkAN8hSKJTII0gToFh0GLQ4RNgVCEH4lhAWCGfYVYjn83gWEBAQEHAQEBAYIiaQGKYgEBAQ X-IPAS-Result: A0DeJQAZOulWdwPlW1BehBkqRFIBqW13kGoOgTaFYjwQAQEBAQEBAQEQARczL4Itgj6BCwImAhItFBkIAQGIIwQBAQifVI9dkAN8hSKJTII0gToFh0GLQ4RNgVCEH4lhAWCGfYVYjn83gWEBAQEHAQEBAYIiaQGKYgEBAQ X-IronPort-AV: E=Sophos;i="5.24,344,1454972400"; d="scan'208";a="208079185" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 16 Mar 2016 11:51:03 +0100 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1ag92V-0006fH-Ug for caml-list@inria.fr; Wed, 16 Mar 2016 11:50:56 +0100 Received: from bqdyn253_067.bioquant.uni-heidelberg.de ([129.206.253.147]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 16 Mar 2016 11:50:55 +0100 Received: from nils.becker by bqdyn253_067.bioquant.uni-heidelberg.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 16 Mar 2016 11:50:55 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Nils Becker Date: Wed, 16 Mar 2016 11:50:49 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: bqdyn253_067.bioquant.uni-heidelberg.de X-Mozilla-News-Host: news://news.gmane.org:119 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 X-Validation-by: nils.becker@bioquant.uni-heidelberg.de Subject: [Caml-list] automatic differentiation hi, i was looking for an AD library for ocaml. what i found was this: http://wmfarr.blogspot.de/2006/10/automatic-differentiation-in-ocaml.html is this the state of the art of what's available today? thanks for any pointers!