Publications

Explore 1,180 academic publications

Showing 12 of 1,180 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