Vor Ort
Merkzettel Warenkorb
Produktbild: Intelligent Computer Mathematics
- 28%

Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science
28% sparen

86,99 € UVP 120,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.08.2024

Herausgeber

Andrea Kohlhase + weitere

Verlag

Springer

Seitenzahl

362

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-66996-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.08.2024

Herausgeber

Verlag

Springer

Seitenzahl

362

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-66996-5

Herstelleradresse

Springer International Publishing AG
Gewerbestr. 11
6330 Cham
Schweiz
Url: www.springer.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Intelligent Computer Mathematics

  • .- AI and LLM.

    .- Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations.

    .- Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.

    .- Using General Large Language Models to Classify Mathematical Documents.

    .- Proof Assistants.

    .- Chaining extensionality lemmas in Lean’s Mathlib.

    .- A formalization of all notions in the statement of a theorem by Deligne.

    .- Formalizing Finite Ramsey Theory in Lean 4.

    .- Formalizing Pick’s Theorem in Isabelle/HOL.

    .- Formalizing Coppersmith’s Method in Isabelle/HOL.

    .- Incorporating a database of graphs into a proof assistant.

    .- Logical Frameworks and Transformations. 

    .- Reusing Learning Objects via Theory Morphisms.

    .- Transforming Optimization Problems into Disciplined Convex Programming Form.

    .- A Logical Framework Perspective on Conservativity.

    .- Knowledge Representation and Certification.

    .- Towards Semantic Markup of Mathematical Documents via User Interaction.

    .- Evaluation and Domain Adaptation of Similarity Models for Short Mathematical Texts.

    .- Generating Formally Verified Quantum Fourier Transform Algorithms.

    .- Proof Search and Formalization. 

    .- Partial proof terms in the study of idealized proof search.

    .- A Framework for Formal Probabilistic Risk Assessment using HOL Theorem Proving.

    .- Solving Hard Mizar Problems with Instantiation and Strategy Invention.

    .- System Descriptions. 

    .- Remote Verification System for Mizar Integrated with Emwiki.

    .- Oruga: Implementation and Use of Representational Systems Theory.

    .- HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover.