Theoretical results and techniques applied in practical settings.
16
votes
6answers
389 views
What use are groups, monoids, and rings in database computations?
Why would a company like Twitter be interest in algebraic concepts like groups, monoids and rings. https://github.com/twitter/algebird
All I could find is:
Implementations of Monoids for ...
1
vote
2answers
349 views
Trigonometry in computer science
What's the use of studying trigonometry in computer science? I mean, is it essential? Does it have a specific application in computer science? Because I can't seem to muster enough motivation for ...
3
votes
2answers
98 views
What are some applications of binary finite fields in CS?
I was looking at details on finite fields. Finite binary fields, e.g. $\mathbb{F_2}$, are used in CS in some places such as circuit theory [1].
What are some key applications of finite fields in ...
7
votes
1answer
116 views
Natural occurrences of monads that make use of the category-theoretical framework
Today, a talk by Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") confronted me with category theory for the first time. He has built a theoretical framework for describing ...
21
votes
9answers
400 views
What is the significance of context-sensitive (Type 1) languages?
Seeing that in the Chomsky Hierarchy Type 3 languages can be recognised by a state machine with no external memory (i.e., a finite automaton), Type 2 by a state machine with a single stack (i.e. a ...
