Computer Science
apen's user avatar
apen's user avatar
apen's user avatar
apen
  • Member for 5 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
369
reputation
15k
reached
2
answers
8
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
12
Score
1
Posts
10
Posts %
12
Score
1
Posts
10
Posts %
3
Score
2
Posts
20
Posts %
3
Score
1
Posts
10
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
12
Why are mathematical proofs so hard?
Aug 6, 2020
question
3
In predicate logic, is the "environment" only needed when free variables are present?
May 24, 2019
answer
3
Dynamic programming: speed of top down vs bottom up approaches
Aug 6, 2020
question
2
Are isomorphic (untyped) lambda expressions semantically equivalent?
May 11, 2019
question
2
Solving largely monotone SAT formulas
Jan 26, 2021
question
1
Directed weighted multigraph isomorphism algorithms
May 30, 2019
question
1
Is it generally possible to convert CNF to Horn clauses?
Nov 2, 2020
question
1
Fast software pipelining for stream processing
Feb 15, 2021
question
0
What is the advantage of Rete algorithm compared to relational database engines?
May 20, 2020
question
0
First-order mutual-recursive functions Turing-complete or incomplete?
Aug 6, 2020
Top network posts
View all network posts
24
Clear form fields with jQuery
8
Proof for: $(a+b)^{p} \equiv a^p + b^p \pmod p$
7
How to prove that antipodal points on the Bloch sphere are orthogonal?
5
Fast tricks to determine array elements are non-negative in C?

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.