John Roberts's user avatar
John Roberts's user avatar
John Roberts's user avatar
John Roberts
  • Member for 11 years, 3 months
  • Last seen more than 7 years ago
4 votes
1 answer
400 views

Lambda Calculus Equivalence

3 votes
1 answer
691 views

Software to Calculate Kernighan-Lin Algorithm on Graph

3 votes
1 answer
468 views

Boolean Algebra Transform

1 vote
1 answer
1k views

Identifying All Redexes in Lambda Expression

1 vote
1 answer
543 views

Boolean Equation Transformation

1 vote
1 answer
614 views

Software to Find Kernels/Co-Kernels of Boolean Expressions

1 vote
0 answers
233 views

Fourier Series Help

1 vote
1 answer
271 views

Help With Difficult Proof

0 votes
2 answers
81 views

Help With Partial Derivative

0 votes
2 answers
725 views

Product of Sums to Sum of Products

0 votes
1 answer
69 views

Differential Equation Problems

0 votes
1 answer
696 views

Adding Parentheses to Lambda Expression

0 votes
1 answer
636 views

Lambda Calculus Expression Evaluation