Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings /

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Artificial Intelligence ; 14101Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Edition: 1st ed. 2023Description: XVII, 324 p. 83 illus., 49 illus. in color. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783031427534

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

006.3 23

LOC classification:

Q334-342
TA347.A78

Online resources:

Click here to access online

Contents:

Invited Talks -- Regular Papers -- Project and Survey papers -- System and Dataset Descriptions -- System Entry.

In: Springer Nature eBookSummary: This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Invited Talks -- Regular Papers -- Project and Survey papers -- System and Dataset Descriptions -- System Entry.

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

There are no comments on this title.

to post a comment.