Timeline for Virtual algebraic calculation within proofs
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 15, 2011 at 23:03 | comment | added | David Feldman | Actually I'd thought over including this and even combinatorial identities that follow from manipulating such expressions. | |
| Oct 15, 2011 at 7:02 | history | answered | Alexander Woo | CC BY-SA 3.0 |