Timeline for Research in applied algebra
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 9, 2018 at 9:26 | history | edited | Dima Pasechnik | CC BY-SA 4.0 |
added 165 characters in body
|
| Sep 9, 2018 at 9:25 | comment | added | usermath | Thank you so much. I have heard about computer-proofs. That is really interesting. Unfortunately I have no exposure to type theory or category theory. However symmetries are more close to my research topic probably. Though I am open to learn new things. Do you have any suggestion regarding any specific institution or person? Thanks again. | |
| Sep 9, 2018 at 9:21 | history | answered | Dima Pasechnik | CC BY-SA 4.0 |