Results 241 to 250 of about 1,423 (254)

Session details: Automated theorem proving

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012
openaire   +3 more sources

Extending Noether’s theorem by quantifying the asymmetry of quantum states

Nature Communications, 2014
Iman Marvian, Robert W Spekkens
exaly  

Random numbers certified by Bell’s theorem

Nature, 2010
Dzmitry Matsukevich, Steven Olmschenk, Le Luo   +2 more
exaly  

BMS supertranslations and Weinberg’s soft graviton theorem

Journal of High Energy Physics, 2015
Temple He, Prahar Mitra, Andrew Strominger   +2 more
exaly  

First-Principles Models for van der Waals Interactions in Molecules and Materials: Concepts, Theory, and Applications

Chemical Reviews, 2017
Jan Hermann, Alexandre Tkatchenko
exaly  

Developments, ideas, and evaluations based upon Reissner’s Mixed Variational Theorem in the modeling of multilayered plates and shells

Applied Mechanics Reviews, 2001
Erasmo Carrera
exaly  

Stationary Black Holes: Uniqueness and Beyond

Living Reviews in Relativity, 2012
João Lopes Costa
exaly  

Bell nonlocality

Reviews of Modern Physics, 2014
Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio   +2 more
exaly  

Addition Theorem for Digital Coding Metamaterials

Advanced Optical Materials, 2018
Tie Jun Cui
exaly  

Fluctuation Theorem Uncertainty Relation

Physical Review Letters, 2019
Yoshihiko Hasegawa, Tan Van Vu
exaly