✦ LIBER ✦

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

✍ Scribed by Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang

Book ID: 121696077
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 384 KB
Category: Article
ISBN: 3642393209
DOI: 10.1007/978-3-642-39320-4_16

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 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 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 7362 || An Essence of SSReflect

✍ Jeuring, Johan; Campbell, John A.; Carette, Jacques; Dos Reis, Gabriel; Sojka, P 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 311 KB

[Lecture Notes in Computer Science] Arti

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || A Search Engine for Mathematical Formulae

✍ Calmet, Jacques; Ida, Tetsuo; Wang, Dongming 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 608 KB

Here Are The Refereed Proceedings Of The 8th International Conference On Artificial Intelligence And Symbolic Computation, Aisc 2006. The Book Presents 18 Revised Full Papers Together With 4 Invited Papers, Organized In Topical Sections On Artificial Intelligence And Theorem Proving, Symbolic Comput

[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] TEX

[Lecture Notes in Computer Science] TEX for Scientific Documentation Volume 236 || Retrieving mathematical formulae

✍ Désarménien, Jacques 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 German ⚖ 889 KB

Edited By Jacques Désarménien. Includes Bibliographical References.