From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DFbwPm011095 for ; Mon, 13 Feb 2012 16:37:58 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai8BAPQtOU9KfVIqimdsb2JhbABDhRCqcwgiAQEBCgkNBxIGI4FyAQEBBBICDx0BNwIDDAEFBRIGCRYLAgIJAwIBAgEiAQUBDg4TBgIBAR6HXQabfwqLJoM7hHqJMgIFC4tCFggFEwNAASAGg2BZBiCCB4EWBI5JgRuFToVagTpShj89gVOCMA X-IronPort-AV: E=Sophos;i="4.73,412,1325458800"; d="vcf'?scan'208";a="131169258" Received: from mail-ww0-f42.google.com ([74.125.82.42]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Feb 2012 16:37:45 +0100 Received: by wgbgn7 with SMTP id gn7so2355211wgb.3 for ; Mon, 13 Feb 2012 07:37:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:x-enigmail-version:content-type; bh=eKDLCaWhvBn055DIiMaVDrgOlFSbc5aTPjm4DmyYGfM=; b=gAc75lItAi7iECxqXRsgHGntobdkeAL7Ne5v/q42G5d8OQFCX05nYm9zLFa+ck2Mb/ SdiaD5adIMs38LPIryzgkm3f2l1cJh9SIfUk1ClFEf4ox3kHIvi7hSW3H5BMHNwWpMKf lNKV3+Xo0HOekgQVCxzji8+pXLM8WxIiec4XM= Received: by 10.180.14.73 with SMTP id n9mr14002655wic.16.1329147465311; Mon, 13 Feb 2012 07:37:45 -0800 (PST) Received: from [193.55.250.228] (chercheurs2-228.saclay.inria.fr. [193.55.250.228]) by mx.google.com with ESMTPS id dr5sm47797981wib.0.2012.02.13.07.37.43 (version=SSLv3 cipher=OTHER); Mon, 13 Feb 2012 07:37:44 -0800 (PST) Sender: Fabrice Le Fessant Message-ID: <4F392E46.2090607@inria.fr> Date: Mon, 13 Feb 2012 16:37:42 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.26) Gecko/20120131 Lightning/1.0b2 Thunderbird/3.1.18 MIME-Version: 1.0 To: caml-list@inria.fr References: <4F392146.2000801@irit.fr> In-Reply-To: <4F392146.2000801@irit.fr> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------000800080205090700050903" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] Interval programming library This is a multi-part message in MIME format. --------------000800080205090700050903 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hi, Thanks for your contribution ! Could you create a web page with all this information ? When we want to advertise the existence of such a package (from the hump, for example), it is better to link to a web page instead of directly to the source archive, in case the archive is updated, or something like that. --Fabrice On 02/13/2012 03:42 PM, Jean-Marc Alliot wrote: > This is an interval computation library for ocaml. The download link is : > http://www.alliot.fr/code/interval.tgz > > This library uses assembly code to compute all operations with proper > roundings (high/low), and currently ONLY works on intel processors. > The package has been developped for linux systems but should probably > work on windows distribution with a few tweaks. > > Documentation is available in the doc/ directory in html, pdf and dvi > formats. It is extremely wise to read the whole documentation, even if > you intend to only use the interval module. > > To build the library just type "make" in the main directory. > > Tests are available in the TESTS/ directory. They are mainly for > debugging purpose and quite complicated. You may run them to > check that everything is working properly for your machine. > The test program runs also a speed test program for your > particular architecture. > > Examples are available in the EXAMPLES/ directory. There is a > B_AND_B sub-directory with an example of a branch-and-bound algorithm > that uses interval arithmetics for function optimization (the > example is for the Griewank function, but you can substitute > any function you like). > > > All bug reports should be sent to > jean-marc.alliot@irit.fr > gottelan@recherche.enac.fr > > Happy interval programming... > > --------------000800080205090700050903 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;P2P & OCaml adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------000800080205090700050903--