|
" Interval methods for solving nonlinear constraint satisfaction, optimization and similar problems : "
Bartłomiej Jacek Kubica.
Document Type
|
:
|
BL
|
Record Number
|
:
|
861092
|
Main Entry
|
:
|
Kubica, Bartłomiej Jacek
|
Title & Author
|
:
|
Interval methods for solving nonlinear constraint satisfaction, optimization and similar problems : : from inequalities systems to game solutions /\ Bartłomiej Jacek Kubica.
|
Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2019.
|
Series Statement
|
:
|
Studies in computational intelligence,; volume 805
|
Page. NO
|
:
|
1 online resource (xviii, 156 pages) :: illustrations
|
ISBN
|
:
|
3030137953
|
|
:
|
: 9783030137953
|
|
:
|
3030137945
|
|
:
|
9783030137946
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
Contents
|
:
|
Introduction -- Interval calculus -- Bounding derivatives by algorithmic differentiation -- Branch-and-bound-type methods -- Solving equations and inequalities systems using interval B&BT methods -- Solving quantified problems using interval methods -- Parallelization of B&BT algorithms.
|
Abstract
|
:
|
This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.
|
Subject
|
:
|
Differential equations, Nonlinear.
|
Subject
|
:
|
Interval analysis (Mathematics)
|
Subject
|
:
|
Differential equations, Nonlinear.
|
Subject
|
:
|
Interval analysis (Mathematics)
|
Dewey Classification
|
:
|
511/.42
|
LC Classification
|
:
|
QA297.75
|
| |