38

Answers
votes newest views recent
6
Undergraduate Level Math Books
7
Relating Category Theory to Programming Language Theory
2
What are some good beginner graph theory texts?
4
Is pi a good random number generator?
5
Mathematics and autodidactism
17
Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks? (2)
6
What is the shortest program for which halting is unknown?
4
Choosing postdocs
1
Solving a system of linear inequalities — what is the dimension of the solution set?
7
When did the career of 1 as a prime number begin and when did it end?
3
Connections between ultrafilters in topology and logic
4
Typesetting mathematics: how do {\em you} convert text into pdf?
1
How do researchers carry out computational experiments in Graph Theory?
2
Characterizing visual proofs
7
Learning Roadmap for Software Engineer
3
Is there an explicit construction of a free coalgebra?
2
reversible Turing machines
3
Formulas for the liar paradox
1
Working in groups vs. alone: present vs. past
4
[solved] sequent calculus as programming language
19
Should I check with collaborators before presenting unpublished material?
2
Is this strange problem NP-complete?
0
Ways to Synthesize Topics in Linear Algebra
1
Replacing logician-constructive with combinatorist-constructive?
2
180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories
2
Software for Tree-Decompositions
1
motivation for compactness
0
Quantum channels as categories: question 1.
0
Is there a common name for the complement of a metric space in its completion?
1
(a,b) ≤ (a',b') iff b ≤ a' or (b' = b and a ≤ a') where a≤b and a'≤b'. Has any one seen this order?
1 2 next