PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Irving, Geoffrey"

Author of the publication

copydeleteadd this publication to your clipboard
DeepMath - Deep Sequence Models for Premise Selection.

, , , , and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. phil. Geoffrey Rodoreda University of Stuttgart

Dr. phil. Geoffrey Chanda University of Stuttgart

 

Other publications of authors with the same name

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems., , , , , , , , , and 30 other author(s). CoRR, (2016)Melting and Burning Solids into Liquids and Gases., , , and . IEEE Trans. Vis. Comput. Graph., 12 (3): 343-352 (2006)TensorFlow: A System for Large-Scale Machine Learning., , , , , , , , , and 12 other author(s). OSDI, page 265-283. USENIX Association, (2016)Hybrid simulation of deformable solids., , , and . Symposium on Computer Animation, page 81-90. Eurographics Association, (2007)TensorFlow: A system for large-scale machine learning., , , , , , , , , and 12 other author(s). CoRR, (2016)Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis.. CoRR, (2014)Deep Network Guided Proof Search., , , and . LPAR, volume 46 of EPiC Series in Computing, page 85-105. EasyChair, (2017)Volume conserving finite element simulations of deformable models., , and . ACM Trans. Graph., 26 (3): 13 (2007)DeepMath - Deep Sequence Models for Premise Selection., , , , and . CoRR, (2016)DeepMath - Deep Sequence Models for Premise Selection., , , , , and . NIPS, page 2235-2243. (2016)