External-Otitis
发表于 2025-3-21 18:24:20
书目名称Intelligent Computer Mathematics影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0469416<br><br> <br><br>书目名称Intelligent Computer Mathematics读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0469416<br><br> <br><br>
小卷发
发表于 2025-3-21 21:50:41
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigationogical-investigations, we contribute to building an Isabelle category theory library, with a focus on ease of use in the formalization beyond category theory itself. This work paves the way for future formalizations based on category theory and demonstrates the power of automated reasoning in investigating meta-logical questions.
Overstate
发表于 2025-3-22 00:45:26
Isabelle Formalisation of Original Representation Theoremsfication via Isabelle/HOL definitions and theorems, and exposes the technical challenges found in the process. The introduced formalisation completes the verification of Isabelle-verified event structure enumeration algorithms into a fully verified framework to link event structures to full graphs.
同来核对
发表于 2025-3-22 08:00:11
Highlighting Named Entities in Input for Auto-formulation of Optimization Problemsnts an approach that converts linear programming word problems into mathematical formulations. We leverage the named entities in a problem description and augment the input to highlight these entities. Our approach achieves the highest accuracy among all submissions to the NL4Opt competition, securing first place in the generation track.
byline
发表于 2025-3-22 11:04:19
Nominal AC-Matching of nominal atoms, permutations and abstractions. Furthermore, by adding a parameter for “protected variables” that cannot be instantiated during the execution, it enables nominal matching. Such a general treatment of protected variables also gives rise to a verified nominal AC-equality checker as a byproduct.
Pigeon
发表于 2025-3-22 16:00:06
Morphism Equality in Theory Graphsin several elementary formalizations that critically require stating and proving certain non-trivial morphism equalities. The key difficulty of this approach is that important properties of theory graphs now become undecidable and require heuristic methods.
disciplined
发表于 2025-3-22 18:24:03
Conference proceedings 2023 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, teach
Fibroid
发表于 2025-3-22 21:25:52
http://reply.papertrans.cn/47/4695/469416/469416_8.png
放牧
发表于 2025-3-23 03:29:40
Teaching Linear Algebra in a Mechanized Mathematical Environment Jupyter Notebooks, and some choices of topics that are especially suited to teaching with these tools. The discussion is informed by our experience over the past thirty or more years teaching at various levels, especially at the University of Western Ontario.
QUAIL
发表于 2025-3-23 08:24:46
Conference proceedings 2023rom 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..