Publication

Asymptotics and Numerics of Polynomials Used in Tricomi and Buchholz Expansions of Kummer functions Article

J.L. López and N.M. Temme (Nico)

Fast and Accurate Computation of the Weber Parabolic Cylinder Function $W(a,x)$ Article

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

XHTML™ Modularization 1.1 - Second Edition Standard

D. Austin, S. Pemberton (Steven) and not CWI et al

Introduction to the Special Theme Computational Biology Article

G.W. Klau (Gunnar) and J. Nicolas

Eureka: A methodology for measuring bandwidth usage of networked games, environments and applications In Proceedings

I. Vaishnavi (Ishan), A. Arefin, D.C.A. Bulterman (Dick), K. Nahrstedt and R. Rivas

The positive semidefinite Grothendieck problem with rank constraint In Proceedings

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq In Proceedings

P.J. Collins (Pieter), M. Niqui (Milad) and N. Revol

Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings