๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Computer algebra and logic programming

โœ Scribed by Bruce Char

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
251 KB
Volume
4
Category
Article
ISSN
0167-9260

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Colloquim on algebra, combinatorics and
Colloquim on algebra, combinatorics and logic in computer science
๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 42 KB

September 12-16, 1983; at Gy6r, Hungary 'The J~nos Bolyai Mathematical Society intends to organize a "Colloquium on Algebra, Combinatorics and Logic in Computer Science" in the period 12-16, September 1983 at GySr (Hungary). The aim of the colloquium is to provide ground for the exchange of informat

Smile: a computer program for partitioni
Smile: a computer program for partitioning of programmed logic arrays
โœ Giovanni De Micheli; Mauro Santomauro ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 756 KB

A geometric algorithm for performing bending operations on polyhedral objects is described. The hypotheses, conditions and model of the bending process are defined, and then the mathematical model of bending is developed for each element of the boundary representation of a polyhedron. The algorithm

A Para-Functional Programming Interface
A Para-Functional Programming Interface for a Parallel Computer Algebra Package
โœ WOLFGANG SCHREINER ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 676 KB

We describe the application of pD, a small para-functional language that we developed as a high-level programming interface for the parallel computer algebra package PACLIB. pD provides several facilities to express parallel algorithms in a flexible way on different levels of abstraction. The compil