John Roberts's user avatar
John Roberts's user avatar
John Roberts's user avatar
John Roberts
  • Member for 11 years, 7 months
  • Last seen more than 7 years ago
1 vote
2 answers
1k views

Identifying All Redexes in Lambda Expression

3 votes
1 answer
733 views

Software to Calculate Kernighan-Lin Algorithm on Graph

0 votes
2 answers
726 views

Product of Sums to Sum of Products

0 votes
1 answer
700 views

Adding Parentheses to Lambda Expression

1 vote
1 answer
641 views

Software to Find Kernels/Co-Kernels of Boolean Expressions

0 votes
1 answer
640 views

Lambda Calculus Expression Evaluation

1 vote
1 answer
544 views

Boolean Equation Transformation

3 votes
1 answer
470 views

Boolean Algebra Transform

4 votes
1 answer
411 views

Lambda Calculus Equivalence

1 vote
1 answer
272 views

Help With Difficult Proof

1 vote
0 answers
234 views

Fourier Series Help

0 votes
2 answers
81 views

Help With Partial Derivative

0 votes
1 answer
71 views

Differential Equation Problems