Загрузка страницы

Symbolics.jl: Fast and Flexible Symbolic Programming | Shashi Gowda, Yingbo Ma | JuliaCon 2021

This talk was given as part of JuliaCon 2021.

Abstract:
Symbolics.jl is a fast, yet flexible symbolic manipulation package. It can generate serial or multi-threaded Julia code; or even C, Stan or MATLAB code from symbolic expressions. This talk is an overview of the features and the organization of the Symbolics.jl package, and the design decisions that make it fast and extendable.

For more info on the Julia Programming Language, follow us on Twitter: https://twitter.com/JuliaLanguage and consider sponsoring us on GitHub: https://github.com/sponsors/JuliaLang

Contents
00:00 Welcome!
00:08 Introduction
00:21 Origin
00:48 Goals
01:23 Symbolics.jl tour
04:55 Expression trees
09:38 Rule-based rewriting
11:25 Symbolic Arrays
16:10 Symbolic Arrays: ArrayOp
23:33 Acknowledgements
23:50 More to see

S/O to https://github.com/waldyrious for the video timestamps!

Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: https://github.com/JuliaCommunity/YouTubeVideoTimestamps

Interested in improving the auto generated captions? Get involved here: https://github.com/JuliaCommunity/YouTubeVideoSubtitles

Видео Symbolics.jl: Fast and Flexible Symbolic Programming | Shashi Gowda, Yingbo Ma | JuliaCon 2021 канала The Julia Programming Language
Показать
Комментарии отсутствуют
Введите заголовок:

Введите адрес ссылки:

Введите адрес видео с YouTube:

Зарегистрируйтесь или войдите с
Информация о видео
30 июля 2021 г. 16:45:01
00:24:24
Другие видео канала
EuroAD 2021: ChainRules.jl: AD system agnostic rules for JuliaLangEuroAD 2021: ChainRules.jl: AD system agnostic rules for JuliaLangKeynote: Modeling and Simulation to Guide Dose... | Husain Attarwala (Moderna) | JuliaCon 2022Keynote: Modeling and Simulation to Guide Dose... | Husain Attarwala (Moderna) | JuliaCon 2022UnitCommitment.jl Security-Constrained Unit Commitment in JuMP | Alinson S Xavier | JuliaCon2021UnitCommitment.jl Security-Constrained Unit Commitment in JuMP | Alinson S Xavier | JuliaCon2021JuliaCon 2020 | Convex.jl: where are we and where do we want to go? | Eric P. HansonJuliaCon 2020 | Convex.jl: where are we and where do we want to go? | Eric P. HansonPut some constraints into your life with JuliaCon(straints) | Jean-François Baffier  | JuliaCon 2021Put some constraints into your life with JuliaCon(straints) | Jean-François Baffier | JuliaCon 2021The OSCAR Computer Algebra System | Max Horn, Claus Fieker | JuliaCon 2021The OSCAR Computer Algebra System | Max Horn, Claus Fieker | JuliaCon 20213.6x speedup on A64FX by squeezing ShallowWaters.jl into Float16 | Milan Klöwer | JuliaCon20213.6x speedup on A64FX by squeezing ShallowWaters.jl into Float16 | Milan Klöwer | JuliaCon2021Relational AI | Sponsor Talk | JuliaCon 2021Relational AI | Sponsor Talk | JuliaCon 2021Pebble games - Time and space to differentiate a program | Jin Guo Lin | JuliaCon2021Pebble games - Time and space to differentiate a program | Jin Guo Lin | JuliaCon2021AugmentedGaussianProcesses.jl, a full Gaussian Process toolkit | Théo Galy-Fajou | JuliaCon 2020AugmentedGaussianProcesses.jl, a full Gaussian Process toolkit | Théo Galy-Fajou | JuliaCon 2020Introduction to Decision Making Under Uncertainty using POMDPs.jlIntroduction to Decision Making Under Uncertainty using POMDPs.jlJulog.jl: Prolog-like Logic Programming in Julia | Xuan (Tan Zhi Xuan) | JuliaCon 2021Julog.jl: Prolog-like Logic Programming in Julia | Xuan (Tan Zhi Xuan) | JuliaCon 2021Bifurcation Based Machine Learning of Dynamical Systems | Kyoung Hyun Lee | SciMLCon 2022Bifurcation Based Machine Learning of Dynamical Systems | Kyoung Hyun Lee | SciMLCon 2022RelationalAI | Sponsored Talk | JuliaCon 2022RelationalAI | Sponsored Talk | JuliaCon 2022New tools to solve PDEs in Julia with Gridap.jl | Francesc Verdugo et al | JuliaCon2021New tools to solve PDEs in Julia with Gridap.jl | Francesc Verdugo et al | JuliaCon2021Agents.jl and the next chapter in agent based modelling | Tim DuBois | JuliaCon 2021Agents.jl and the next chapter in agent based modelling | Tim DuBois | JuliaCon 2021Tomographic Image Reconstruction with Julia | Tobias Knopp | JuliaCon2021Tomographic Image Reconstruction with Julia | Tobias Knopp | JuliaCon2021Learn about Blockchain Development in Julia | Logan Kilpatrick | JuliaCon2021Learn about Blockchain Development in Julia | Logan Kilpatrick | JuliaCon2021Scaling up Training of any Flux.jl Model Made Easy | Dhairya Gandhi | JuliaCon 2022Scaling up Training of any Flux.jl Model Made Easy | Dhairya Gandhi | JuliaCon 2022Sampling Live Visualizations with Turkie and TuringCallbacks | Théo Galy-Fajou | JuliaCon2021Sampling Live Visualizations with Turkie and TuringCallbacks | Théo Galy-Fajou | JuliaCon2021Jumping into the Julia Community via Advent Of Code | Jasmine Hughes | JuliaCon2021Jumping into the Julia Community via Advent Of Code | Jasmine Hughes | JuliaCon2021
Яндекс.Метрика