Skip to content
MIT Press
  • MIT Press
  • Books
    • Column
      • View all subjects
      • New releases
      • Catalogs
      • Textbooks
      • Series
      • Awards
    • Column
      • Authors
      • Distributed presses
      • The MIT Press Reader
      • Podcasts
      • Collections
    • Column
      • MIT Press Direct

        MIT Press Direct is a distinctive collection of influential MIT Press books curated for scholars and libraries worldwide.

        • Learn more
  • Journals
    • column
      • Journals all topics
      • Economics
      • International Affairs, History, & Political Science
    • column
      • Arts & Humanities
      • Science & Technology
      • Open access
    • column
      • MIT Press journals

        MIT Press began publishing journals in 1970 with the first volumes of Linguistic Inquiry and the Journal of Interdisciplinary History. Today we publish over 30 titles in the arts and humanities, social sciences, and science and technology.

        • Learn more
  • Open Access
    • column
      • Open access at the MIT Press
      • Open access initiatives
      • Direct to Open
      • MIT Open Publishing Services
    • column
      • Open access books
      • Open access journals
      • MIT Press Open Access @ PubPub
    • Column
      • Open access

        The MIT Press has been a leader in open access book publishing for over two decades, beginning in 1995 with the publication of William Mitchell’s City of Bits, which appeared simultaneously in print and in a dynamic, open web edition.

        • Learn more
  • Info for
    • column
      • Current authors
      • Prospective authors
      • Instructors
    • column
      • Media inquiries
      • Booksellers
      • Rights and permissions
    • column
      • Resources

        Collaborating with authors, instructors, booksellers, librarians, and the media is at the heart of what we do as a scholarly publisher. If you can’t find the resource you need here, visit our contact page to get in touch.

        • Learn more
  • Give
  • About
    • Column
      • About
      • Jobs
      • Internships
      • MIT Press Editorial Board
      • MIT Press Management Board
      • Our MIT story
    • Column
      • Catalogs
      • News
      • Events
      • Conferences
      • Bookstore
    • Column
      • The MIT Press

        Established in 1962, the MIT Press is one of the largest and most distinguished university presses in the world and a leading publisher of books and journals at the intersection of science, technology, art, social science, and design.

        • Learn more
  • Contact Us
Newsletter
MIT Press
Newsletter

Books

    Authors

      On the site

        • Home
        • computers
        • Numerica
        Numerica

        Numerica

        A Modeling Language for Global Optimization

        by Pascal Van Hentenryck, Laurent Michel and Yves Deville

        • Paperback

        228 pp., 8 x 9 in,

        • Paperback
        • 9780262720274
        • Published: April 25, 1997
        • Publisher: The MIT Press

        $30.00

        • MIT Press Bookstore
        • Penguin Random House
        • Amazon
        • Barnes and Noble
        • Bookshop.org
        • Indiebound
        • Indigo
        • Books a Million

        Other Retailers:

        • MIT Press Bookstore
        • Penguin Random House
        • Amazon
        • Barnes and Noble
        • Bookshop.org
        • Indiebound
        • Indigo
        • Books a Million
        • Amazon.co.uk
        • Blackwells
        • Bookshop.org
        • Foyles
        • Hive
        • Waterstones
        • Request permissions
        • Description
        • Author(s)
        • Praise

        Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global optimization that makes it possible to state nonlinear problems in a form close to the statements traditionally found in textbooks and scientific papers. The constraint-solving algorithm of Numerica is based on a combination of traditional numerical methods such as interval and local methods, and constraint satisfaction techniques. This comprehensive presentation of Numerica describes its design, functions, and implementation. It also discusses how to use Numerica effectively to solve practical problems and reports a number of experimental results. A commercial implementation of Numerica is available from ILOG under the name ILOG Numerica.

        Pascal Van Hentenryck is Professor in the Department of Computer Science at Brown University. He is the author or editor of several MIT Press books.

        Laurent Michel is Assistant Professor in the Department of Computer Science and Engineering at the University of Connecticut.

        This book describes an exciting development in computer science. Itdescribes a system which allows non-mathematicians to solve difficultnumerical problems using interval reasoning. The advanced intervalreasoning techniques used by *Numerica* enable it to handle non-linearconstraints and optimization with many benefits. As such this book isof considerable interest to a wide audience.

        Mark G. Wallace, IC-Parc, William Penney Laboratory, ImperialCollege, London

        Related Books

        Programming Your GPU with OpenMP
        Program Proofs
        Essentials of Compilation
        Structure and Interpretation of Computer Programs
        An Experiential Introduction to Principles of Programming Languages
        Principles of Abstract Interpretation
        Introduction to Computation and Programming Using Python
        Circuit Design with VHDL
        The Reasoned Schemer
        Thinking as Computation
        logo
        • Column 1
          • Books
          • Journals
          • The MIT Press Reader
          • Podcasts
          • Imprints
        • Column 2
          • The MIT Press
            • About
            • Bookstore
            • Catalogs
            • Conferences
            • Press Editorial Board
            • Jobs
            • Internships
            • Press Management Board
            • News
            • Staff
            • Code of Conduct
            • Give
        • Column 3
          • Site Help
            • Accessibility
            • FAQ
            • Our eBooks
            • Privacy Policy
            • Terms of Use
        • Column 4
          • Resources
            • Current Authors
            • Prospective Authors
            • Booksellers
            • Instructors
            • Rights and Permissions
            • Media Inquiries
            • MIT Discounts
        • Column 5
          • Digital
            • CogNet
            • Digital Partners and Products
            • Knowledge Futures Group
            • MIT Press Direct
        • Global

          One Broadway 12th Floor Cambridge, MA 02142

        • Contact

        Connect

        © 2023 MIT Press. All Rights Reserved.

        Powered by Supadu