Publications from 2025

De profeet, de missionaris en de handelsreiziger Book Chapter

R.D. Gill (Richard) and W. Mettrop (Wouter)

Consultaties aan de Statistische Afdeling van het Mathematisch Centrum Book Chapter

W. Mettrop (Wouter)

Management of stratified databases Tech Report

K.R. Apt (Krzysztof) and J.-M. Pugin

Vertex operators in mathematics and physics Article

M. (tr.) Hazewinkel (Michiel)

Geometry of moments for diffeomorphism groups Tech Report

A.A. Kirillov (Alexandre) and Golenisheva-Kutuzova (M.I.)

Technical word processing and Euromath Article

M. Hazewinkel (Michiel)

Appraising fairness in languages for distributed programming In Proceedings

K.R. Apt (Krzysztof), N. Francez and S. Katz

Maintenance of stratified databases viewed as a belief revision system In Proceedings

K.R. Apt (Krzysztof) and J.-M. Pugin

Encyclopaedia of Mathematics Book

Optimization of the real level 2 BLAS on the CYBER 205 Book Chapter

W.M. Lioen (Walter), M. Nool (Margreet) and H.J.J. te Riele (Herman)

A tutorial introduction to differentiable manifolds and calculus on differential manifolds Tech Report

M. Hazewinkel (Michiel)

Liesegang rings, pattern formation at phase transition experiments and mathemtical modelling Tech Report

M. Hazewinkel (Michiel), J.F. Kaashoek and B. Leynse

Two normal form theorems for CSP programs Article

K.R. Apt (Krzysztof), L. Bougé and P. Clermont

Polyhedral combinatorics-some recent developments and results Article

A. Schrijver (Lex)

Polyhedra and algorithms Article

A. Schrijver (Lex)

Multiple correspondence analysis and ordered latent structure models Tech Report

B.F. Schriever (Bert)

Ternary continued fractions and the evenly-tempered musical scale Tech Report

J.T. Kent

Symplectic automorphisms of K3-surfaces (after S. Mukai and V. V. Nikulin) Tech Report

G. Mason

The ABC newsletter Miscellaneous

Conferentie van Numeriek Wiskundigen, Zeist, 29.09-01.10.1986 : programma Booklet

Designing equivalent semantic models for process creation In Proceedings

P.H.M. America (Pierre) and J.W. de Bakker (Jaco)

Perspectives in mathematical sociology Tech Report

J. Grasman (Johan)

The Amoeba distributed operating system, Part 2 Tech Report

S.J. Mullender (Sape)

Product integrals and Markov processes Tech Report

S. Johansen

Symposium Wetenschap in bedrijf, 11.06.1986 : programma [plus uitnodiging gezamenlijke lunch] Booklet

International seminar on teletraffic analysis and computer performance evaluation : Amsterdam, 02-06.06.1986 : program Booklet

Beschrijving van de bibliotheek van het Centrum voor Wiskunde en Informatica : werkstuk in het kader van de Opleiding tot Wetenschappelijk Bibliothecaris (OWB) aan de Unversiteit van Amsterdam Book

F.A. Roos (Frank)

B for the IBM PC Tech Report

B. Group

The Amoeba distributed operating system, Part I Tech Report

S.J. Mullender (Sape)

On the history of numerical methods for Volterra integral equations Tech Report

H. Brunner

Experiments with continuation semantics : jumps, backtracking, dynamic networks Dissertation

A. de Bruin (Arie)

Beleidsbegroting 1987, en: Meerjarenraming 1988-1991 Stichting Mathematisch Centrum Book

Abstracte modellen Magazine Article

M. Hazewinkel (Michiel)

The tetrahexes puzzle Tech Report

H.J.J. te Riele (Herman) and D.T. Winter (Dik)

The MC fortieth anniversary Tech Report

P.C. Baayen

Mathematics as a cultural force and as a productive force : the Mathematical Centre founded February 11, 1946 Tech Report

G. Alberts (Gerard)

The generator paradigm in Smalltalk Tech Report

T. Budd

New factorization records on supercomputers Tech Report

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

Opdrachtformulering t.b.v. het Ontwikkelingsplan WCW Miscellaneous

Uitnodiging en programma MC40 Other

Eleventh conference on the mathematics of operations research and system theory - BeNeLux meeting on systems and control, Lunteren, 15-17.01.1986 : program and abstracts Booklet

Eleventh conference on the mathematics of operations research and system theory - BeNeLux meeting on systems and control, Lunteren, 15-17.01.1986 : program Article

A nonlinear multigrid method for the efficient solution of the steady Euler equations In Proceedings

P.W. Hemker (Piet), B. Koren (Barry) and S.P. Spekreijse

Euler flow solutions for a transonic windtunnel section Tech Report

B. Koren (Barry)

Transition systems, metric spaces and ready sets in the semantics of uniform concurrency Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Pattern representation Tech Report

P.J.W. ten Hagen (Paul) and C.G. Trienekens

Contrasting themes in the semantics of imperative concurrency Tech Report

J.W. de Bakker (Jaco), J.N. Kok (Joost), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Extended general design theory Tech Report

T. Tomiyama and H. Yoshikawa

Denotational semantics of nets with nondeterminism Tech Report

J.N. Kok (Joost)

Linear stability of the hopscotch scheme Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

Multigrid approaches to the Euler equations Tech Report

P.W. Hemker (Piet) and G.M. Johnson

Overload control for switches of communications systems : a two-phase model for call request processing Tech Report

R.K. Boel and J.H. van Schuppen (Jan)

Fonctions d'entrelacement sur les groupes de Lie compacts et polynômes othogonaux de plusieurs variables [Intertwining functions on compact Lie groups and orthogonal polynomials in several variables] Tech Report

B. Hoogenboom and T.H. Koornwinder

Fixed point equations with parameters in the projective model Tech Report

E. Kranakis (Evangelos)

Approximating the projective model Tech Report

E. Kranakis (Evangelos)

Verification of two communication protocols by means of process algebra Tech Report

F.W. Vaandrager (Frits)

Failure semantics with fair abstraction Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

The sieve method in multi-stage sampling Tech Report

S.G.A.J. Driessen

Elementary symmetric polynomials of increasing order Tech Report

A.J. van Es (Bert) and R. Helmers (Roelof)

On the necessity of identifying the true parameter in adaptive LQ control Tech Report

J.W. Polderman

Models of two queues: a few new views Tech Report

O.J. Boxma (Onno)

Constrained normalization of Hamiltonian systems and perturbed Keplerian motion Tech Report

J.-C. van der Meer and R. Cushman

The M/G/1 queue with randomly alternating services Tech Report

W.P. Groenendijk

On the sign of the difference $ pi(x)-li(x) $ Tech Report

H.J.J. te Riele (Herman)

Convergence analysis of one-step schemes in the method of lines Tech Report

J.M. Sanz-Serna and J.G. Verwer (Jan)

The order of B-convergence of algebraically stable Runge-Kutta methods Tech Report

K. Burrage and W. Hundsdorfer (Willem)

A note on monotonicity of a Rosenbrock method Tech Report

W. Hundsdorfer (Willem)

On the numerical integration of second-order initial value problems with a periodic forcing function Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben), K. Strehmel and R. Weiner (Rüdiger)

The method of lines and exponential fitting Tech Report

P.J. van der Houwen (Piet) and F.W. Wubs (Fred)

The cleaning person algorithm Tech Report

T. Budd

On the mathematical synthesis of psychological and behavioural mechanisms and population dynamics Tech Report

O. Diekmann (Odo)

Equilibrium and extinction in stochastic population dynamics Tech Report

H.N.M. Roozen

An annotated bibliography on document processing Tech Report

J.C. van Vliet (Hans) and J.B. Warmer

Dining philosophers and process algebra Tech Report

P. Urzyczyn

Inleiding tot PROLOG [Introduction to PROLOG] Tech Report

L.C. van der Gaag and P.J.F. Lucas

Distributed control in computer networks and cross-sections of colored multidimensional bodies Tech Report

E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

The power of the queue Tech Report

M. Li (Ming), L. Longpré and P.M.B. Vitányi (Paul)

A new approach to least squares estimation, with applications Tech Report

S.A. van de Geer (Sara)

NUMVEC FORTRAN library manual : chapter: parabolic PDEs : routine: BDMG Tech Report

B.P. Sommeijer (Ben)

Multigrid solution of monotone second-order discretizations of hyperbolic conservation laws Tech Report

S.P. Spekreijse

Phase-lag analysis of implicit Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

Queueing analysis of a virtual circuit in a computer communication network with window flow control Tech Report

J.L. van den Berg (Hans)

Transformations of linear systems under external equivalence Tech Report

J.M. Schumacher (Hans)

Deformations of connections, the Riemann Hilbert problem and $ au $ -functions Tech Report

G.F. Helminck

Knowledge representation and inference in rule-based systems Tech Report

P.J.F. Lucas

Lower bounds for a class of Kostka numbers Tech Report

J.W. Klop (Jan Willem) and E. Kranakis (Evangelos)

PROLOG: an expert system building tool Tech Report

L.C. van der Gaag

Module algebra Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

Algebraic specifications of computable and semicomputable datatypes Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

Inform: prototype van een interactieve formuleverwerker [Inform: prototype of an interactive system for formula processing] Tech Report

S. van Egmond and F.C. Heeman

A general object-centered database langauge : a preliminary definition Tech Report

M.L. Kersten (Martin) and F.H. Schippers

Minimizing the expected weighted number of tardy jobs in stochastic flow shops Tech Report

O.J. Boxma (Onno) and F.G. Forst

NUMVEC FORTRAN library manual : chapter: simultaneous linear equations Tech Report

W. Hoffmann (Walter) and W.M. Lioen (Walter)

Stabilization of the Lax-Wendroff methods and a generalized one-step Runge-Kutta method for hyperbolic initial-value problems Tech Report

E.D. de Goede (Erik)

Small parameters in structured population models and the Trotter-Kato theorem Tech Report

H.J.A.M. Heijmans (Henk) and J.A.J. Metz

Needed reduction and spine strategies for the lambda calculus Tech Report

H.P. Barendregt (Henk), J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

A technique to design delay-insensitive VLSI circuits Tech Report

J.C. Ebergen (Jo)

Generation of interactive programming environments: GIPE Tech Report

Semantics for OCCAM Tech Report

A. P. W. Eliëns (Anton)

Non- and semi-parametric maximum likelihood estimators and the Von Mises method Tech Report

R.D. Gill (Richard)