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:23 | comment | added | David Feldman | If I recall, commutative algebra abounds with arguments where one needs to see that a quantity defined, perhaps, by a determinant, or by something even more complicated, sits in a certain ideal, perhaps up to some dominant term. The subject isn't fresh enough in my mind for me to narrow down to the killer examples. | |
| Oct 15, 2011 at 9:45 | history | answered | Julien Puydt | CC BY-SA 3.0 |