找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Mathematical Knowledge Management; 4th International Co Michael Kohlhase Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006

[復(fù)制鏈接]
查看: 32303|回復(fù): 60
樓主
發(fā)表于 2025-3-21 16:38:00 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Mathematical Knowledge Management
副標題4th International Co
編輯Michael Kohlhase
視頻videohttp://file.papertrans.cn/627/626187/626187.mp4
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Mathematical Knowledge Management; 4th International Co Michael Kohlhase Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006
描述This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellask
出版日期Conference proceedings 2006
關(guān)鍵詞Algebra; automated theorem proving; e-learning; equation; formal logic; formal mathematics; interactive al
版次1
doihttps://doi.org/10.1007/11618027
isbn_softcover978-3-540-31430-1
isbn_ebook978-3-540-31431-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2006
The information of publication is updating

書目名稱Mathematical Knowledge Management影響因子(影響力)




書目名稱Mathematical Knowledge Management影響因子(影響力)學(xué)科排名




書目名稱Mathematical Knowledge Management網(wǎng)絡(luò)公開度




書目名稱Mathematical Knowledge Management網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Mathematical Knowledge Management被引頻次




書目名稱Mathematical Knowledge Management被引頻次學(xué)科排名




書目名稱Mathematical Knowledge Management年度引用




書目名稱Mathematical Knowledge Management年度引用學(xué)科排名




書目名稱Mathematical Knowledge Management讀者反饋




書目名稱Mathematical Knowledge Management讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

1票 100.00%

Perfect with Aesthetics
 

0票 0.00%

Better Implies Difficulty
 

0票 0.00%

Good and Satisfactory
 

0票 0.00%

Adverse Performance
 

0票 0.00%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:20:57 | 只看該作者
板凳
發(fā)表于 2025-3-22 02:44:53 | 只看該作者
地板
發(fā)表于 2025-3-22 04:59:28 | 只看該作者
5#
發(fā)表于 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.
6#
發(fā)表于 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.
7#
發(fā)表于 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.
8#
發(fā)表于 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.
9#
發(fā)表于 2025-3-23 02:02:48 | 只看該作者
10#
發(fā)表于 2025-3-23 08:55:54 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-20 07:40
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
棋牌| 类乌齐县| 怀化市| 文昌市| 天津市| 吕梁市| 武陟县| 正阳县| 垦利县| 涪陵区| 永城市| 堆龙德庆县| 青铜峡市| 桑植县| 仙居县| 罗江县| 伊宁县| 锦屏县| 庆城县| 钦州市| 诸城市| 青铜峡市| 怀集县| 射阳县| 攀枝花市| 平度市| 大理市| 阳信县| 墨江| 麻城市| 汶川县| 唐山市| 十堰市| 沅江市| 西峡县| 高唐县| 泰宁县| 平潭县| 七台河市| 汽车| 汝州市|