Publications from 2020

A limitation of Markov representation for stationary processes Article

H.C.P. Berbee (Henri) and R.C. Bradley

Stability in linear multistep methods for pure delay equations Article

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

On the stability of the cell size distribution Article

O. Diekmann (Odo), H.J.A.M. Heijmans (Henk) and H.R. Thieme

Two open problems in precedence constrained scheduling In Proceedings

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Linear time and branching time semantics for recursion with merge Article

J.W. de Bakker (Jaco), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)

An introduction to multilinear algebra and some applications Article

A. Blokhuis and J.J. Seidel

Singular perturbations and a mapping on an interval for the forced van der Pol relaxation oscillator Article

J. Grasman (Johan), H. Nijmeijer and E.J.M. Veling

Linear multistep methods with reduced truncation error for periodic initial value problems Article

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

Calculation of special functions: the gamma function, the exponential integrals and error-like functions Book

C.G. van der Laan and N.M. Temme (Nico)

Process algebra for synchronous communication Article

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Bounded tiling, an alternative to satisfiability? In Proceedings

M.W.P. Savelsbergh and P. van Emde Boas (Peter)

Proving program inclusion using Hoare's logic Article

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Preemptive scheduling of uniform machines subject to release dates In Proceedings

J. Labetoulle, E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

The defect correction approach In Proceedings

K. Böhmer, P.W. Hemker (Piet) and H.J. Stetter

Convergence of method of lines approximations to partial differential equations Article

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

A Berry-Esseen bound for $L$-statistics with unbounded weight functions In Proceedings

R. Helmers (Roelof) and M. Husková

A portable vector-code for autonomous multigrid modules. With a discussion In Proceedings

P.W. Hemker (Piet), P. Wesseling and P.M. de Zeeuw (Paul)

Strongly regular graphs and partial geometries In Proceedings

A.E. Brouwer (Andries) and J.H. van Lint

Invariant measures and the equicontinuous structure relation I. In Proceedings

J. de Vries (Jan) and J.C.S.P. van der Woude (Jaap)

Invariant measures and the equicontinuous structure relation. II. The relative case. In Proceedings

J. de Vries (Jan) and J.C.S.P. van der Woude (Jaap)

Generalised functions as linear functionals on generalized functions In Proceedings

T.H. Koornwinder and J.J. Lodder

On the Continuity of the Percolation Probability Function In Proceedings

J. van den Berg (Rob) and M.S. Keane

Disproof of the Conjectured Subexponentiality of certain Functions in Percolation Theory Article

J. van den Berg (Rob)

Colloquium topics in applied numerical analysis, vol. 2 : [held at the Centre for Mathematics and Computer Science, Amsterdam, during the academic year 1983/1984] Book

J.G. Verwer (Jan)

Intertwining functions on compact Lie groups Book

B. Hoogenboom

System theoretic description of physical systems Book

A.J. van der Schaft

Fake topological Hilbert spaces and characterizations of dimension in terms of negligibility Book

J.J. Dijkstra (Jan)

Controlled Markov processes : time discretization Book

N.M. van Dijk

Surfaces with canonical hyperplane sections Book

D.H.J. Epema

Computational methods in number theory, part 2 (2nd ed.) : [based on lectures, presented at the study week 'Number theory and computers', Amsterdam, 01-05.09.1980] Book

H.W. Lenstra (Hendrik) and R. Tijdeman

Identification and informative sample size (2nd print.) Book

H.H. Tigelaar

Colloquium topics in applied numerical analysis, vol. 1 : [held at the Centre for Mathematics and Computer Science, Amsterdam, during the academic year 1983/1984] Book

Proceedings seminar 1981-1982 mathematical structures in field theories : [lectures given during the seminar at the academic year 1981-1982 at Amsterdam] Book

Vakantiecursus 1984 Centum voor Wiskunde en Informatica : Hewet - plus wiskunde Book

Models of the lambda calculus Book

C.P.J. Koymans

Algorithms and appoximations for queueing systems Book

M.H. van Hoorn

Few-distance sets Book

A. Blokhuis

Edgeworth expansions for linear combinations of order statistics Book

R. Helmers (Roelof)

Testing statistical hypotheses : worked solutions Book

W.C.M. Kallenberg

Review of "Principles of concurrent programming" by Ben Ari Article

K.R. Apt (Krzysztof)

Physical models and equilibrium methods Book

B.S. Razumikhin

Transformations realizing fairness assumptions in parallel programs In Proceedings

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

A static analysis of VSP programs In Proceedings

K.R. Apt (Krzysztof)

On positive vectors, positive matrices and the specialization order Tech Report

M. Hazewinkel (Michiel)

Fair termination revisited - with delay Article

K.R. Apt (Krzysztof), A. Pnueli and J. Stavi

Modeling the distributed termination convention of CSP Article

K.R. Apt (Krzysztof) and N. Francez

Ten years of Hoare s logic, a survey, part II: n ondeterminism Article

K.R. Apt (Krzysztof)

Quantum mechanical system symmetry In Proceedings

T.J. Tarn, M. Hazewinkel (Michiel) and C.K. Ong

Vezelbundels en natuurkunde Article

M. Hazewinkel (Michiel)

Symmetry in physics and systems theory, an introduction to past, present and future possibilities In Proceedings

M. Hazewinkel (Michiel)

Notes on (the philosophy of ) linearization Tech Report

M. Hazewinkel (Michiel)

Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor In Proceedings

M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann

Multigrid algorithms run on supercomputers Article

P.W. Hemker (Piet)

Total dual integrality from directed graphs, crossing families, and sub- and supermodular functions Article

A. Schrijver (Lex)

Geometric methods in combinatorial optimization Article

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

A polynomial-time test for total dual integrality in fixed dimension Article

W.J. Cook, L. Lovász (László) and A. Schrijver (Lex)

Polynomial algorithms for perfect graphs Article

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

Symposium 'Wiskunde en Informatica' : CWI, 25.11.1983 : abstracts Booklet

Fake topological Hilbert spaces and characterizations of dimension in terms of negligibility Dissertation

J.J. Dijkstra (Jan)

Integer valued polynomials in algebraic number theory Dissertation

H. Zantema (Hans)

De praktijk van de numerieke wiskunde : colloquium numerieke wiskunde najaarssemester 1983/voorjaarssemester 1984 : programma Booklet

Abstracte inferentie en toegepaste statistiek Booklet

R.D. Gill (Richard)

Stochastische processen : brochure Booklet

H.C.P. Berbee (Henri)

Biomathematica : brochure Booklet

O. Diekmann (Odo)

Systeemtheorie : brochure Booklet

J.H. van Schuppen (Jan)

Het B-project : brochure Booklet

L.J.M. Geurts (Leo)

Multigrid-methoden : brochure Booklet

P.W. Hemker (Piet)

Netwerken van wachtrijen : brochure Booklet

E.A. van Doorn

Computer-geïntegreerde produktie : brochure Booklet

P.J.W. ten Hagen (Paul)

Programmeertechnologie : brochure Booklet

J. Heering (Jan)

Programmeertechnologie Booklet

J. Heering (Jan)

Symmetrie en chaos Booklet

M. Hazewinkel (Michiel)

Multigrid-methoden Booklet

P.W. Hemker (Piet)

Stochastische processen Booklet

H.C.P. Berbee (Henri)

Wiskunde en informatica: een toekomstbeeld Booklet

J.W. de Bakker (Jaco), R.D. Gill (Richard), M. Hazewinkel (Michiel) and J.K. Lenstra (Jan Karel)

Netwerken van wachtrijen Booklet

E.A. van Doorn

Systeemtheorie Booklet

J.H. van Schuppen (Jan)

Computer-geïntegreerde produktie Booklet

P.J.W. ten Hagen (Paul)

Biomathematica Booklet

O. Diekmann (Odo)

Abstracte inferentie en toegepaste statistiek Booklet

R.D. Gill (Richard)

Het B-project Booklet

L.J.M. Geurts (Leo)

CWI newsletter Miscellaneous

Online mathematical literature information Tech Report

S.I. Thé

Special functions and group theory : report on a conference visit Tech Report

B. Hoogenboom

Mertens' conjecture disproved : research announcement Tech Report

H.J.J. te Riele (Herman)

The dynamics of structured populations : research project report Tech Report

O. Diekmann (Odo)

Geometry of the energy momentum mapping of the spherical pendulum Tech Report

R. Cushman

Conferentie van numeriek wiskundigen : Zeist, 26-28.09.1983 Book

Centre for Mathematics and Computer Science: facts & figures Booklet

Centrum voor Wiskunde en Informatica: enkele statistische en organisatorische gegevens Booklet

The B newsletter Miscellaneous

Compactness in semantics for merge and fair merge In Proceedings

J.W. de Bakker (Jaco) and J.I. Zucker

Foundations and applications of Montague grammar Dissertation

T.M.V. Janssen (Theo)

Huishoudelijk reglement van de Nederlandse Stichting voor de Wiskunde SMC Book

Eighth conference on the mathematics of operations research : Lunteren, 12-14.01.1983 : program and abstracts Booklet

A hierarchical scheduling problem with a well-solvable second stage Tech Report

J.B.G. Frenk, A.H.G. Rinnooy Kan and L. Stougie (Leen)

Holling's 'hungry mantid' model for the invertebrate functional response considered as a Markov process - part 0: A survey of the main ideas and results Tech Report

J.A.J. Metz and F.H.D. van Batenburg

Process algebra for communication and mutual exclusion Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Software with low storage requirements for two-domensional nonlinear parabolic differential equations Tech Report

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

On the zeros of the Riemann zeta function in the critical strip III Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)