✦ LIBER ✦

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

✍ Scribed by Calmet, Jacques; Ida, Tetsuo; Wang, Dongming

Book ID: 125804247
Publisher: Springer Berlin Heidelberg
Year: 2006
Tongue: German
Weight: 608 KB
Category: Article
ISBN: 3540397302
DOI: 10.1007/11856290_21

No coin nor oath required. For personal study only.

✦ Synopsis

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 Computation, Constraint Satisfaction/solving, And Mathematical Knowledge Management. Coverage Includes Mathematical Foundations, Implementations, And Applications In Industry And Academia.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Arti

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial

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

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

[Lecture Notes in Computer Science] Advances in Computational Intelligence Volume 7903 || Artificial Bee Clustering Search

✍ Rojas, Ignacio; Joya, Gonzalo; Cabestany, Joan 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 206 KB

This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013. The 116 revised papers were carefully reviewed and selected from numerous submiss

[Lecture Notes in Computer Science] Desi

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 1128 || A deductive database for mathematical formulas

✍ Calmet, Jacques; Limongelli, Carla 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 706 KB

[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

[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