Centrum Wiskunde & Informatica

Incomplete line LU for discretized coupled PDE's as preconditioner in Bi-CGSTAB Tech Report

P.M. de Zeeuw (Paul)

January 1992
Dynamic modal predicate logic Tech Report

D.J.N. van Eijck (Jan) and G. Cepparello (Giovanna)

January 1992
Specification and generation of a $ lambda $ -calculus environment Tech Report

A. van Deursen (Arie)

January 1992
A brief survey of zero-knowledge proofs Tech Report

H. Shin

January 1992
Regular processes with relative time and silent steps Tech Report

W.J. Fokkink (Wan)

January 1992
Origin tracking Tech Report

A. van Deursen (Arie), P. Klint (Paul) and F. Tip (Frank)

January 1992
An architecture for interactive raster graphics Tech Report

A.A.M. Kuijk (Fons), E.H. Blake and P.J.W. ten Hagen (Paul)

January 1992
Faster Phong shading Tech Report

E.H. Blake, V.C.J. Disselkoen and A.A.M. Kuijk (Fons)

January 1992

Previous

Next