density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1
From the 1 of 211 papers with an AI index.
29.3k citations
- Institute for High Energy PhysicsES113 papers
- University of OxfordGB109 papers
- University of BolognaIT107 papers
- Joint Institute for Nuclear ResearchRU106 papers
- National and Kapodistrian University of AthensGR106 papers
- University of LiverpoolGB106 papers
- University of GlasgowGB104 papers
- Universitat Autònoma de BarcelonaES101 papers
- University of PisaIT97 papers
- Centre National de la Recherche ScientifiqueFR93 papers
- University of GenevaCH90 papers
- University of PaduaIT89 papers
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012★ 6 cited
Linear extensions of partial orders and Reverse Mathematics
Emanuele Frittaion, Alberto Marcone
We introduce the notion of τ-like partial order, where τis one of the linear order types ω, ω*, ω+ω*, and ζ. For example, being ω-like means that every element has finitely many pr…
math.LO2012
Measures induced by units
Giovanni Panti, Davide Ravotti
The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent alg…