Search results for ""author andrea kohlhase""
Springer 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 Veri?cation: 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 Pr
£59.99
