$Buchumschlag$

Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems /

Weitere Versionen anzeigen (2)

This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typese...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Greiner-Petter, André (Verfasst von)
Körperschaft:	SpringerLink (Online service)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023.
Ausgabe:	1st ed. 2023.
Schlagworte:	Engineering mathematics. Engineering > Data processing. Computational intelligence. Algebra. Artificial intelligence. Mathematical and Computational Engineering Applications. Computational Intelligence. Artificial Intelligence.
Online-Zugang:	Link to Metadata
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
von: Greiner-Petter, André
Veröffentlicht: (2023)

Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
von: Greiner-Petter, André
Veröffentlicht: (2023)

Digital Twin Architectures, Networks, and Applications /
von: Zhang, Yan
Veröffentlicht: (2024)

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Veröffentlicht: (2022)

The Road to General Intelligence
von: Swan, Jerry, et al.
Veröffentlicht: (2022)

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Veröffentlicht: (2022)

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Veröffentlicht: (2023)

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Veröffentlicht: (2023)

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Veröffentlicht: (2023)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Veröffentlicht: (2020)

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /
Veröffentlicht: (2018)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Veröffentlicht: (2020)

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings /
Veröffentlicht: (2016)

Phygital Intelligence Proceedings of the 5th International Conference on Computational Design and Robotic Fabrication (CDRF 2023) /
Veröffentlicht: (2024)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Veröffentlicht: (2019)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Veröffentlicht: (2018)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Veröffentlicht: (2018)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Veröffentlicht: (2018)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Veröffentlicht: (2018)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Veröffentlicht: (2019)

Hyperparameter Tuning for Machine and Deep Learning with R A Practical Guide /
Veröffentlicht: (2023)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Veröffentlicht: (2019)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Veröffentlicht: (2019)

Anti-fragile ICT Systems
von: Hole, Kjell Jørgen
Veröffentlicht: (2016)

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /
Veröffentlicht: (2022)

Design of Heuristic Algorithms for Hard Optimization With Python Codes for the Travelling Salesman Problem /
von: Taillard, Éric D.
Veröffentlicht: (2023)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Veröffentlicht: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Veröffentlicht: (2021)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Veröffentlicht: (2018)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Veröffentlicht: (2018)

The 2nd International Conference on Computational Engineering and Intelligent Systems
Veröffentlicht: (2023)

Models, Methods and Tools for Product Service Design The Manutelligence Project
Veröffentlicht: (2019)

Models, Methods and Tools for Product Service Design The Manutelligence Project
Veröffentlicht: (2019)

Photonic Neural Networks with Spatiotemporal Dynamics Paradigms of Computing and Implementation /
Veröffentlicht: (2024)

Modern IoT Onboarding Platforms for Advanced Applications A Practitioner's Guide to KIS.ME /
von: Witczak, Marcin, et al.
Veröffentlicht: (2023)

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
Veröffentlicht: (2018)

Künstliche Intelligenz und Gesundheit Ethische, philosophische und sozialwissenschaftliche Explorationen
Veröffentlicht: (2022)

Künstliche Intelligenz und Gesundheit Ethische, philosophische und sozialwissenschaftliche Explorationen
Veröffentlicht: (2022)

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /
Veröffentlicht: (2018)

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
Veröffentlicht: (2018)