The 4th international conference Computer algebra The afternoon session, section II. Chair: Monday, June 28, 2021 - Meshveliani S.D. On a machine-checked proof for an optimized method to multiply polynomials - Gevorkyan M.N., Kulyabov D.S., Korolkova A.V., Demidova A.V., Velieva T.R. Symbolic implementation of multivector algebra in Julia language - Malykh M.D., Malyshev . Solving the hyperbolic equation in elementary functions
Hide player controls
Hide resume playing