Search Results - ((abstract OR abstrakty) OR abstracts) and automatic computability and recursion theory

Recursion leads to automatic variable blocking for dense linear-algebra algorithms by Gustavson, F. G.

“…Gustavson describes some modifications of the LAPACK dense linear-algebra algorithms using recursion, which leads to automatic variable blocking…”
Get full text

Directed Binary Hierarchies and Directed Ultrametrics by Lerman, I-C., Kuntz, P.

“…Directed binary hierarchies have been introduced in order to give a graphical reduced representation of a family of association rules. This type of structure…”
Get full text

Structural Classification Analysis of Three-Way Dissimilarity Data by Vicari, Donatella, Vichi, Maurizio

“…The paper presents a methodology for classifying three-way dissimilarity data, which are reconstructed by a small number of consensus classifications of the…”
Get full text

On Safety of Unary and Nonunary IFP Operators by Dudakov, S. M.

“… Therefore, the problem under investigation is directly related to database theory. The problem arises from the fact that if recursion and universe relations, e.g…”
Get full text

Proof technology and computation by Schwichtenberg, Helmut, Spies, Katharina

“…Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and…”
Get full text