@inproceedings{drmnesc:hal-03781994, TITLE = {{Experiments with~Automated Reasoning in~the~Class}}, AUTHOR = {Dr{\u a}mnesc, Isabela and {\'A}brah{\'a}m, Erika and Jebelean, Tudor and Kusper, G{\'a}bor and Stratulat, Sorin}, URL = {https://inria.hal.science/hal-03781994}, BOOKTITLE = {{CICM 2022 - 15th Conference on Intelligent Computer Mathematics}}, ADDRESS = {Tbilisi / Hybrid, Georgia}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {13467}, PAGES = {287-304}, YEAR = {2022}, MONTH = Sep, DOI = {10.1007/978-3-031-16681-5\_20}, KEYWORDS = {Automated Reasoning ; Computational Logic ; Computer Aided Teaching}, PDF = {https://inria.hal.science/hal-03781994/file/paper.pdf}, HAL_ID = {hal-03781994}, HAL_VERSION = {v1}, }