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