Publications from 2026

Bibliotheek Mathematisch Centrum gids = Library Mathematical Centre guide Booklet

A program to solve a solute diffusion problem with segregation at a moving interface Article

M. Bakker (Miente) and D. Hoonhout

Abel-Jacobi isogenies for certain types of Fano threefolds Dissertation

G.E. Welters (Gerald)

Tests for preference Dissertation

J.J. Dik (Jacob)

Gebruikersgids systeem-commando's : data-entry documentatie : een wegwijzer bij het gebruik van een aantal systeem-commando's, t.b.v. hen die werken m.b.v. het 'data-entry'-systeem op de PDP 11/34-computer van de SMC Book

H. Noot (Han), G. J. F. Vinkesteyn (Gert-Jan) and A.C. IJsselstein (Bert)

Conference on the mathematics of operations research and systems theory : Lunteren, 14-16.01.1981 : program and abstracts Booklet

Enige theoretische en experimentele resultaten m.b.t. het probleem van de simulatie van de neutrale atmosferische grenslaag in een windtunnel Tech Report

B. Koren (Barry)

Construction of strongly regular graphs, two-weight codes and partial geometries Article

J.H. van Lint and A. Schrijver (Lex)

Initial algebra specifications for parametrized data types Tech Report

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

Semi-Markov decision processes with denumerable state space, unbounded one-step costs and the average cost criterion Tech Report

H.C. Tijms (Henk)

Deterministic and stochastic scheduling: : Extended abstracts Tech Report

Preemptive scheduling of precedence-constrained jobs on parallel machines : (preprint) Tech Report

E.L. Lawler

Two lines least squares : (preprint) Tech Report

A.K. Lenstra (Arjen), J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and T.J. Wansbeek (Tom)

Computational methods for single-server and multi-server queues with Markovian input and general service times : (preprint) Tech Report

H.C. Tijms (Henk) and M.H. van Hoorn

Controlled invariance for nonlinear systems : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft

Computer aided complexity classification of combinatorial problems : (preprint) Tech Report

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

Computer aided complexity classification of deterministic scheduling problems Tech Report

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

Nonlinear systems and nonlinear estimation theory : (preprint) Tech Report

R.W. Brockett

Controllability distributions for nonlinear control systems Tech Report

H. Nijmeijer

The probabilistic realization problem for finite dimensional Gaussian random variables : (preprint) Tech Report

J.H. van Schuppen (Jan)

Analysis of heuristics for stochastic programming: results for hierarchical scheduling problems : (preprint) Tech Report

M.A.H. Dempster, M.L. Fisher, L. Jansen, B.J. Lageweg, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

An algorithm for single machine sequencing with release dates to minimise total weighted completion time : (preprint) Tech Report

A.M.A. Hariri and C.N. Potts

Approximations for the waiting time distribution of the m/g/c queue : (preprint) Tech Report

M.H. van Hoorn and H.C. Tijms (Henk)

Surrogate duality relaxation for job shop scheduling : (preprint) Tech Report

M.L. Fisher, B.J. Lageweg, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Recent developments in deterministic sequencing and scheduling: a survey : (preprint) Tech Report

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

A polynomial-time algorithm for solving the set covering problem on a totally-balanced matrix Tech Report

A.W.J. Kolen (Antoon)

Machine scheduling with precedence constraints : (preprint) Tech Report

E.L. Lawler and J.K. Lenstra (Jan Karel)

The weak and strong Gaussian probabilistic realization problem : (preprint) Tech Report

C. van Putten and J.H. van Schuppen (Jan)

Analysis of heuristics for two-machine flow-shop sequencing subject to release dates : (preprint) Tech Report

C.N. Potts

Controlled invariance by static output feedback for nonlinear systems : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft

Approximations for (S,S) inventory systems with stochastic lead times and a service level constraint : (preprint) Tech Report

H.C. Tijms (Henk) and H. Groenevelt

Short term adaptive prediction of railway power demand : (preprint) Tech Report

J.D. van der Bij and J.H. van Schuppen (Jan)

Laser plotting of pollen diagrams Tech Report

A.C. Veldkamp, T. Hagen and J.D. van der Woude

PGEN; a general purpose parser generator Tech Report

G. Florijn and G. Rolf (Geert)

Abstract storage structures : (preprint) Tech Report

H.B.M. Jonkers

Formal language definitions can be made practical : (preprint) Tech Report

P. Klint (Paul)

Hoare's logic and Peano's arithmetic : (preprint) Tech Report

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

Issues in the design of a beginners' programming language : (preprint) Tech Report

L.G.L.T. Meertens (Lambert)

From VW-grammar to Aleph : (preprint) Tech Report

D. Grune (Dick)

On the existence of Cook semantics : (preprint) Tech Report

A. de Bruin (Arie)

The GKS reviewing process : (preprint) Tech Report

P.J.W. ten Hagen (Paul)

Two theorems about the completeness of Hoare's logic : (preprint) Tech Report

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

Communicating graphics : (preprint) Tech Report

P.J.W. ten Hagen (Paul)

Efficient implementations of multicounter machines on oblivious turing machines, acyclic logic networks, and VLSI : (preprint) Tech Report

P.M.B. Vitányi (Paul)

Algol 68+, a superlanguage of Algol 68 for processing the standard-prelude Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint) Tech Report

R. Kuiper

Correctness of programs with function procedures : (preprint) Tech Report

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

An underlying context-free grammar of Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

Pep: an interactive programming system with an Algol-like programming language : (preprint) Tech Report

P. Verhelst and N.F. Verster

An operator-priority grammar for Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

Some thoughts on a tuple oriented programming system Tech Report

P. Verhelst

A formalized proof system for total correctness of while programs : (preprint) Tech Report

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

Proving program inclusion using Hoare's logic Tech Report

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

The B-representation of piecewise polynomial parametric curves and local adaption Tech Report

A.B. Tol

Another proof for the completeness of a rule for the fair termination of guarded commands and another rule for their just termination. (preliminary version) : (preprint) Tech Report

D. Lehmann

A formal model for data flow programs with token coloring : (preprint) Tech Report

A.H. Veen (Arthur)

Making Algol 68+ texts conform to an operator-priority grammar Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

Languageless programming : (preprint) Tech Report

A. van Wijngaarden (Adriaan)

On top-down parsing of Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

Algebraic specifications for parametrized data types with minimal parameter and target algebras : (preprint) Tech Report

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

A note on non-generators of full AFL's : (preprint) Tech Report

P.R.J. Asveld and J. Engelfriet

Towards monolingual programming environments : (preprint) Tech Report

J. Heering (Jan) and P. Klint (Paul)

MIDL: a microinstruction description language : (preprint) Tech Report

H.J. Sint

Definition of an abstract Algol 68 machine Tech Report

L.G.L.T. Meertens (Lambert)

On the MC Algol 68 compiler Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

Lattices and factorization of polynomials : (preprint) Tech Report

A.K. Lenstra (Arjen)

A note on defect correction processes with an approximate inverse of deficient rank Tech Report

P.W. Hemker (Piet)

Lecture notes of a seminar on multiple grid methods Tech Report

P.W. Hemker (Piet)

Instructive experiments with some Runge-Kutta-Rosenbrock methods : (preprint) Tech Report

J.G. Verwer (Jan)

On the practical value of the notion of bn-stability : (preprint) Tech Report

J.G. Verwer (Jan)

The construction of an accurate lower bound for the real parts of the eigenvalues of an m-matrix : (preprint) Tech Report

P.P.N. de Groen

Application of the osher-engquist difference scheme and the full multi-grid method to a two dimensional nonlinear elliptic model equation : (preprint) Tech Report

E.J. van Asselt

On the regularity of the principal value of the double layer potential : (preprint) Tech Report

H. Schippers (Harmen)

Analysis of Richardson iteration in multigrid methods for nonlinear parabolic differential equations : (preprint) Tech Report

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

On the choice of suitable operators and parameters in multigrid methods Tech Report

W.J.A. Mol

Modified multilag methods for volterra functional equations : (preprint) Tech Report

P.H.M. Wolkenfelt

Stability analysis of numerical methods for volterra integral equations with polynomial convolution kernels : (preprint) Tech Report

S. Amini, C.T.H. Baker, P.J. van der Houwen (Piet) and P.H.M. Wolkenfelt

Smoothing and coarse grid approximation properties of multigrid methods Tech Report

W.J.A. Mol

A special class of multistep Runge-Kutta methods with extended real stability interval : (preprint) Tech Report

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

Application of multigrid methods for integral equations to two problems from fluid dynamics : (preprint) Tech Report

H. Schippers (Harmen)

On the contractivity of a complex Runge-Kutta scheme : (preprint) Tech Report

J.G. Verwer (Jan)

Rigorous high speed separation of zeros of Riemann's zeta function Tech Report

J. van de Lune (Jan), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

Computation of flows around a karman-trefftz profile : (preprint) Tech Report

W.J.A. Mol

Collocation methods for weakly singular second kind volterra integral equations with non-smooth solution : (preprint) Tech Report

H.J.J. te Riele (Herman)

Defect correction iteration and splitting methods for time-dependent partial differential equations : (preprint) Tech Report

P.J. van der Houwen (Piet)

An accurate method without directional bias for the numerical solution of a 2-d elliptic singular perturbation problem : (preprint) Tech Report

P.W. Hemker (Piet)

Berry-esseen theorems for simple linear rank statistics under the null-hypothesis : (preprint) Tech Report

R.J.M.M. Does

Linear nonparametric tests for comparison of counting processes, with applications to censored survival data : (preprint) Tech Report

P.K. Andersen, Ø. Borgan, R.D. Gill (Richard) and N. Keiding

Cox's regression model for counting processes: a large sample study : (preprint) Tech Report

P.K. Andersen and R.D. Gill (Richard)

Large sample behaviour of the product-limit estimator on the whole line : (preprint) Tech Report

R.D. Gill (Richard)

The Berry-Esseen bound for u-statistics : (preprint) Tech Report

R. Helmers (Roelof) and W.R. van Zwet (Willem)

A Berry-Esseen theorem for functions of uniform spacings : (preprint) Tech Report

R.J.M.M. Does and C.A.J. Klaassen (Chris)

Bayes tests for locally asymptotically normal families : (preprint) Tech Report

D.R. Truax

An Edgeworth expansion for simple linear rank statistics under the null-hypothesis : (preprint) Tech Report

R.J.M.M. Does

A note on an inequality of Chernoff : (preprint) Tech Report

C.A.J. Klaassen (Chris)

The mathematical modelling of entrainment in physiological systems : (preprint) Tech Report

J. Grasman (Johan)

Random perturbations, periodicity and chaotic behavior in nonlinear systems Tech Report

J. Grasman (Johan)

On a class of sensitive cheap control problems : (preprint) Tech Report

J. Grasman (Johan)

A duality principle for delay equations : (preprint) Tech Report

O. Diekmann (Odo)

An application of the Leslie matrix model to the population dynamics of the hooded (cystphora cristata erxleben) seal Tech Report

E. Flipse and E.J.M. Veling