Theoretical Computer Science
Mathias Rav's user avatar
Mathias Rav's user avatar
Mathias Rav's user avatar
Mathias Rav
  • Member for 9 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
393
reputation
892
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
Python aiosmtpd - what is missing for an Mail-Transfer-Agent (MTA)?

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.