ITT we post a topic in math and then people post applications

>>7915001
Visualising atomic electron orbitals

Algebraic Topology

computational neurodynamics

>>7915019
General Relativity obvs

>>7915001
imaginary numbers
hard mode: something other than signal processing

>>7915109
>hard mode: something other than signal processing
kidding? its not hard. anything with waves.

Type Theory

Tensor Calculus

Non-commutative rings without unity.

Relations between elements which are transitive and symmetric but not reflexive.

i.e. x=y does not imply y=x. x=y and y=z implies x=z.

But x does not equal x.

Such sets have to exist but it's kind of weird to think about them.

Anyway, find me an application.

>ITT: Math people post and physics people respond.
clever

>>7915170
True stress/strain

>>7915170
Entire fields of physics are formulated in terms of tensor calculus.

>>7915162
language design

>>7915162
Programming languages and compilers.

Category Theory

CW Complexes

>>7915183
>x=y does not imply y=x.
That ain't symmetric

>>7915227
shit. I mean *does.

It does imply that.

>>7915183
This should say "x=y implies y=x." I fucked it up sorry.

>>7915223
Making students suicide.

>>7915001
TQFT

applications of every topic in this thread:
>shitposting on sci
>getting 300k starting

Group theory

>>7915407
voxels

Cellular Automata

>>7915421
It's a cool thing to visualize.

>>7915421
Biological fractals

IUTeich Theory :^)

P != NP

set theory

>>7915093
No.

>>7915533
significant component of probability theory

Surreal numbers

>>7915001
Holograms

>>7915162
Proof verfication

Topology

>>7917174
See
>>7915093

Fuzzy logic

>>7915183
>>7915231
do u realize it is impossible for nontrivial relations?
the symmetry combined with the transitivity implies the reflexivity, think about it for a sec.

Octonions

>>7915533
useless

File: spone bob.jpg (54KB, 625x415px) Image search: [Google]

54KB, 625x415px

>TWENTY SEVEN LINES ON A CUBIC SURFACE