User contributions for 75.36.204.57
Jump to navigation
Jump to search
25 August 2012
- 22:0122:01, 25 August 2012 diff hist +2,800 N Wilf–Zeilberger pair →Definition
20 August 2012
- 00:2800:28, 20 August 2012 diff hist +6,574 N Peirce's law →History
11 August 2012
- 02:5802:58, 11 August 2012 diff hist +17,497 N Fibonacci heap →Proof of degree bounds