{"product_id":"de-paiva-valeria-intelligent-computer-mathematics-9783032070203","title":"Intelligent Computer Mathematics","description":".- Automated Reasoning.\n\u003cbr\u003e\n.- Hammering Higher Order Set Theory.\n\u003cbr\u003e\n.- Synthesis Benchmarks for Automated Reasoning.\n\u003cbr\u003e\n.- Automated Symmetric Constructions in Discrete Geometry.\n\u003cbr\u003e\n.- Formal Libraries.\n\u003cbr\u003e\n.- Growing Mathlib: Maintenance of a Large Scale Mathematical Library.\n\u003cbr\u003e\n.- Exploring Formal Math on the Blockchain: An Explorer for Proofgold.\n\u003cbr\u003e\n.- Supporting Maintenance of Formal Mathematics with Similarity Search.\n\u003cbr\u003e\n.- Logical and Linguistic Foundations.\n\u003cbr\u003e\n.- Graded Quantitative Narrowing.\n\u003cbr\u003e\n.- Equational Generalization Problems with Atom-Variables.\n\u003cbr\u003e\n.- Extending Flexible Boolean Semantics for the Language of Mathematics.\n\u003cbr\u003e\n.- A Formal Definition of an Algorithm Suitable for Parsing the Language of Mathematics.\n\u003cbr\u003e\n.- Mathematical Knowledge Management.\n\u003cbr\u003e\n.- Reaping the Benefits of Modularization in Flexiformal Mathematics by GFbased AST Transformations.\n\u003cbr\u003e\n.- Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents.\n\u003cbr\u003e\n.- Michael Kohlhase and Jan Frederik Schaefer Lightweight Realms.\n\u003cbr\u003e\n.- Indexing and Retrieval in a Heterogeneous Formal Library.\n\u003cbr\u003e\n.- Neural Language Models.\n\u003cbr\u003e\n.- Exploring Proof Autoformalization with Mistral on Herald.\n\u003cbr\u003e\n.- Boosting Math Problem Solving in Small LLMs via Ensembles.\n\u003cbr\u003e\n.- Proof Assistants and Formalizations.\n\u003cbr\u003e\n.- Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean.\n\u003cbr\u003e\n.- Certified Algorithms for Numerical Semigroups in Rocq.\n\u003cbr\u003e\n.- Formalizing the Solow Model in Naproche.\n\u003cbr\u003e\n.- Formalizing MLTL Formula Progression in Isabelle\/HOL.\n\u003cbr\u003e\n.- Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle\/HOL.\n\u003cbr\u003e\n.- A PVS Library on the Infinitude of Primes.\n\u003cbr\u003e\n.- Vector Graphics through Category Theory.\n\u003cbr\u003e\n.- A Lean-Based Language for Teaching Proof in High School.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53644161974614,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783032070203_1_7ac334bf-cab9-44ce-b9b7-a5ab0951c84f.jpg?v=1778720323","url":"https:\/\/www.momoxbooks.com\/products\/de-paiva-valeria-intelligent-computer-mathematics-9783032070203","provider":"momoxbooks","version":"1.0","type":"link"}