×

Found 52 Documents (Results 1–52)

On the correctness of a distributed memory Gröbner basis algorithm. (English) Zbl 1503.68308

Kirchner, Claude (ed.), Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16–18, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 690, 77-91 (1993).
MSC:  68W30 13P10 68W10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field