automated geometric theorem proving in julia | luca ferranti | juliacon 2022
Published 2 years ago • 874 plays • Length 7:27Download video MP4
Download video MP3
Similar videos
-
9:40
fuzzylogic.jl: productive fuzzy inference in julia | luca ferranti | juliacon 2023
-
8:59
concolic fuzzing: theorem prover on your julia code | valentin churavy | juliacon 2019
-
8:11
automatic differentiation for solid mechanics in julia | andrea vigliotti | juliacon 2022
-
3:01:39
juliamolsim: computation with atoms | rachel kurchin | juliacon 2022
-
7:56
copt and its julia interface | qi huangfu | juliacon 2022
-
30:25
mathopt: solver independent modeling in google's or-tools | ross anderson | juliacon 2023
-
55:28
jason rute - deep learning in interactive theorem proving - ipam at ucla
-
29:38
luca ferranti - plutograder.jl: a tool to write and automatically grade exams as pluto notebooks
-
2:36
rangeenclosures.jl: a flexible api to bound function ranges | luca ferranti | juliacon 2022
-
28:30
julia gaussian processes | will tebbutt | juliacon 2022
-
8:12
automated finite elements: a comparison between julia and c | bart janssens | juliacon 2022
-
7:53
cycles and julia sets: novel algorithms for numerical... | víctor álvarez aparicio | juliacon 2022
-
6:55
unitjump: automatic unit handling in jump | truls flatberg | juliacon 2022
-
9:05
intervallinearalgebra.jl: linear algebra done rigorously | luca ferranti | juliacon2021
-
24:54
automated pde solving in julia with methodoflines.jl | alex jones | juliacon 2022
-
25:05
pajarito's mathoptinterface makeover | chris coey | juliacon 2022
-
7:38
automating the composition of ml interatomic potentials in julia | emmanuel lujan | juliacon 2023
-
10:03
jump toqubo automatic reformulation | pedro xavier | juliacon 2022
-
19:28
juliacon 2020 | dynamicgrids.jl: high-performance spatial simulations in julia | rafael schouten