зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 12:46:06 +02:00
33 строки
1.3 KiB
Plaintext
33 строки
1.3 KiB
Plaintext
https://www.wolfram.com/
|
|
|
|
https://www.wolfram.com/engine/
|
|
https://www.wolfram.com/language/
|
|
https://www.wolfram.com/mathematica/
|
|
|
|
2019
|
|
https://blog.wolfram.com/2019/05/21/launching-today-free-wolfram-engine-for-developers/
|
|
https://blog.stephenwolfram.com/2019/05/launching-today-free-wolfram-engine-for-developers/
|
|
https://habr.com/ru/company/wolfram/blog/471812/
|
|
https://habr.com/ru/post/453074/
|
|
2017
|
|
Wolfram - An Elementary Introduction to the Wolfram Language 2nd ed
|
|
https://www.wolfram.com/books/profile.cgi?id=9560
|
|
|
|
presentations
|
|
2018
|
|
Wolfram - Conjecturing Theorems in Euclidean Geometry 0:00 of 26:28
|
|
https://www.youtube.com/watch?v=qUSiVuAeHYI
|
|
|
|
courses
|
|
2020
|
|
MIPT - Kazantsev - Wolfram Math Autumn
|
|
https://www.youtube.com/playlist?list=PLFH0Z3YQPp1hGB4guZhJwITkFFEqD-GAo
|
|
https://drive.google.com/drive/folders/1YzehYyhSqr-EnXb57ini5I9CIsUlMEin
|
|
MIPT - Kazantsev - Wolfram Math Spring
|
|
https://www.youtube.com/playlist?list=PLFH0Z3YQPp1hNa3hUC8fawrznW7IbA8SD
|
|
https://drive.google.com/drive/folders/1h8ieb0Coq-4nvIs_cdON475iuCvIssPn
|
|
|
|
https://reference.wolfram.com/language/guide/TheoremProving.html
|
|
https://mathematica.stackexchange.com/questions/tagged/theorem-proving
|
|
https://mathematica.stackexchange.com/questions/203225/basic-theorem-proving-in-mathematica
|