找回密碼
 To register

QQ登錄

只需一步，快速開始

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

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 32304|回復(fù): 60
樓主
發(fā)表于 2025-3-21 16:38:00 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Mathematical Knowledge Management
副標(biāo)題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ā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-20 07:52
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
泸西县| 延庆县| 会东县| 长宁县| 永泰县| 成安县| 许昌县| 尉犁县| 登封市| 宜良县| 康马县| 吴堡县| 玉龙| 新源县| 大港区| 莎车县| 会泽县| 京山县| 桂阳县| 准格尔旗| 宣化县| 西安市| 台山市| 安庆市| 呈贡县| 仪征市| 鹤岗市| 犍为县| 大连市| 贺州市| 张家港市| 永胜县| 林州市| 稻城县| 金山区| 鄢陵县| 徐闻县| 涟源市| 周口市| 茂名市| 宜城市|