The 4th international conference Computer algebra. The afternoon session, section II, 2021-06-28
The 4th international conference Computer algebra The afternoon session, section II. Chair: E.V.Zima 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 K.Yu. Solving the hyperbolic equation in elementary functions
The 4th international conference Computer algebra The afternoon session, section II. Chair: E.V.Zima 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 K.Yu. Solving the hyperbolic equation in elementary functions