Owen Lynch: The Computer Algebra System of the Future
Рет қаралды 2,649
Күн бұрынApril 7, 2023
Slides: owenlynch.org/static/cas_of_t...
Gatlab code: github.com/AlgebraicJulia/Gat...
Relevant blog post: blog.algebraicjulia.org/post/...
@juansalvadordomandl5287 Жыл бұрын
Excellent.
@ekmett Жыл бұрын
15:20 Owen, I managed to catch your video on the backswing. Sorry for missing it in person!
@marcoperin50 Жыл бұрын
very cool!
@fbkintanar Жыл бұрын
Are the slides available? There were no close up shots of the presentation screen, so the pictures of slides are not legible.
@ToposInstitute Жыл бұрын
Yes, just uploaded them: owenlynch.org/static/cas_of_the_future/
@JohannesRiecken 6 ай бұрын
How can I write algebraic expressions with this and see how they simplify? I checked the docs, but couldn’t find it
@rektator Жыл бұрын
This is actually pretty cool and closely related what I'm researching. I am playing around with syntactic structures modeled in categories with structure.
@duncanw9901 Жыл бұрын
I require source code 🗿 Great talk; I've been looking for a general approach to CAS
@ToposInstitute Жыл бұрын
At the time of the video, this was private, but is now public: github.com/AlgebraicJulia/Gatlab.jl
@CarterSchonwald Жыл бұрын
Are the slides or writings available anywhere ?
@ToposInstitute Жыл бұрын
Just uploaded: owenlynch.org/static/cas_of_the_future/
Topos Institute
Рет қаралды 706
Machine Learning & Simulation
Рет қаралды 8 М.
NVIDIA Developer
Рет қаралды 6 М.
wenshenpsu
Рет қаралды 249 М.