The task of perfectly squaring a given rectangle involves finding out a (possibly non-existent) finite set of squares of different sizes covering it without overlapping or ...

This book presents complex numbers in a state-of-the-art computational environment. Its innovative approach also offers insights into areas too often neglected in a student ...

Abstract Intervals have been considered by mathematicians for a while, in the study of numerical functions and numerical analysis, But only in the 1960s Moore had the Idea ...

This non-traditional introduction to the mathematics of scientific computation describes the principles behind the major methods, from statistics, applied mathematics, ...

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive ...

Manuscript from 2003, revised 2010 Abstract: Buchberger and Kandri-Rody and Kapur defined a strong Gröbner basis for a polynomial ideal over a Euclidean domain in a way ...

The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6 · 1023 objects with up to 12 derivatives of ...

The asymmetric multistrain SI model is studied within a history-based framework. The governing differential equation in set notation is solved by making use of the powerful ...

In this study, aeroelastic analysis of a plate subjected to the external supersonic airflow is carried out. A 3-D rectangular plate element of variable thickness based on ...

This notebook presents a new approach for surface reconstruction from point clouds. A fast algorithm with zero complexity to fit a plane to point clouds in Total Least ...