Avant, ailleurs, nulle part. Quelque chose comme l’enfance...

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Why Amazon Chose TLA +

Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This paper describes the reasons why we chose TLA+ instead of other methods, and areas in which we would welcome further progress.

Why Nature Chose Selenium.

The authors were asked by the Editors of ACS Chemical Biology to write an article titled "Why Nature Chose Selenium" for the occasion of the upcoming bicentennial of the discovery of selenium by the Swedish chemist Jöns Jacob Berzelius in 1817 and styled after the famous work of Frank Westheimer on the biological chemistry of phosphate [Westheimer, F. H. (1987) Why Nature Chose Phosphates, Scie...

...Plus la Même Chose

In the last editorial (‘plus ça change’—[1]), we briefly looked at some of the major changes in scholarly communication, and how some things hadn’t changed at all. This lack of change has frustrated all of those progressives who feel we’ve not even begun to take advantage of all the opportunities offered. It’s easy to sympathise, when you think of all the things we can now do with electronic sy...