Centrum Wiskunde & Informatica

From exponential coordinates to bicovariant differential calculi on matrix quantum groups Tech Report

N.W. van den Hijligenberg and R. Martini

January 1995
Logging in a computational steering environment Tech Report

J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1995
Manual of spIds, a software package for parameter identification in dynamic systems Tech Report

C.T.H. Everaars (Kees), P.W. Hemker (Piet) and W.J.H. Stortelder (Walter)

January 1995
The bakery protocol : a comparitive case-study in formal verification Tech Report

W.O.D. Griffioen and H.P. Korver

January 1995
Proof-checking an audio control protocol with LP Tech Report

W.O.D. Griffioen

January 1995
Entropy conditions for heterogeneity induced shocks in two-phase flow problems Tech Report

J. Molenaar (Gijs)

January 1995
Experiences with sparse matrix solvers in parallel ODE software Tech Report

J.G. Blom (Joke) and J.J.B. de Swart (Jacques)

January 1995
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning Tech Report

H. Herre, J.O.M. Jaspars and G. Wagner

January 1995

Previous

Next