𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Autexier, Serge; Calmet, Jacques; Delahaye, David; Ion, Patrick D. F.; Rideau, Laurence; Rioboo, Renaud; Sexton, Alan P.

Book ID
120305723
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
230 KB
Category
Article
ISBN
3642141285

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Mathematics Volume 5081 || The Four Colour Theorem: Engineering of a Formal Proof
✍ Kapur, Deepak πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 English βš– 37 KB

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during tw

[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