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: Monday, June 28, 2021 Meshveliani S. D. On a machinechecked 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