Computing the modular curves Xsp(13), Xns(13) and XA4 (13) using modular symbols in Sage J. E. Cremona, B. S. Banwait August 16, 2013 Abstract This document is an annotated version of a Sage script which computes

First Page		Document Content
Date: 2013-08-19 04:26:16 Singular value decomposition Matrices Matrix theory Operator theory Eigenvalues and eigenvectors Hecke operator Matrix Invariant subspace Kernel Algebra Mathematics Linear algebra		Computing the modular curves Xsp(13), Xns(13) and XA4 (13) using modular symbols in Sage J. E. Cremona, B. S. Banwait August 16, 2013 Abstract This document is an annotated version of a Sage script which computes Add to Reading List Source URL: homepages.warwick.ac.uk Download Document from Source Website File Size: 290,84 KB Share Document on Facebook

	Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom DocID: 1xVgv - View Document
	Hyperkernel: Push-Button Verification of an OS Kernel DocID: 1xVeg - View Document
	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo DocID: 1xUUc - View Document
	Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya DocID: 1xU6r - View Document
	PDF Document DocID: 1xPhq - View Document