Showing results (521-530 of 6,915) with videos related to
Sort By:
Pageof 692
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
On the hydrodynamics of crystal clusteringMichael Z McIntire, George W Bergantz, Jillian M SchleicherPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Thoughts on the criteria to determine the origin of volcanic unrest as magmatic or non-magmaticM E Pritchard, T A Mather, S R McNutt, et al.Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Formation and dynamics of magma reservoirsR S J Sparks, C Annen, J D Blundy, et al.Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Proof simplification and automated theorem provingMichael KinyonPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Prolegomena to any theory of proof simplicityVictor PambuccianPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
From mathematical axioms to mathematical rules of proof: recent developments in proof analysisSara Negri, Jan von PlatoPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Reshaping the metaphor of proofNikolai VavilovPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Multi-scale high-performance computing in astrophysics: simulating clusters with stars, binaries and planetsA van Elteren, J Bédorf, S Portegies ZwartPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
Can the development of fusion energy be accelerated? An introduction to the proceedingsColin WindsorPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 11, 2019
On the size of tokamak fusion power plantsHartmut ZohmPageof 692