Ability to perform symbolic computations is a crucial component of any mathematics-oriented package. Symbolic mathematics is used to work with complex expres...
L. Podina, B. Eastman, and M. Kohandel. Proceedings of the 40th International Conference on Machine Learning, volume 202 of Proceedings of Machine Learning Research, page 27948--27956. PMLR, (23--29 Jul 2023)
S. Mežnar, S. Džeroski, and L. Todorovski. (2023)cite arxiv:2302.09893Comment: 35 pages, 11 tables, 7 multi-part figures, Machine learning (Springer) and journal track of ECML/PKDD 2023.
L. Biggio, T. Bendinelli, A. Neitz, A. Lucchi, and G. Parascandolo. Proceedings of the 38th International Conference on Machine Learning, volume 139 of Proceedings of Machine Learning Research, page 936--945. PMLR, (18--24 Jul 2021)
L. Biggio, T. Bendinelli, A. Neitz, A. Lucchi, and G. Parascandolo. Proceedings of the 38th International Conference on Machine Learning, volume 139 of Proceedings of Machine Learning Research, page 936--945. PMLR, (18--24 Jul 2021)
M. Alam, P. Groth, P. Hitzler, H. Paulheim, H. Sack, and V. Tresp. CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, Virtual Event, Ireland, October 19-23, 2020, page 3523--3524. ACM, (2020)
R. Calegari, G. Ciatto, J. Dellaluce, and A. Omicini. WOA 2019 -- 20th Workshop ``From Objects to Agents'', volume 2404 of CEUR Workshop Proceedings, Sun SITE Central Europe, RWTH Aachen University, (2019)
H. Elmqvist, M. Otter, and F. Cellier. Proceedings of the 1995 European Simulation Multiconference, page 23-34. Prague, Czech Republic, Society for Computer Simulation International, (June 2005)
P. Cobb, E. Yackel, and T. Wood. The Emergence of Mathermatical Meaning: Interactions in Classroom Cultures, Lawrence Erlbaum Associates, Hillside, NJ, (1995)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)
G. Bernat, and A. Burns. (2000)http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2148
Copyright c 2000 IFAC
Keywords: Real-time, timing-analysis. 1..
F. Stappert, and P. Altenbernd. Journal of Systems Architecture, 46 (4):
339--356(2000)Friedhelm Stappert, Peter Altenbernd
C-LAB, Fürstenallee 11, D-33095 Paderborn, Germany
Fax: ++49-5251-60-6065
e-mail: fst, peter@c-lab.de.
V. Lam, and J. Padget. Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the, page 337--346. (2004)