Results 261 to 270 of about 39,214 (275)

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  

Session details: Automated theorem proving

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

Bell nonlocality

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

Review of "Automated theorem proving

ACM SIGACT News, 1979
openaire   +1 more source

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  

A new conservation theorem

Journal of Mathematical Analysis and Applications, 2007
Nail H Ibragimov
exaly  

Applying Autoencoder to Automated Theorem Proving

2022 4th International Conference on Frontiers Technology of Information and Computer (ICFTIC), 2022
openaire   +1 more source

The Recovery Theorem

Journal of Finance, 2015
exaly