Theoretical Computer Science
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 8 years
  • Last seen this week
Profile Activity
Stats
921
reputation
5k
reached
0
answers
22
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
View all tags
0
Score
8
Posts
36
Posts %
0
Score
7
Posts
32
Posts %
0
Score
4
Posts
18
Posts %
0
Score
4
Posts
18
Posts %
0
Score
3
Posts
14
Posts %
0
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
14
Algebraic topology for termination proofs
Aug 1, 2018
question
8
Cook inspiration for NP completeness
Oct 4, 2021
question
7
Lee's algorithm for synthesis of ranking functions in size-change termination proofs
Aug 3, 2018
question
5
Using ϵ -unification and Knuth-Bendix completion to automatically proof theorems about groups
Aug 23, 2017
question
5
On the interpretation of coinduction in type theory
Dec 22, 2019
question
5
Categorical equivalent of higher order logic
Jul 31, 2020
question
5
Arithmetization of finite automata
Jan 14
question
4
Formalization of Interval Newton methods in a proof assistant or theorem prover
Oct 27, 2018
question
3
Representable functions on System T
Jul 29, 2018
question
3
Proof and computational complexity
Apr 16, 2021
Top network posts
View all network posts
29
What is a batch compiler?
22
Multiplication of a random variable with constant
19
How to demo Skype-decryption using FOSS tools?
12
Ruby protected visibility calling from superclass
11
Expectation of gradient in stochastic gradient descent algorithm

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.