Pascal van Hentenryck  Home/Search
Context Related
Links: DBLP | brown.edu/~pvh/numerica.ps brown.edu/people/pvh/numerica.ps mat.univie.ac.at/~neum/gl...Hen98.ps.gz 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 Problem Downloading? From: brown.edu/~pvh/ (more) From: brown.edu/people/pvh/home (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Many science and engineering applications require the user to find solutions to systems of nonlinear constraints over real numbers or to optimize a nonlinear function subject to nonlinear constraints. This includes applications such the modeling of chemical engineering processes and of electrical circuits, robot kinematics, chemical equilibrium problems, and design problems (e.g., nuclear reactor design). The field of global optimization is the study of methods to find all... (Update)
Cited by: More
A Rigorous Global Filtering Algorithm for Quadratic.. - LEBBAH, MICHEL, RUEHER (2005) (Correct)
Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
Consistency Techniques for Linear Arithmetic and Functional.. - Zhang (1998) (Correct)
Active bibliography (related documents): More All
0.5: Helios: A Modeling Language for Nonlinear Constraint.. - Van Hentenryck, Michel (1995) (Correct)
0.5: Helios: A Mathematical Modeling Language for Newton - Michel, Van Hentenryck (1995) (Correct)
0.5: A Declarative Modeling Framework that Integrates Solution.. - Hooker, Kim, Ottosson (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.7: Book review for Numerica: A Modeling Language for.. - van Hentenryck.. (Correct)
0.2: Safe and Tight Linear Estimators - For Global Optimization (Correct)
0.2: Regrets Only! - Online Stochastic Optimization (Correct)
Related documents from co-citation: More All
16: Applying Interval Arithmetic to Real (context) - Benhamou, Older - 1997
16: Interval Analysis (context) - Moore - 1966
15: Van Hentenryck (context) - Benhamou, McAllester - 1994
BibTeX entry: (Update)
P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge, MA, 1997. http://citeseer.ist.psu.edu/vanhentenryck97numerica.html More
@book{ vanhentenryck97numerica,
author = "Pascal Van Hentenryck and Laurent Michel and Yves Deville",
title = "{Numerica}: {A} Modeling Language for Global Optimization",
publisher = "The MIT Press",
address = "Cambridge, MA, USA",
isbn = "0-262-72027-2",
pages = "xvii + 210",
year = "1997",
url = "citeseer.ist.psu.edu/vanhentenryck97numerica.html" }
Citations (may not include all citations):702 Consistency in Networks of Relations (context) - Mackworth - 1977
650 Numerical Methods for Unconstrained Optimization and Nonline.. (context) - Dennis, Schnabel - 1983
384 Interval Analysis (context) - Moore - 1966 ACM
307 Networks of Constraints : Fundamental Properties and Applica.. (context) - Montanari - 1974
262 Global Optimization Using Interval Analysis (context) - Hansen - 1992
207 Interval Methods for Systems of Equations (context) - Neumaier - 1990
185 The Complexity of Some Polynomial Network Consistency Algori.. (context) - Mackworth, Freuder - 1985
93 Solving Polynomial Systems Using Continuation for Scientific.. (context) - Morgan - 1987
57 Some Algebraic and Geometric Computations in PSPACE (context) - Canny - 1988
53 Integer Programming (context) - Garfinkel, Nemhauser - 1972 ACM
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. - 1997 ACM
36 Preconditioners for the Interval Gauss-Seidel Method (context) - Kearfott - 1990 ACM
32 Numerica: a Modeling Language for Global Optimization - Van Hentenryck, Michel et al. - 1997 DBLP
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 Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehler.. (context) - Krawczyk - 1969
28 Verification Methods for Dense and Sparse Systems of Equatio.. (context) - Rump - 1988
23 An Interval Newton Method (context) - Hansen, Greenberg - 1983
19 A Review of Techniques in the Verified Solution of Constrain.. - Kearfott - 1997
15 Experiments Using Interval Analysis for Solving a Circuit De.. (context) - Ratschek, Rokne - 1993
12 Strategic Directions in Constraint Programming (context) - Van Hentenryck, Saraswat - 1996 ACM DBLP
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 et al. - 1997
7 LargeScale Behaviour of Junction Transistors (context) - Ebers, Moll - 1954
2 Helios: A Modeling Language for Global Optimization and its .. (context) - Michel, Van Hentenryck - 1997 DBLP
1 Powerful 2-part Program for Solution of Nonlinear Simultaneo.. (context) - Cutteridge - 1971
1 Direct Computation of All Singular Points of Chemical Engine.. (context) - Gehrke, Marquardt - 1996
1 A Faster PSPACE Algorith for the Existential Theory of the R.. (context) - Renegar - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.brown.edu/~pvh/): More
Consistency Techniques in Ordinary Differential Equations - Deville, Janssen, Van.. (1998) (Correct)
Localizer: A Modeling Language for Local Search - Michel, van Hentenryck (1997) (Correct)
Constraint Satisfaction over Connected Row Convex.. - Deville, Barette, Van.. (1997) (Correct)
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