✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || The parallel Risch algorithm (I)

✍ Scribed by Calmet, Jacques

Book ID: 111688796
Publisher: Springer Berlin Heidelberg
Year: 1982
Weight: 692 KB
Category: Article
ISBN: 3540394338
DOI: 10.1007/3-540-11607-9_17

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Symb

[Lecture Notes in Computer Science] Symbolic and Algebraic Computation Volume 72 || Algorithms for the integration of algebraic functions

✍ Ng, Edward W. 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 568 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 6859 || Context-Free Languages, Coalgebraically

✍ Corradini, Andrea; Klin, Bartek; Cîrstea, Corina 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 244 KB

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submi

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science – ICCS 2007 Volume 4487 || An Efficient Algorithm and Its Parallelization for Computing PageRank

✍ Shi, Yong; Albada, Geert Dick; Dongarra, Jack; Sloot, Peter M. A. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 317 KB

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wire

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 6247 || Exact Exploration and Hanging Algorithms

✍ Dawar, Anuj; Veith, Helmut 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 223 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Circular Coinduction: A Proof Theoretical Foundation

✍ Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 332 KB

This Book Constitutes The Proceedings Of The Third International Conference On Algebra And Coalgebra In Computer Science, Calco 2009, Formed In 2005 By Joining Cmcs And Wadt. This Year The Conference Was Held In Udine, Italy, September 7-10, 2009. The 23 Full Papers Were Carefully Reviewed And Selec

[Lecture Notes in Computer Science] Algo

[Lecture Notes in Computer Science] Algorithmic Number Theory Volume 5011 || Computing Hilbert Class Polynomials

✍ Poorten, Alfred J.; Stein, Andreas 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 361 KB