The Hilbert Class Library (HCL) is a collection of C++ classes which apply object-oriented programming principles to implement mathematical objects such as vectors, linear and nonlinear operators, and functions. HCL provides a convenient environment for implementing algorithms for optimization and linear algebra at a natural, abstract level, without reference to the implementations of data structures, simulators, and other complex, application-specific details. Because coordinate representations, data storage formats, and other domain-specific idiosyncrasies are not entangled in these implementations, the resulting code is reusable across applications of widely varying size and structure. The design of HCL also results in several very impor...
This report describes the design of a C++ library and programming discipline for research projects t...
We describe the design of ScaLAPACK++, an object oriented C++ library for implementing linear algebr...
Hardware Description Languages (HDL) are used today to describe circuits at all levels
AbstractAccording to the Object-Oriented Programming paradigm, a computer program should be organize...
The object-oriented programming paradigm can be used to overcome the incompatibilities between off-t...
We address the low popularity of C++ in computational science by introducing a set of orthogonal lib...
In this chapter we discuss how object-oriented techniques can be applied in the design and implemen...
Combination of object-oriented programming with automatic differentiation techniques facilitates the...
AbstractThe HLCL workshops are intended to bring together researchers involved in the design, develo...
This thesis describes a flexible framework for abstract numerical algorithms which treats algorithms...
We present a new C++ library design for linear algebra computations on high performance architecture...
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). It is implemen...
This thesis studies the formalisation and execution of Linear Algebra algorithms in Isabelle/HOL, an...
In this report we provide an overview of the open source Armadillo C++ linear algebra library (matri...
A study of the existing linear algebra libraries that you can use from C++Une étude des bibliothèque...
This report describes the design of a C++ library and programming discipline for research projects t...
We describe the design of ScaLAPACK++, an object oriented C++ library for implementing linear algebr...
Hardware Description Languages (HDL) are used today to describe circuits at all levels
AbstractAccording to the Object-Oriented Programming paradigm, a computer program should be organize...
The object-oriented programming paradigm can be used to overcome the incompatibilities between off-t...
We address the low popularity of C++ in computational science by introducing a set of orthogonal lib...
In this chapter we discuss how object-oriented techniques can be applied in the design and implemen...
Combination of object-oriented programming with automatic differentiation techniques facilitates the...
AbstractThe HLCL workshops are intended to bring together researchers involved in the design, develo...
This thesis describes a flexible framework for abstract numerical algorithms which treats algorithms...
We present a new C++ library design for linear algebra computations on high performance architecture...
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). It is implemen...
This thesis studies the formalisation and execution of Linear Algebra algorithms in Isabelle/HOL, an...
In this report we provide an overview of the open source Armadillo C++ linear algebra library (matri...
A study of the existing linear algebra libraries that you can use from C++Une étude des bibliothèque...
This report describes the design of a C++ library and programming discipline for research projects t...
We describe the design of ScaLAPACK++, an object oriented C++ library for implementing linear algebr...
Hardware Description Languages (HDL) are used today to describe circuits at all levels