Numerica: A Modeling Language for Global Optimization

@inproceedings{Hentenryck1997NumericaAM,
  title={Numerica: A Modeling Language for Global Optimization},
  author={Pascal Van Hentenryck and Laurent D. Michel and Yves Deville},
  booktitle={IJCAI},
  year={1997}
}
  • Pascal Van Hentenryck, Laurent D. Michel, Yves Deville
  • Published in IJCAI 1997
  • Mathematics, Computer Science
  • Part 1 Introduction: nonlinear programming local methods global methods Numerica outline. Part 2 A tour of Numerica: getting started generic constraints constants ranges input parameters aggregation operators functions sets unconstrained optimization constrained optimization local constraint solving local unconstrained optimization soft constraints real constraints and uncertain data display accuracy. Part 3 The meaning of Numerica: interval analysis constraint solving unconstrained… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 246 CITATIONS

    A Comparison of Software Packages for Verified Linear Programming

    VIEW 6 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    New interval partitioning algorithms for global optimization problems.

    VIEW 7 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Deterministic global optimization using interval constraint propagation techniques

    VIEW 5 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Efficient solving of quantified inequality constraints over the real numbers

    VIEW 12 EXCERPTS
    CITES METHODS, BACKGROUND & RESULTS
    HIGHLY INFLUENCED

    Symbolic-interval cooperation in constraint programming

    VIEW 11 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    A Box-Consistency Contractor Based on Extremal Functions

    VIEW 7 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Improving inter-block backtracking with interval Newton

    VIEW 8 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1996
    2020

    CITATION STATISTICS

    • 33 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 21 REFERENCES

    Interval Analysis

    • R. E. Moore
    • PrenticeHal l , Englewood Cliffs, NJ
    • 1966
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Experiments using interval analysis for solving a circuit design problem

    VIEW 2 EXCERPTS
    HIGHLY INFLUENTIAL

    A faster PSPACE algorithm for existential theory of reals

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Numerical methods for unconstrained optimization and nonlinear equations

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Safe starting regions by fixed points and tightening

    VIEW 2 EXCERPTS

    Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken

    VIEW 2 EXCERPTS

    Direct Computation of A l l Singular Points of Chemical Engineering Models Using Interval Methods

    • Gehrke, Marquardt, 1996 V. Gehrke, W. Marquardt
    • In International Conference on Interval Methods and Computer Aided Proofs in Science and Engineer-
    • 1996