Skip to main content
Theoretical Computer Science
Mathias Rav's user avatar
Mathias Rav's user avatar
Mathias Rav's user avatar
Mathias Rav
  • Member for 11 years
  • Last seen more than a month ago
Profile Activity
Stats
393
reputation
2k
reached
3
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
2
Score
2
Posts
40
Posts %
2
Score
2
Posts
40
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
Top posts
question
14
Does the infinite graph of diagonals have an infinite component?
Aug 19, 2015
question
9
O(n)-space, polylog-time subtree sums in incremental forests?
Jun 7, 2022
answer
2
Practical example: how to formally verify "file name" implementation from a spec?
Sep 13, 2015
answer
2
O(n)-space, polylog-time subtree sums in incremental forests?
Jul 13, 2022
answer
0
Subgraph containing all nodes and edges that are part of length-limited simple s-t paths in a digraph
Dec 8, 2013
Top network posts
View all network posts
26
Should I bother locking the queue when I put to or get from it?
20
How do I clear journalctl entries for a specific unit only?
12
How do I properly support STARTTLS with aiosmtpd?
11
Transform irregular quadrilateral to rectangle in python matplotlib
9
git repoint to new remote repository