This survey covers the state of the art of techniques for solving general-purpose constrained
global optimization problems and continuous constraint satisfaction problems, with …

We present fundamental geometric data structures and algorithms offered by CGAL, the
Computational Geometry Algorithms Library. As geometry is ubiquitous this library is used …

A major challenge facing software libraries for scientific computing is the ability to provide
adequate flexibility to meet sophisticated, diverse, and evolving application requirements …

Generic programming has emerged as an important technique for the development of highly
reusable and efficient software libraries. In C++, generic programming is enabled by the …

Haskell's type classes allow ad-hoc overloading, or type-indexing, of functions. A natural
generalisation is to allow type-indexing of data types as well. It turns out that this idea …

As conventional hydrocarbon resources dwindle, and environmentally-driven markets start
to form and mature, investments are expected to shift into the development of novel …

Particle systems have been widely employed to animate deformable objects. In order to
achieve real time capable systems often simplifications have been made to reduce the …

The Standard Template Adaptive Parallel Library (STAPL) is a parallel programming
infrastructure that extends C++ with support for parallelism. It includes a collection of …

In this paper, a generic uniform scallop tool path generation method for five-axis machining
is presented. Unlike the conventional methods which are based on the local surface …

We develop and analyze an algorithmic framework and library of parallel automatically
differentiable data-types written in the C++ programming language. In addition to …