Publications

Explore 4,968 academic publications

Showing 12 of 4,968 publications

Projector augmented-wave method

An approach for electronic structure calculations is described that generalizes both the pseudopotential method and the linear augmented-plane-wave (LAPW) method in a natural wa...

1994 Physical review. B, Condensed matter 85109 citations

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

EMBI

Requirements are an integral part of industry operation and projects. Not only do requirements dictate industrial operations, but they are used in legally binding contracts betw...

2024 Leibniz-Zentrum für Informatik (Schlo... 44944 citations