Computer Science
François
  • Member for 6 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
669
reputation
38k
reached
12
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
15
bronze badges
Top tags
View all tags
18
Score
5
Posts
25
Posts %
10
Score
1
Posts
5
Posts %
6
Score
2
Posts
10
Posts %
5
Score
3
Posts
15
Posts %
5
Score
1
Posts
5
Posts %
2
Score
3
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
10
How can I prove algorithm correctness?
Jun 20 '15
7
Are syntax and semantic just 2 structures such that one is a model of the other?
Aug 15 '15
5
Is there a research name for "systems that steadily grow in complexity as they are computed"?
Aug 5 '15
4
Unprovable Post correspondence problem instance
Mar 27 '15
3
Is it admited to give the complexity of a function regarding the resulting data structure?
Apr 14 '16
3
Bipartite Matching in the Plane
Jun 18 '15
3
I think I have a regular expression for a non-regular language
Mar 29 '15
2
pseudo clique with at least connectivity x and maximum weight of the nodes
Jul 23 '15
2
Turning a simple polygon with holes into exterior-bounded only
Jun 19 '15
2
$A$ is finite, $B$ is NPC - When there's a polynomial reduction from $A$ to $B$?
Jun 19 '15
Top network posts
View all network posts
6
PSPACE completeness, with different kinds of reductions
6
Independence of Poisson random variables coming from Poisson sampling

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.