Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Artificial Intelligence, Band 16136) - Softcover

 
9783032070203: Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Artificial Intelligence, Band 16136)
Softcover
ISBN 10: 3032070201 ISBN 13: 9783032070203
Verlag: Springer, 2025

Inhaltsangabe

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.

The 24 full papers were presented in this volume were carefully reviewed and selected from 34  submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
3032070201
ISBN 13 
9783032070203
Einband
Taschenbuch
Anzahl der Seiten
496
Herausgeber
De Paiva Valeria, Koepke Peter
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland