Assertion: logarithm | /r/CapableOf | give an isomorphism of semirings
Facets:
value: between the log semiring
type: OTHER
Source sentences:
text: The logarithm then takes multiplication to addition (log multiplication), and takes addition to log addition (LogSumExp), giving an isomorphism of semirings between the probability semiring and the log semiring.