CICM’21 systems entries. (English) Zbl 1485.68300
Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 245-248 (2021).
Summary: This consolidated paper gives an overview of new tools and improvements of existing tools in the CICM domain that occurred since the last CICM conference.
For the entire collection see [Zbl 1484.68013].
For the entire collection see [Zbl 1484.68013].
MSC:
| 68V99 | Computer science support for mathematical research and practice |
References:
| [1] | The Archive of Formal Proofs (AFP), 2004-2021 · Zbl 1452.62512 |
| [2] | Dragomir, I.; Preoteasa, V.; Tripakis, S., The refinement calculus of reactive systems toolset, Int. J. Softw. Tools Technol. Transf., 22, 6, 689-708 (2020) · doi:10.1007/s10009-020-00561-4 |
| [3] | Kaggle. State of data science and machine learning (2020). https://www.kaggle.com/kaggle-survey-2020 |
| [4] | Wimmer, S., Haslbeck, M.P.L.: Platform for interactive theorem proving competitions. https://github.com/maxhaslbeck/proving-contest-backends |
| [5] | Paulson, LC; Nipkow, T.; Wenzel, M., From LCF to Isabelle/HOL, Formal Aspects Comput., 31, 675-698 (2019) · Zbl 1427.68349 · doi:10.1007/s00165-019-00492-1 |
| [6] | Wenzel, M.: The Isabelle System Manual. https://isabelle.in.tum.de/doc/system.pdf |
| [7] | Wenzel, M.: Isabelle/jEdit. https://isabelle.in.tum.de/doc/jedit.pdf · Zbl 1294.68129 |
| [8] | Kaliszyk, C.; Brady, E.; Kohlhase, A.; Sacerdoti Coen, C., Intelligent Computer Mathematics (2019), Cham: Springer, Cham · Zbl 1428.68028 · doi:10.1007/978-3-030-23250-4 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
