𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 7362 || An Essence of SSReflect

✍ Scribed by Jeuring, Johan; Campbell, John A.; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Wenzel, Makarius; Sorge, Volker

Book ID: 120977939
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 311 KB
Category: Article
ISBN: 3642313744
DOI: 10.1007/978-3-642-31374-5_13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 6824 || MathScheme: Project Description

✍ Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 79 KB

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Sys

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 7961 || Mathematics and the World Wide Web

✍ Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, W 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 396 KB

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Con

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 7961 || Structural Similarity Search for Mathematics Retrieval

✍ Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, W 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 384 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 6167 || A Formal Quantifier Elimination for Algebraically Closed Fields

✍ Autexier, Serge; Calmet, Jacques; Delahaye, David; Ion, Patrick D. F.; Rideau, L 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 230 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5625 || Math Handwriting Recognition in Windows 7 and Its Benefits

✍ Carette, Jacques; Dixon, Lucas; Coen, Claudio Sacerdoti; Watt, Stephen M. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 147 KB

As Computers And Communications Technology Advance, Greater Opportunities Arise For Intelligent Mathematical Computation. While Computer Algebra, Au- Mated Deduction And Mathematical Publishing Each Have Long And Successful Histories, We Are Now Seeing Increasing Opportunities For Synergy Among Them

[Lecture Notes in Computer Science] Arti

[Lecture Notes in Computer Science] Artificial Intelligence and Soft Computing - ICAISC 2004 Volume 3070 || ActiveMath: An Intelligent Tutoring System for Mathematics

✍ Rutkowski, Leszek; Siekmann, Jörg H.; Tadeusiewicz, Ryszard; Zadeh, Lotfi A. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 425 KB