Publications

Explore 968 academic publications

Showing 12 of 968 publications

MizAR 60 for Mizar 50

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...

2023 Leibniz-Zentrum für Informatik (Schlo... 70225 citations

The Protein Data Bank

The Protein Data Bank (PDB; http://www.rcsb.org/pdb/ ) is the single worldwide archive of structural data of biological macromolecules. This paper describes the goals of the PDB...

2000 Nucleic Acids Research 38215 citations

An Inventory for Measuring Depression

The difficulties inherent in obtaining consistent and adequate diagnoses for the purposes of research and therapy have been pointed out by a number of authors. Pasamanick<sup>12...

1961 Archives of General Psychiatry 37547 citations

The ERA5 global reanalysis

Abstract Within the Copernicus Climate Change Service (C3S), ECMWF is producing the ERA5 reanalysis which, once completed, will embody a detailed record of the global atmosphere...

2020 Quarterly Journal of the Royal Meteor... 26490 citations