Laurent Michel, Pascal Van Hentenryck  Home/Search
Context
Related
| brown.edu/pub/techreport...cs9532.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brown.edu/publications...CS9532 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Numerous applications in science and engineering requires nonlinear constraint solving and optimization over real numbers. Helios is a mathematical modeling language designed to express these applications in a form close to traditional statements displayed in scientific papers and textbooks. Helios is compiled into Newton, a constraint logic programming language over nonlinear constraints which is one of the most efficient tools for the global solution of these problems. The paper illustrates... (Update)
Similar documents (at the sentence level):
33.7%: Helios: A Modeling Language for Nonlinear Constraint.. - Van Hentenryck, Michel (1995) (Correct)
6.9%: Newton: Constraint Programming over Nonlinear Real Constraints - Van Hentenryck, Michel (1997) (Correct)
Active bibliography (related documents): More All
0.7: Constraint Programming over Nonlinear Constraints - Van Hentenryck, Michel.. (Correct)
0.5: Solving Polynomial Systems Using a Branch and Prune.. - Van Hentenryck.. (1997) (Correct)
0.5: Numerica: a Modeling Language for Global Optimization - van Hentenryck (1997) (Correct)
Similar documents based on text: More All
0.6: Usability and Efficiency. The Helios Approach to.. - Borälv, Göransson, al. (Correct)
0.4: Localizer++: An Open Library for Local Search - Michel, Van Hentenryck (2001) (Correct)
0.3: Constraint-Based Combinators for Local Search - Van Hentenryck, Michel, Liu (2004) (Correct)
BibTeX entry: (Update)
@techreport{ michel95helios,
author = "Laurent Michel and Pascal Van Hentenryck",
title = "Helios: {A} Mathematical Modeling Language for Newton",
number = "CS-95-32",
year = "1995",
url = "citeseer.ist.psu.edu/michel95helios.html" }
Citations (may not include all citations):702 Consistency in Networks of Relations (context) - Mackworth - 1977
384 Interval Analysis (context) - Moore - 1966
307 Networks of Constraints : Fundamental Properties and Applica.. (context) - Montanari - 1974
262 Global Optimization Using Interval Analysis (context) - Hansen - 1992
221 Numerical Optimization of Computer Models (context) - Schwefel - 1981
218 AMPL: A Modeling Language for Mathematical Programming (context) - Fourer, Gay et al. - 1993
207 Interval Methods for Systems of Equations (context) - Neumaier - 1990
101 Test Examples for Nonlinear Programming Codes (context) - Hock, Schittkowski - 1981
93 Solving Polynomial Systems Using Continuation for Scientific.. (context) - Morgan - 1987
71 Testing Unconstrained Optimization Software (context) - Garbow, Hillstrom - 1981
59 Homotopies Exploiting Newton Polytopes For Solving Sparse Po.. (context) - Verschelde, Verlinden et al. - 1994
41 Bounding Solutions of Systems of Equations Using Interval An.. (context) - Hansen, Sengupta - 1981
39 Solving Polynomial Systems Using a Branch and Prune Approach - Van Hentenryck, McAllister et al. - 1995
36 Preconditioners for the Interval Gauss-Seidel Method (context) - Kearfott - 1990
30 Safe Starting Regions by Fixed Points and Tightening (context) - Hong, Stahl - 1994
29 A Review of Preconditioners for the Interval Gauss-Seidel Me.. - Kearfott - 1991
28 Verification Methods for Dense and Sparse Systems of Equatio.. (context) - Rump - 1988
28 Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehler.. (context) - Krawczyk - 1969
23 An Interval Newton Method (context) - Hansen, Greenberg - 1983
20 Numerical Solution of Nonlinear Equations (context) - More, Cosnard - 1979
20 Computing All Solutions To Polynomial Systems Using Homotopy.. (context) - Morgan - 1987
19 A Review of Techniques in the Verified Solution of Constrain.. - Kearfott - 1994
18 Chemical Equilibrium Systems as Numerical test Problems (context) - Meintjes, Morgan - 1990
18 Safe Starting Regions for Iterative Methods (context) - Moore, Jones - 1977
17 Box-Splitting Strategies for the Interval Gauss-Seidel Step .. - Ratz - 1994
12 Numerical Toolbox for Verified Computing I -- Basic Numerica.. (context) - Hammer, Hocks et al. - 1993
10 Newton: Constraint Programming over Nonlinear Constraints - Van Hentenryck, Michel - 1996
5 The Tunnelling Algorithm for the Global Minimization of Func.. (context) - Levy, Montalvo - 1985
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC