深谋远虑
发表于 2025-3-21 16:38:00
书目名称Mathematical Knowledge Management影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0626187<br><br> <br><br>书目名称Mathematical Knowledge Management读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0626187<br><br> <br><br>
Ointment
发表于 2025-3-21 21:20:57
http://reply.papertrans.cn/63/6262/626187/626187_2.png
Slit-Lamp
发表于 2025-3-22 02:44:53
http://reply.papertrans.cn/63/6262/626187/626187_3.png
HAVOC
发表于 2025-3-22 04:59:28
http://reply.papertrans.cn/63/6262/626187/626187_4.png
obsession
发表于 2025-3-22 11:53:52
A Proof-Theoretic Approach to Hierarchical Math Library Organizationn of proofs that captures scope and present a set of proof rules to create and reorganize the scopes of theorems and lemmas. The representation and rules allow systems for formalized mathematics to more accurately reflect the natural structure of mathematical knowledge.
碳水化合物
发表于 2025-3-22 14:30:38
A Tough Nut for Mathematical Knowledge Managementystem can recognize that a solution to a problem is already available, although possibly in disguise. As our starting point we take McCarthy’s 1964 mutilated checkerboard challenge problem for proof procedures and compare some of its different formalizations.
Devastate
发表于 2025-3-22 20:32:18
Processing Textbook-Style Matrices matrix containing ellipses and fill symbols, our algorithm extracts the semantic information contained. Matrices are interpreted as a collection of regions that can be interpolated with a particular term structure. The effectiveness of our procedure is demonstrated with an implementation in the computer algebra system Maple.
Nonconformist
发表于 2025-3-22 22:31:33
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularityo proof assistants. It supports and bridges the gap between abstract level proof explanation and low-level proof verification. The proof data structure enables, in particular, the flexible handling of lemmas, the maintenance of different proof alternatives, and the representation of different granularities of proof attempts.
occult
发表于 2025-3-23 02:02:48
http://reply.papertrans.cn/63/6262/626187/626187_9.png
陶器
发表于 2025-3-23 08:55:54
http://reply.papertrans.cn/63/6262/626187/626187_10.png