Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

@article{Kutsia2021ProceedingsOT,
  title={Proceedings of the 9th International Symposium on Symbolic Computation in Software Science},
  author={Temur Kutsia},
  journal={ArXiv},
  year={2021},
  volume={abs/2109.02501}
}
This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021. Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects, etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. These algorithms and methods are successfully applied in various…