✦ LIBER ✦

A computer checked algebraic verification of a distributed summation algorithm

✍ Scribed by Jan Friso Groote; François Monin; Jan Springintveld

Publisher: Springer
Year: 2005
Tongue: English
Weight: 217 KB
Volume: 17
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-004-0052-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic specification and proof of a d

Algebraic specification and proof of a distributed recovery algorithm

✍ He Jifeng; C. A. R. Hoare 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 894 KB

Algorithms for reducing computation time

Algorithms for reducing computation time of a product-summation (Technical note)

✍ E.A. Onibere; J.O. Asalor 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 309 KB

Error analysis of a pairwise summation a

Error analysis of a pairwise summation algorithm to compute the sample variance

✍ Jesse L. Barlow 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 274 KB

A semi-inverse algorithm in application

A semi-inverse algorithm in application of computer algebra

✍ Dai Shiqiang; Zang Hongming 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 339 KB

Capacity of algebraic extensions of a mo

Capacity of algebraic extensions of a model of estimate-computing algorithms

✍ V.L. Matrosov 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 687 KB

A Generalized Euclidean Algorithm for Co

A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties

✍ Michael Kalkbrener 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 628 KB

We present an algorithm that computes an unmixed-dimensional decomposition of an arbitrary algebraic variety \(V\). Each \(V_{i}\) in the decomposition \(V=V_{1} \cup \ldots \cup V_{m}\) is given by a finite set of polynomials which represents the generic points of the irreducible components of \(V_