Theoretical Computer Science
Mathias Rav's user avatar
Mathias Rav's user avatar
Mathias Rav's user avatar
Mathias Rav
  • Member for 9 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
393
reputation
908
reached
3
answers
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
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
All Questions Answers
Score Newest
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
22
Should I bother locking the queue when I put to or get from it?
18
How do I clear journalctl entries for a specific unit only?
10
Transform irregular quadrilateral to rectangle in python matplotlib
10
How do I properly support STARTTLS with aiosmtpd?
8
git repoint to new remote repository

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.