Skip to main content
Mathematics
Realz Slaw's user avatar
Realz Slaw's user avatar
Realz Slaw's user avatar
Realz Slaw
  • Member for 12 years, 4 months
  • Last seen more than a week ago
  • GitHub
  • $$F^{A^{R^{R^{R^{R^{A^{W^{A^{Y}}}}}}}}}$$
Profile Activity
Stats
652
reputation
24k
reached
7
answers
8
questions
Communities
View all
About

contact info: realz.slaw on gmail, enter image description here

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
22
bronze badges
Top tags
View all tags
16
Score
3
Posts
20
Posts %
9
Score
2
Posts
13
Posts %
7
Score
2
Posts
13
Posts %
2
Score
2
Posts
13
Posts %
2
Score
2
Posts
13
Posts %
2
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
question
11
Faster arithmetic with finite continued fractions
Nov 7, 2012
answer
9
How to prove that $P \neq NP$
Dec 2, 2013
answer
6
NP-complete: One proof to rule them all
Dec 3, 2013
question
4
How to remove linearly dependent rows/cols
Sep 19, 2012
question
4
CRT representation of integers, and multiplication in (almost) linear time
Nov 8, 2012
answer
3
Convert Circuit SAT to 3-SAT
Nov 14, 2013
question
2
Integer relation that equals one
Sep 5, 2012
question
2
Minimum square partitions for 4x3 and 5x4 rectangles
Nov 10, 2013
question
2
What is the first $w$ such that a rectangle, $R_{w\times w-1}$ is minimally-square-partitioned by less than $w$ squares.
Nov 17, 2013
answer
2
Plane intersection by a mapping and different cases
Sep 10, 2012
Top Meta posts
0
2
5
Is there a way to draw a graph (vertices & edges) in LaTeX on this website?
Top network posts
View all network posts
37
Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
28
Quantifiable metrics (benchmarks) on the usage of header-only c++ libraries
25
Limits of SMT solvers
23
Is Dominosa NP-Hard?
22
Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver