Video of our @SageMath Days session on #Symbolics with talks by Yuan Zhou @universityofky, @hypergeometer on FLINT, @asmeurer and Oscar Benjamin on @SymPy, and Gereon Kremer @StanfordEng on #Satisfiability Modulo Theories
https://www.youtube.com/watch?v=ujWoGQt7F5A
#Python...
0
0
1
0