LGTM@discuss.tchncs.de to 196@lemmy.blahaj.zoneEnglish · 25 days agowhy did it call me thatdiscuss.tchncs.deimagemessage-square9fedilinkarrow-up1135arrow-down12file-text
arrow-up1133arrow-down1imagewhy did it call me thatdiscuss.tchncs.deLGTM@discuss.tchncs.de to 196@lemmy.blahaj.zoneEnglish · 25 days agomessage-square9fedilinkfile-text
Unrelated but straddling a dangerous line between wanting to be someone’s cat and a furry, just let me prove things meow
minus-squareradish@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up6·24 days agowhat kind of math is this?
minus-squareBadabinski@kbin.earthlinkfedilinkarrow-up7·24 days agoIt looks like a mathematical proof to me.
minus-squaretoreh@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up5·24 days agoI think it’s linear algebra
minus-squareLGTM@discuss.tchncs.deOPlinkfedilinkEnglisharrow-up3·edit-224 days agoIn this instance, the proof used the techniques of linear algebra (manipulating the inner product). The proof itself, however, was about Lie groups/topology (proving that the generalized orthogonal group is closed)
minus-squareradish@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up2·24 days agoThank you, one of my friends has been studying group theory and this looked similar but I wasn’t sure
minus-squaremathemachristian [he/him]@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up1·24 days agoDiscrete likely, possibly about fixed parameter tractability of dynamic programs.
what kind of math is this?
It looks like a mathematical proof to me.
I think it’s linear algebra
In this instance, the proof used the techniques of linear algebra (manipulating the inner product). The proof itself, however, was about Lie groups/topology (proving that the generalized orthogonal group is closed)
Thank you, one of my friends has been studying group theory and this looked similar but I wasn’t sure
Discrete likely, possibly about fixed parameter tractability of dynamic programs.