Hello, I was just wondering if someone has seen some of the mainstream algorithms(let's say not completely trivial ones) in real computer applications like:Binary indexed tree,Segment tree,Convex Hull,Meet in the midde,etc.

Is search of strings when we press ctrl+F implemented with KMP string finding algorithm,questions like that? I find this topic interesting so I'm asking,obviously.