Publications

1) I. Drămnesc, T. Jebelean, Automated Reasoning in the Class: An Educational Project for Software Engineers In: Proceedings of INTED2022: 16th International Technology, Education and Development Conference, pp. 6224-6228, March 2022, Valencia, Spain,  https://doi.org/10.21125/inted.2022.1581

2) I. Drămnesc, E. Abraham,  T. Jebelean, G. Kusper, S. Stratulat, ARC: An Educational Project on Automated Reasoning in the Class In Proceedings of EdMedia+ Innovate Learning 2022, pp. 934-043, June 2022, New York City, NY, United States of America, AACE,  https://www.learntechlib.org/primary/p/221395

3) I. Drămnesc, E. Abraham,  T. Jebelean, G. Kusper, S. Stratulat, Experiments with Automated Reasoning in the Class In: Proceedings of CICM 2022: 15th International Conference on Intelligent Computer Mathematics, pp. 287-304, September 2022, Tbilisi, Georgia, LNCS, Springer, https://doi.org/ 10.1007/978-3-031-16681-5_20

4) I. Drămnesc, E. Abraham,  T. Jebelean, G. Kusper, S. Stratulat,  Automated Reasoning in the Class, submitted to Computeralgebra Rundbrief.