PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Where M is a given matrix with a known eigenvalue spectrum, lets say for simplicity that it is Hermitian. diag random is a diagonal random matrix where each entry is an independent random gaussian number.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com