PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • alias(r=RootOf(_Z^3+c2*_Z^2+(c1*c2-c2*c3)*_Z-c1*c2*c3));# that means: r is an abbreviation for that rootslets it look more compact and after that it is a matter oftaste how to write it, I would preferA = r, B = r+c2-1/r*c2*c3, C = 1/r*c2*c3-c2, D = c3-r
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org