Timeline for Is there research on Machine Learning techniques to discover conjectures (theorems) in a wide range of mathematics beyond mathematical logic?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 9, 2016 at 1:23 | answer | added | Tadashi | timeline score: 7 | |
| Feb 19, 2016 at 15:51 | answer | added | Noah Stein | timeline score: 8 | |
| Feb 19, 2016 at 14:59 | history | edited | Xingdong Zuo | CC BY-SA 3.0 |
added 126 characters in body
|
| Feb 19, 2016 at 14:51 | history | edited | Xingdong Zuo | CC BY-SA 3.0 |
added 126 characters in body
|
| Feb 19, 2016 at 14:42 | history | edited | Xingdong Zuo | CC BY-SA 3.0 |
added 126 characters in body
|
| Feb 19, 2016 at 14:16 | history | edited | user9072 | CC BY-SA 3.0 |
removed "tag" from title, minor cleanup, tags
|
| Feb 19, 2016 at 5:57 | answer | added | joro | timeline score: 7 | |
| Feb 19, 2016 at 5:35 | history | asked | Xingdong Zuo | CC BY-SA 3.0 |