My research students and I continued to practice a new research methodology, that can be loosely called rigorous experimental mathematics. It has something in common with both “mainstream” experimental mathematics (as preached by the Borwein brothers, David Bailey, Victor Moll, and their collaborators, (see e.g. the masterpiece [BB], and the recent collection [BBCGLM]), and automated theorem pr...

This paper contains a self-contained brief presentation of the scattering theory for periodic structures. Its main result is a theorem (the Modified Rayleigh Conjecture, or MRC), which gives a rigorous foundation for a numerical method for solving the direct scattering problem for periodic structures. A numerical example illustrating the procedure is presented.

We address a specific but recurring problem related to sampled linear systems. In particular, we provide a numerical method for the rigorous verification of constraint satisfaction for linear continuous-time systems between sampling instances. The proposed algorithm combines elements of classical branch and bound schemes from global optimization with a recently published procedure to bound the ...

A polynomial expansion procedure and an analytical discrete-ordinates method are used to evaluate the viscous-slip coefficient, the thermal-slip coefficient, and the temperature-jump coefficient as defined by a rigorous version of the linearized Boltzmann equation for rigid-sphere interactions and the Cercignani–Lampis boundary condition. © 2003 American Institute of Physics. @DOI: 10.1063/1.15...

In this work we present a simple estimation procedure for a general frailty model for analysis of prospective correlated failure times. Earlier work showed this method to perform well in a simulation study. Here we provide rigorous large-sample theory for the proposed estimators of both the regression coefficient vector and the dependence parameter, including consistent variance estimators.