LGTM@discuss.tchncs.de to 196@lemmy.blahaj.zoneEnglish · 8 days agowhy did it call me thatdiscuss.tchncs.deimagemessage-square9linkfedilinkarrow-up1140arrow-down12file-text
arrow-up1138arrow-down1imagewhy did it call me thatdiscuss.tchncs.deLGTM@discuss.tchncs.de to 196@lemmy.blahaj.zoneEnglish · 8 days agomessage-square9linkfedilinkfile-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·8 days agowhat kind of math is this?
minus-squareBadabinski@kbin.earthlinkfedilinkarrow-up7·8 days agoIt looks like a mathematical proof to me.
minus-squaretoreh@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up5·8 days agoI think it’s linear algebra
minus-squareLGTM@discuss.tchncs.deOPlinkfedilinkEnglisharrow-up3·edit-27 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·7 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·8 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.