𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A Generalized Euclidean Algorithm for Co
✍ 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_