38

Answers
votes newest views recent
19
Should I check with collaborators before presenting unpublished material?
2
Enumerating a type of two-color cycle
3
Is there an explicit construction of a free coalgebra?
1
Working in groups vs. alone: present vs. past
7
When did the career of 1 as a prime number begin and when did it end?
1
Building optimal rewriting rules.
1
Solving a system of linear inequalities — what is the dimension of the solution set?
8
Predicting if something is a code
0
question on book
2
Software for Tree-Decompositions
2
reducing a theorem to set theory using first order logic
0
Ways to Synthesize Topics in Linear Algebra
1
motivation for compactness
6
What is the shortest program for which halting is unknown?
4
[solved] sequent calculus as programming language
2
Characterizing visual proofs
2
180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories
7
Learning Roadmap for Software Engineer
5
Mathematics and autodidactism
1
Good quality data/packages for statistical/structure analysis of words in the English language
0
Quantum channels as categories: question 1.
7
Relating Category Theory to Programming Language Theory
3
Formulas for the liar paradox
1
Replacing logician-constructive with combinatorist-constructive?
4
Is pi a good random number generator?
0
Are these separation logic statements valid?
1
How do researchers carry out computational experiments in Graph Theory?
2
What are some good beginner graph theory texts?
3
Connections between ultrafilters in topology and logic
6
Undergraduate Level Math Books
1 2 next