|
|
At this time books in DjVu format are accessible just in a local network
of the Grodno State University.
External users for reception of books from our library it is necessary
for you to be registered.
The registered users can receive 1 book of times in a week under the
application by E-mail.
В настоящее время книги в формате DjVu доступны только в локальной сети
Гродненского государственного университета.
Внешним пользователям для получения книг из нашей библиотеки
необходимо зарегистрироваться.
Зарегистрированные пользователи могут получить 1 книгу раз в неделю по заявке на E-mail.
|
Для работы с книгами формата DjVu установите на своем компьютере специальный PlugIn
For work with DjVu books please install special Plug-In |
top / _Papers / Computer_algebra
- Abbott, Bronstein, Mulders Fast computation of integer determinans (ps.gz, 9 p., 62 KB, 6.9 KB/p., English)
- Canny J. Generalized characteristic polynomial [ISSAC 1988] (djvu, 8 p., 182 KB, 22.8 KB/p., landscape, English, OCR)
- Cohen H. (ed.) Algorithmic number theory(selected papers) [Proc. ANTS-II, Springer 1996] (djvu, 108 p., 888 KB, 8.2 KB/p., landscape, English, OCR)
- Computer algebra in scientific computing TOC [CASC 1999] (djvu, 6 p., 37 KB, 6.2 KB/p., landscape, English, OCR)
- Computer algebra in scientific computing TOC [CASC 2000] (djvu, 6 p., 36 KB, 6.0 KB/p., landscape, English, OCR)
- Davenport J.H. (ed.) Proc. EUROCAL 87 (selected papers) [LNCS 378, 1987] (txt.bz2, 30 p., 46 KB, 1.5 KB/p., English)
- Davenport J.H. (ed.) Proc. EUROCAL 87 (selected papers) [LNCS 378, 1987] (djvu, 60 p., 593 KB, 9.9 KB/p., landscape, English, OCR)
- Feinsilver, Schott Computing the adjoint representation of Lie group. JSC 1998 (djvu, 10 p., 56 KB, 5.6 KB/p., English, OCR)
- Fortuna et al. Computing the topology of orientable real algebraic surfaces (JSC03) (djvu, 22 p., 185 KB, 8.4 KB/p., English, OCR)
- Freire et al. Symbolic computation of center manifolds [ISSAC 1988] (djvu, 14 p., 200 KB, 14.3 KB/p., landscape, English, OCR)
- Gil. Jordan form of matrices (djvu, 8 p., 200 KB, 25.0 KB/p., English, OCR)
- Ilyin, Kryukov Symbolic simplification of tensor expressions (djvu, 5 p., 96 KB, 19.2 KB/p., English, OCR)
- Janssen R. (ed.) Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296) (txt.bz2, 48 p., 65 KB, 1.4 KB/p., English)
- Janssen R. (ed.) Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296) (djvu, 96 p., 896 KB, 9.3 KB/p., landscape, English, OCR)
- Jones Exposition of undecidability [1974] (djvu, 16 p., 216 KB, 13.5 KB/p., English, OCR)
- Kavian et al. Application of genetic algorithms for tensor manipulation 1997 (djvu, 8 p., 207 KB, 25.9 KB/p., English, OCR)
- Kavian et al. MapleTensor progress report 1996 (djvu, 8 p., 165 KB, 20.6 KB/p., English, OCR)
- Leclerc Algebraic combinatorics with maple and ace (ps.gz, 7 p., 87 KB, 12.4 KB/p., English)
- Matrix generators for orthogonal groups JSC 1998 (djvu, 10 p., 67 KB, 6.7 KB/p., English, OCR)
- Monagan In-place arithmetic for polynomials over Zn (DISCO92) (djvu, 14 p., 155 KB, 11.1 KB/p., landscape, English, OCR)
- Mueller-Quade, Steinwandt Basic algorithms for rational function fields [JSC 1999] (djvu, 28 p., 199 KB, 7.1 KB/p., English, OCR)
- Pohst M. (ed.) Algorithmic methods in algebra and number theory [JSC 4, 1987. AP, 1987] (txt.bz2, 66 p., 89 KB, 1.3 KB/p., English)
- Pohst M. (ed.) Algorithmic methods in algebra and number theory [JSC 4, 1987. AP, 1987] (djvu, 131 p., 1425 KB, 10.9 KB/p., English, OCR, cleaned)
- Pohst M. (ed.) Algorithmic methods in algebra and number theory [JSC 4, 1987. AP, 1987] (djvu, 132 p., 1312 KB, 9.9 KB/p., landscape, English, OCR)
- Proceedings EUROSAM 1984 (selected papers)(SIGSAM, ACM) (djvu, 168 p., 1429 KB, 8.5 KB/p., landscape, English, OCR)
- Proceedings EUROSAM 1984 contents (djvu, 8 p., 85 KB, 10.6 KB/p., landscape, English, OCR)
- Salvy Algorithms seminar 1995-1996. RR-2992 (ps.gz, 150 p., 449 KB, 3.0 KB/p., English)
- Salvy Algorithms seminar 1997-1998. RR-3504 (ps.gz, 187 p., 639 KB, 3.4 KB/p., English)
- Salvy Algorithms seminar 1998-1999. RR-3830 (ps.gz, 119 p., 478 KB, 4.0 KB/p., English)
- Schreiner Compiling a functional language into SACLIB C [1993] (ps.gz, 148 KB, English)
- Schwartz Fast probabilistic verification of polynomial identities (djvu, 17 p., 268 KB, 15.8 KB/p., English, OCR)
- Smith Symbolic derivatives without recursion (djvu, 3 p., 135 KB, 45.0 KB/p., English, OCR)
- Stoutemeyer Solving integral equations in CAS (djvu, 19 p., 258 KB, 13.6 KB/p., English, OCR)
- Yan. Geobucket data structure for polynomials. JSC 1998 (djvu, 9 p., 68 KB, 7.6 KB/p., English, OCR)
- Abbott Recovery of algebraic numbers from p-adic calculations (djvu, 9 p., 228 KB, 25.3 KB/p., English)
- Bradford Some results on the defect of algebraic numbers [SIGSAM 1989] (djvu, 7 p., 151 KB, 21.6 KB/p., English)
- Cantor et al. Continued fraction algorithm for real algebraic numbers [MC 1972] (djvu, 8 p., 65 KB, 8.1 KB/p., English)
- Davenport, Trager Factoring polynomials over algebraic domains [1981] (djvu, 6 p., 157 KB, 26.2 KB/p., English)
- Encarnacion Factoring polynomials over algebraic numbers (djvu, 6 p., 160 KB, 26.7 KB/p., English)
- Johnson Real algebraic number computation using intervals (ISSAC92) (djvu, 11 p., 239 KB, 21.7 KB/p., English)
- Kaltofen, Shoup Fast polynomial factoring over high algebraic extensions (djvu, 5 p., 149 KB, 29.8 KB/p., English)
- Lecerf Dynamic evaluation and real closure. Implementation in Axiom [1996] (ps.gz, 42 p., 101 KB, 2.4 KB/p., English)
- Manocha, Canny Multipolynomial resultant algorithms (JSC93) (djvu, 24 p., 494 KB, 20.6 KB/p., English)
- Mishra, Pedersen Aritmetic with real algebraic numbers [1990] (djvu, 7 p., 182 KB, 26.0 KB/p., English)
- Monagan Signature functions for computations with algebraic numbers (djvu, 6 p., 155 KB, 25.8 KB/p., English)
- Nauheim Lifting for algebraic equations with bad reduction (JSC98) (djvu, 23 p., 154 KB, 6.7 KB/p., English)
- Pohst Validated computing in algebraic number fields [JSC 1997] (djvu, 9 p., 65 KB, 7.2 KB/p., English)
- Rioboo Faster real algebraic numbers (ISSAC02) (djvu, 21 p., 145 KB, 6.9 KB/p., English)
- Rioboo Real algebraic closure of ordered field, in Axiom (ISSAC92) (djvu, 10 p., 193 KB, 19.3 KB/p., English)
- Rump Sign of algebraic numbers (ACMSAC76) (djvu, 4 p., 61 KB, 15.3 KB/p., English)
- Sakkalis T. Signs of algebraic numbers (djvu, 6 p., 83 KB, 13.8 KB/p., landscape, English, OCR)
- Shoup Fast polynomial factorization over finite field (ps.gz, 36 p., 101 KB, 2.8 KB/p., English)
- Strzebonski Computing with complex algebraic numbers. JSC 1997 (djvu, 10 p., 70 KB, 7.0 KB/p., English)
- Trevisan Practical factorization of polynomials over finite fields (djvu, 10 p., 227 KB, 22.7 KB/p., English)
- Weinberger, Rothshild Factoring polynomials over algebraic numbers 1976 (djvu, 16 p., 204 KB, 12.8 KB/p., English)
- Yun. Algebraic algorithms using p-adic numbers (djvu, 12 p., 202 KB, 16.8 KB/p., English)
- Bosma et al. Magma algebra system I. User language [JSC 1997] (djvu, 31 p., 217 KB, 7.0 KB/p., English)
- Buchberger CAS not an end of mathematics (pdf, 7 p., 851 KB, 121.6 KB/p., English)
- Cooperman STAR MPI parallel library to interactive symbolic algebra (ps.gz, 7 p., 42 KB, 6.0 KB/p., English)
- Cooperman Semantic matching for computer algebra (djvu, 3 p., 108 KB, 36.0 KB/p., English)
- Fateman, Caspi Parsing TeX into mathematics (djvu, 25 p., 143 KB, 5.7 KB/p., English)
- Fateman, Hayden Speeding up symbolic mathematics (ps.gz, 6 p., 43 KB, 7.2 KB/p., English)
- Fateman Design and construction of CAS (94) (ps.gz, 11 p., 44 KB, 4.0 KB/p., English)
- Fateman (pdf, 29 p., 145 KB, 5.0 KB/p., English)
- Fickas Design issues in rule-based systems (djvu, 8 p., 342 KB, 42.8 KB/p., English)
- Hayes-Roth Rule-based systems (djvu, 12 p., 533 KB, 44.4 KB/p., English)
- Kazimierczak Approach to natural language processing using rules (djvu, 8 p., 284 KB, 35.5 KB/p., English)
- Lewis Comparison of CAS (maple code) (txt.gz, 37 KB, English)
- Lewis Comparison of polynomial CAS (ps.gz, 6 p., 54 KB, 9.0 KB/p., English)
- M. Wester's 1994 CAS Test suite in Mupad (ps.gz, 23 p., 51 KB, 2.2 KB/p., English)
- M. Wester. CAS Benchmark 1999 (ps.gz, 40 p., 214 KB, 5.4 KB/p., English)
- Maxima documentation (pdf, 279 p., 847 KB, 3.0 KB/p., English)
- Noro Risa-asir - a CAS (djvu, 10 p., 155 KB, 15.5 KB/p., English)
- Problem solving with Maple, a handbook [1998] (ps.gz, 157 p., 586 KB, 3.7 KB/p., English)
- Problem solving, calculus with Maple (mws) [1998] (zip, 271 KB, English)
- SACLIB 1.1 manual (ps.gz, 79 p., 141 KB, 1.8 KB/p., English)
- Schreiner PACLIB, parallel functional programming for CAS (ps.gz, 318 p., 809 KB, 2.5 KB/p., English)
- Unsolved problems in CAS (djvu, 29 p., 229 KB, 7.9 KB/p., English)
- Using Maple in Calculus (ps.gz, 40 p., 140 KB, 3.5 KB/p., English)
- Using Maple in linear algebra (notes) (ps.gz, 66 p., 112 KB, 1.7 KB/p., English)
- Zimmer SIMATH, a CAS for number theory [ISSAC 1997] (djvu, 11 p., 250 KB, 22.7 KB/p., English)
- Aslaksen Complex analysis and CAS 1, exponentials 1996 (djvu, 8 p., 38 KB, 4.8 KB/p., English)
- Aslaksen Complex analysis and CAS 2, using Corless notation (djvu, 8 p., 40 KB, 5.0 KB/p., English)
- Bradford Simplification of multiple-valued functions (DISCO92, LNCS 721) (djvu, 5 p., 86 KB, 17.2 KB/p., English)
- Corless et al. Arccoth need not be uncouth (ps.gz, 27 p., 93 KB, 3.4 KB/p., English)
- Corless et al. Branch cuts for trigonometrics (ps.gz, 24 p., 85 KB, 3.5 KB/p., English)
- Corless et al. Lambert W function (ps.gz, 32 p., 95 KB, 3.0 KB/p., English)
- Corless et al. Reasoning about complex elementary functions (ps.gz, 12 p., 69 KB, 5.8 KB/p., English)
- Corless, Jeffrey Graphing Riemann surfaces (djvu, 7 p., 239 KB, 34.1 KB/p., English)
- Corless, Jeffrey Unwinding number (ps.gz, 8 p., 70 KB, 8.8 KB/p., English)
- Corless Exercises on W function (ps.gz, 1 p., 15 KB, 15.0 KB/p., English)
- CorlessJeffreyKnuth Sequence of series for the Lambert W function (ps.gz, 10 p., 92 KB, 9.2 KB/p., English)
- Davenport et al. Defining branch cuts for trig and other functions (ps.gz, 27 p., 93 KB, 3.4 KB/p., English)
- Dingle, Fateman Branch cuts in computer algebra (ps.gz, 8 p., 53 KB, 6.6 KB/p., English)
- Burnikel et al. A strong computable separation bound for arithmetic expressions with radicals [Algorithmica 2000] (pdf, 81 KB, English)
- Chow What is a closed-form number (ps.gz, 11 p., 60 KB, 5.5 KB/p., English)
- Hur, Davenport Exact zero determination for algebraic numbers (djvu, 6 p., 75 KB, 12.5 KB/p., English)
- Johnson S.C. Problem of recognizing zero (JACM 18, 559) [1971] (djvu, 7 p., 83 KB, 11.9 KB/p., English)
- Johnson S.C. Problem of recognizing zero (preprint) (djvu, 4 p., 57 KB, 14.3 KB/p., English)
- Langley, Richardson What can we do with a solution [cca 2002] (ps.gz, 14 p., 100 KB, 7.1 KB/p., English)
- Richardson D. Simplified method for recognizing zero in constants (ISSAC95) (djvu, 6 p., 151 KB, 25.2 KB/p., English)
- Richardson, El-Sonbaty Zero recognition of polynomial terms (ps.gz, 11 p., 66 KB, 6.0 KB/p., English)
- Richardson, Fitch Identity of elementary functions and constants (ISSAC94) (djvu, 6 p., 153 KB, 25.5 KB/p., English)
- Richardson, Langley Some obervations about familiar numbers [2002] (ps.gz, 14 p., 54 KB, 3.9 KB/p., English)
- Richardson How to recognize zero [JSC24, 1997] (djvu, 19 p., 130 KB, 6.8 KB/p., English)
- Richardson Recognizing zero (ps.gz, 23 p., 92 KB, 4.0 KB/p., English)
- Richardson Testing the uniformity conjecture (ps.gz, 23 p., 87 KB, 3.8 KB/p., English)
- Richardson The elementary constant problem (ISSAC92) (djvu, 9 p., 190 KB, 21.1 KB/p., English)
- Richardson The uniformity conjecture (ps.gz, 21 p., 89 KB, 4.2 KB/p., English)
- Shackell, Van der Hoeven Complexity bounds for zero-testing of polynomials (ps.gz, 15 p., 154 KB, 10.3 KB/p., English)
- Van der Hoeven Automatic numerical expansions 1994 (ps.gz, 14 p., 58 KB, 4.1 KB/p., English)
- Van der Hoeven Complexity bounds for zero-test algorithms (ps.gz, 14 p., 152 KB, 10.9 KB/p., English)
- Van der Hoeven Witness for zero-testing (ps.gz, 12 p., 127 KB, 10.6 KB/p., English)
- Van der Hoeven Zero-test algorithms for functions (ps.gz, 14 p., 152 KB, 10.9 KB/p., English)
- Wang Undecidability of zeros of elementary functions (djvu, 4 p., 69 KB, 17.3 KB/p., English)
- Aardal, Hurkens, Lenstra Solving a system of diophantine equations with bounds on the variables [1998] (ps.gz, 20 p., 78 KB, 3.9 KB/p., English)
- Bennett Solving families of simultaneous Pell equations (ps.gz, 5 p., 62 KB, 12.4 KB/p., English)
- Blankinship Algorithm 288, Solution of linear Diophantine systems [CACM 1966] (djvu, 61 KB, English)
- Cucker et al. Algorithm for diophantine equations in one variable. JSC 1999 (djvu, 9 p., 66 KB, 7.3 KB/p., English)
- Guisti et al. Lower bounds for diophantine approximations [JPAA 1997] (djvu, 41 p., 489 KB, 11.9 KB/p., English)
- Mulders, Storjohann Solving linear diophantine systems (ISSAC99) (djvu, 8 p., 309 KB, 38.6 KB/p., English)
- Peck Algorithm 139, solutions of Diophantine equation [CACM 1962] (djvu, 8 p., 228 KB, 28.5 KB/p., English)
- Poulakis, Voskos Genus 0 diophantine equations with 2 valuations [JSC 2002] (djvu, 13 p., 94 KB, 7.2 KB/p., English)
- Poulakis, Voskos Solution of genus 0 Diophantine equations [JSC 2000] (djvu, 10 p., 79 KB, 7.9 KB/p., English)
- Stroeker, Tzanakis Computing all integer solutions of general elliptic equation [2000] (ps.gz, 9 p., 74 KB, 8.2 KB/p., English)
- Stroeker, Tzanakis Computing all integer solutions of genus 1 equation (djvu, 20 p., 206 KB, 10.3 KB/p., English)
- Stroeker, de Weger Solving elliptic diophantine equations. General cubic case [1999] (ps.gz, 28 p., 156 KB, 5.6 KB/p., English)
- Tzanakis Solution of two Pell equations (ps.gz, 20 p., 112 KB, 5.6 KB/p., English)
- Tzanakis Solving elliptic diophantine equations. Quartic eqs. [1994] (ps.gz, 32 p., 145 KB, 4.5 KB/p., English)
- Apel, Klaus Data representation in FELIX (DISCO92)(2 pages with Groebner basis examples) (djvu, 2 p., 35 KB, 17.5 KB/p., English)
- Bachmann, Schoenemann Monomial representations for Groebner bases (ISSAC98) (djvu, 8 p., 119 KB, 14.9 KB/p., English)
- Bikker Bezout's method for computing the resultant [1995] (ps.gz, 21 p., 75 KB, 3.6 KB/p., English)
- Bronstein Gsolve - faster Groebner bases solver (djvu, 3 p., 83 KB, 27.7 KB/p., English)
- Caboara M. Optimization of basic algorithms in commutative algebra [phd thesis, 1998] (ps.gz, 118 p., 386 KB, 3.3 KB/p., English)
- Caboara, Kreuzer, Robbiano Efficient computation of minimal set of critical pairs in Groebner bases [2003] (ps.gz, 27 p., 136 KB, 5.0 KB/p., English)
- Caboara Dynamic algorithm for Groebner bases (ISSAC93) (djvu, 9 p., 224 KB, 24.9 KB/p., English)
- Chyzak Fonctions holonome et calcul formel (PhD Thesis, fr) (ps.gz, 230 p., 497 KB, 2.2 KB/p., English)
- Chyzak Groebner bases and symbolic summation and integration (ps.gz, 34 p., 224 KB, 6.6 KB/p., English)
- Chyzak Holonomic functions in computer algebra (slides, talk) (ps.gz, 99 p., 211 KB, 2.1 KB/p., English)
- Chyzak Holonomic systems and automatic proofs of identities. RR-2371 (ps.gz, 64 p., 192 KB, 3.0 KB/p., English)
- Chyzak Seminar on computer algebra [1999, 2000] (ps.gz, 154 p., 686 KB, 4.5 KB/p., English)
- Collins Multivariate polynomial resultants (djvu, 18 p., 242 KB, 13.4 KB/p., English)
- Corless, Gianni, Trager Factorization of polynomial systems (ISSAC97) (djvu, 8 p., 219 KB, 27.4 KB/p., English)
- Corless Lecture notes on Groebner bases (ps.gz, 6 p., 62 KB, 10.3 KB/p., English)
- Czapor Heuristic selection strategy for Groebner bases (ISSAC91) (djvu, 10 p., 177 KB, 17.7 KB/p., English)
- Czichowski Groebner bases and integration of rational functions [JSC 1995] (djvu, 5 p., 93 KB, 18.6 KB/p., English)
- Faugere et al. Computation of Groebner bases by change of ordering (JSC93)((atend)s) (ps.gz, 203 KB, English)
- Faugere New efficient algorithm for Groebner bases [JPAA 1999] (djvu, 28 p., 391 KB, 14.0 KB/p., English)
- Fortuna, Gianni, Trager Radical of polynomial ideals over arbitrary fields (ISSAC01) (djvu, 5 p., 227 KB, 45.4 KB/p., English)
- Gerdt Relation between Pommaret and Janet bases [CASC 2000] (djvu, 8 p., 194 KB, 24.3 KB/p., English)
- Gianni, Mora Algebraic solution of systems of polynomial equations using Groebner bases((atend)s) [1989] (ps.gz, 277 KB, English)
- Gianni, Trager GCDs and factoring multivariate polynomials using Groebner bases (EUROCAL85) (djvu, 2 p., 44 KB, 22.0 KB/p., English)
- Giovini et al. Selection strategies in Buchberger algorithm (ISSAC91) (djvu, 6 p., 161 KB, 26.8 KB/p., English)
- Giovini et al. Sugar cube selection strategies for Buchberger algorithm (ISSAC91) (ps.gz, 7 p., 53 KB, 7.6 KB/p., English)
- Goebel, Maier Remarks on comprehensive Groebner and SAGBI bases [CASC 2000] (djvu, 7 p., 183 KB, 26.1 KB/p., English)
- Hemmecke Loesung der Systemen mit kontinuerlichen Symmetrien (phd thesis) (pdf, 67 p., 399 KB, 6.0 KB/p., German)
- Hubert General solution of ordinary differential equation (ISSAC96) (djvu, 7 p., 166 KB, 23.7 KB/p., English)
- Kahoui Elementary subresultants theory. JSC2003 (pdf, 12 p., 133 KB, 11.1 KB/p., English)
- LaScala Buchberger algorithm for complexes (ISSAC94) (djvu, 5 p., 127 KB, 25.4 KB/p., English)
- Lakshman Complexity of Groebner basis of radical ideal [1990] (djvu, 9 p., 196 KB, 21.8 KB/p., English)
- Lecerf Resolution des systemes algebriques (phd these) (ps.gz, 216 p., 587 KB, 2.7 KB/p., French)
- Mandache Groebner bases computation and Gaussian elimination (phd thesis) (ps.gz, 89 p., 165 KB, 1.9 KB/p., English)
- Marche Rewriting, Knuth-Bendix and Groebner bases computations (ps.gz, 16 p., 54 KB, 3.4 KB/p., English)
- Marinari et al. Groebner duality and multiplicities in polynomial systems (djvu, 13 p., 300 KB, 23.1 KB/p., English)
- Marinari, Moeller, Mora Groebner duality and multiplicities in polynomial systems (ISSAC95) (ps.gz, 13 p., 94 KB, 7.2 KB/p., English)
- Marinari, Moeller, Mora Multiplicities in polynomial systems (TAMS96) (ps.gz, 30 p., 136 KB, 4.5 KB/p., English)
- Minimair Resultants of composed polynomials [phd thesis, 2001] (ps.gz, 148 p., 279 KB, 1.9 KB/p., English)
- Mora, Moeller, Traverso Groebner bases using syzygies (ISSAC92) (ps.gz, 9 p., 66 KB, 7.3 KB/p., English)
- Mora, Rossi Hilbert function for primary ideal 1995 (ps.gz, 15 p., 72 KB, 4.8 KB/p., English)
- Mora Introduction to commutative and noncommutative Groebner bases [1994] (ps.gz, 28 p., 124 KB, 4.4 KB/p., English)
- Mora Polynomial system solving survey 1994 (ps.gz, 23 p., 91 KB, 4.0 KB/p., English)
- Moses, Yun. The EZ polynomial GCD algorithm (djvu, 8 p., 150 KB, 18.8 KB/p., English)
- Richardson D. Zero structure theorem for exp-polynomials (ISSAC93) (djvu, 8 p., 152 KB, 19.0 KB/p., English)
- Saxena T. Variable elimination using resultants [Ph. D. thesis 1997] (ps.gz, 179 p., 258 KB, 1.4 KB/p., English)
- Szanto Complexity of Wu-Ritt decomposition (djvu, 11 p., 257 KB, 23.4 KB/p., English)
- Wang D. Prime decomposition of radicals of polynomial ideals [1998] (djvu, 8 p., 158 KB, 19.8 KB/p., English)
- Windsteiger Groebner bases and syzygy completion (master-thesis) (ps.gz, 152 p., 203 KB, 1.3 KB/p., English)
- Winkler, Buchberger et al. Algorithm 628. Groebner bases for polynomial ideals (djvu, 13 p., 135 KB, 10.4 KB/p., English)
- Abbott Solving the Risch differential equation (EUROCAL87) (djvu, 2 p., 75 KB, 37.5 KB/p., English)
- Adamchik, Marichev Integration of hypergeometric-type functions (djvu, 13 p., 189 KB, 14.5 KB/p., English)
- Almquist, Zeilberger Method of differentiating under the integral sign [JSC 1990] (djvu, 11 p., 214 KB, 19.5 KB/p., English)
- Bertrand Computation of hyperelliptic integrals (djvu, 5 p., 109 KB, 21.8 KB/p., English)
- Bronstein, Petkovsek Intro to pseudo-linear algebra (ps.gz, 29 p., 93 KB, 3.2 KB/p., English)
- Bronstein, Salvy Full partial fraction decomposition (djvu, 4 p., 74 KB, 18.5 KB/p., English)
- Bronstein Algorithm for integration of elementary functions (Eurocal87, LNCS 378) (djvu, 4 p., 135 KB, 33.8 KB/p., English)
- Bronstein Bibliography (from math.sci.net) (djvu, 11 p., 62 KB, 5.6 KB/p., English)
- Bronstein Fast reduction of the Risch differential equation (ISSAC88, LNCS 358) (djvu, 5 p., 119 KB, 23.8 KB/p., English)
- Bronstein Formulas for series computations [AAECC 1992] (djvu, 7 p., 198 KB, 28.3 KB/p., English)
- Bronstein Integration and diff. equations in CAS [tutorial, 1992] (ps.gz, 17 p., 70 KB, 4.1 KB/p., English)
- Bronstein Integration of elementary functions [JSC 1990] (djvu, 29 p., 920 KB, 31.7 KB/p., English)
- Bronstein Lazy Hermite reduction (integration of algebraic functions) (ps.gz, 16 p., 119 KB, 7.4 KB/p., English)
- Bronstein Linear ODEs, breaking through order 2 barrier (ISSAC92) (ps.gz, 7 p., 50 KB, 7.1 KB/p., English)
- Bronstein SUM-It, a computer algebra library (96) (ps.gz, 13 p., 73 KB, 5.6 KB/p., English)
- Bronstein Symbolic integration tutorial (ISSAC98) (ps.gz, 35 p., 143 KB, 4.1 KB/p., English)
- Bronstein The transcendental Risch differential equation [JSC 1990] (djvu, 6 p., 172 KB, 28.7 KB/p., English)
- Bronstein Unification of Liouvillian extensions [AAECC 1990] (djvu, 11 p., 345 KB, 31.4 KB/p., English)
- Carlson Symbolic integration of elliptic integrals. JSC 1999 (djvu, 15 p., 102 KB, 6.8 KB/p., English)
- Cherry, Caviness Integration in finite terms with special functions (EUROSAM84) (djvu, 5 p., 182 KB, 36.4 KB/p., English)
- Cherry Integration in finite terms with error function [JSC 1985] (djvu, 11 p., 274 KB, 24.9 KB/p., English)
- Davenport, Trager Parallel Risch algorithm II (djvu, 7 p., 95 KB, 13.6 KB/p., English)
- Davenport y' + fy = g (EUROSAM84) (djvu, 6 p., 168 KB, 28.0 KB/p., English)
- Diaz-Toca Squarefree decomp. of polynomials with parameter and integration (djvu, 19 p., 112 KB, 5.9 KB/p., English)
- Fateman Improving exact integrals from CAS (djvu, 15 p., 87 KB, 5.8 KB/p., English)
- Geddes Risch-Norman integration method (djvu, 6 p., 139 KB, 23.2 KB/p., English)
- Horowitz Algorithms for partial fraction decomposition and integration of rational functions (djvu, 17 p., 219 KB, 12.9 KB/p., English)
- Jeffrey et al. Integration of signum, piecewise functions (ps.gz, 7 p., 48 KB, 6.9 KB/p., English)
- Jeffrey, Rich Evaluation of trig integrals with discontinuities (djvu, 12 p., 136 KB, 11.3 KB/p., English)
- Jeffrey, Rich Recursive integration of piecewise functions (djvu, 5 p., 61 KB, 12.2 KB/p., English)
- Jeffrey Rectifying transform, integration of trigonometrics. JSC 1997 (djvu, 11 p., 79 KB, 7.2 KB/p., English)
- Jirstrand M. Some finiteness issues in differential algebraic systems theory [1994] (ps.gz, 16 p., 97 KB, 6.1 KB/p., English)
- Kaltofen A note on the Risch differential equation (EUROSAM84) (djvu, 5 p., 176 KB, 35.2 KB/p., English)
- Knowles Integration of transcendental Liouvillian functions. Part 1 [JSC 1992] (djvu, 10 p., 371 KB, 37.1 KB/p., English)
- Knowles Integration of transcendental functions. JACM 1986 (djvu, 6 p., 110 KB, 18.3 KB/p., English)
- Knowles Integration with error functions, part II. JSC 1993 (djvu, 13 p., 234 KB, 18.0 KB/p., English)
- Lazard, Rioboo Integration of rational functions, a new formula [JSC 1990] (djvu, 2 p., 79 KB, 39.5 KB/p., English)
- Lazard, Rioboo Integration of rational functions. Rational computation of logarithmic part [JSC 1990] (djvu, 2 p., 57 KB, 28.5 KB/p., English)
- Moses Historic approaches to symbolic integration (djvu, 13 p., 213 KB, 16.4 KB/p., English)
- Moses Introduction to the Risch algorithm (djvu, 4 p., 77 KB, 19.3 KB/p., English)
- Moses Symbolic integration (phd thesis) (djvu, 268 p., 1580 KB, 5.9 KB/p., English)
- Moses Towards a general theory of special functions (djvu, 5 p., 99 KB, 19.8 KB/p., English)
- Mulders Subresultans and Trager formula in integration. JSC 1997 (djvu, 6 p., 40 KB, 6.7 KB/p., English)
- Norman Critical pair completion integration algorithm (djvu, 5 p., 181 KB, 36.2 KB/p., English)
- Singer, Saunders, Caviness Extension of Liouville's theorem on integration.pdf) [SIAM J Comp 1985] (djvu, 13 p., 404 KB, 31.1 KB/p., English)
- Takayama Groebner bases, integration, transcendental functions (ISSAC90) (djvu, 5 p., 112 KB, 22.4 KB/p., English)
- Trager Algebraic factoring and integration of rational functions (djvu, 8 p., 241 KB, 30.1 KB/p., English)
- Trager Integration of algebraic functions (phd thesis) (djvu, 83 p., 452 KB, 5.4 KB/p., English)
- Ulmer, Weil Note on Kovacic algorithm [JSC 1996] (djvu, 22 p., 162 KB, 7.4 KB/p., English)
- Ulmer Liouvillian solutions of 3rd order ODEs [JSC 2003] (djvu, 35 p., 261 KB, 7.5 KB/p., English)
- Wang P-adic algorithm for univariate partial fractions (djvu, 6 p., 129 KB, 21.5 KB/p., English)
- Wang Symbolic definite integration [1971] (djvu, 191 p., 886 KB, 4.6 KB/p., English)
- Yakubovich, Luchko Integrals and series wrt parameters of hypergeoms (djvu, 10 p., 133 KB, 13.3 KB/p., English)
- Yun. Analysis of square-free decomposition algorithms (djvu, 10 p., 110 KB, 11.0 KB/p., English)
- elementary integration (txt.bz2, 9 KB, English)
- van Hoeij Minimal polynomial of Abel solution to ODE (ps.gz, 11 p., 67 KB, 6.1 KB/p., English)
- Carminati, Vu. Lie symmetries in symbolic computation (djvu, 22 p., 136 KB, 6.2 KB/p., English)
- Hereman and Goektash Integrable systems and Lie symmetries (chapter from Wiley book) (ps.gz, 31 p., 109 KB, 3.5 KB/p., English)
- Hereman Painleve test for ODEs (ps.gz, 5 p., 37 KB, 7.4 KB/p., English)
- Hereman Symbolic methods and software overview for Lie symmetry analysis (ps.gz, 60 p., 185 KB, 3.1 KB/p., English)
- Reid et al. Lie symmetry commutation relations for PDEs (djvu, 6 p., 155 KB, 25.8 KB/p., English)
- Fateman Computing multiple-scale asymptotic expansions (djvu, 7 p., 115 KB, 16.4 KB/p., English)
- Geddes, Gonnet Computing symbolic limits using hierarchical series [ISSAC 1988] (djvu, 3 p., 88 KB, 29.3 KB/p., English)
- Горин Е.А. Асимптотические свойства многочленов нескольких переменных [1991] (djvu, 14 p., 609 KB, 43.5 KB/p., Russian)
- Gourdon, Salvy Effective asymptotics of linear recurrences (ps.gz, 14 p., 72 KB, 5.1 KB/p., English)
- Gruntz New algorithm for computing asymptotic series (djvu, 6 p., 103 KB, 17.2 KB/p., English)
- Gruntz Symbolic limits in a CAS (Ph.D. thesis) (ps.gz, 152 p., 287 KB, 1.9 KB/p., English)
- Hardy G. Asymptotic solution of ODE [ProcLMS 1912] (djvu, 10 p., 244 KB, 24.4 KB/p., English)
- Hardy G. Properties of log-exp functions [ProcLMS 1912] (djvu, 20 p., 448 KB, 22.4 KB/p., English)
- McCormack et al. Asymptotics of linear differential systems. JSC 1997 (djvu, 13 p., 84 KB, 6.5 KB/p., English)
- Richardson Asymptotic expansion of exp-log functions (djvu, 5 p., 112 KB, 22.4 KB/p., English)
- Richardson Asymptotic expansion of exp-log functions (pdf, 5 p., 517 KB, 103.4 KB/p., English)
- Salvy, Shackell Asymptotic expansions of functional inverses (ps.gz, 10 p., 63 KB, 6.3 KB/p., English)
- Salvy, Shackell Asymptotics of inverse functions. JSC 1999 (djvu, 21 p., 147 KB, 7.0 KB/p., English)
- Salvy, Shackell Asymptotics of two variable implicit functions (ps.gz, 21 p., 102 KB, 4.9 KB/p., English)
- Salvy, Shackell Asymptotics with oscillating coefficients (ps.gz, 17 p., 101 KB, 5.9 KB/p., English)
- Salvy Asymptotic expansion of functional inverses (djvu, 8 p., 148 KB, 18.5 KB/p., English)
- Salvy Asymptotic of implicit functions (ps.gz, 6 p., 32 KB, 5.3 KB/p., English)
- Salvy Asymptotique automatique (une chapitre). RR-3707 (ps.gz, 25 p., 246 KB, 9.8 KB/p., French)
- Salvy Examples of automatic asymptotics. RT-0114 (ps.gz, 19 p., 66 KB, 3.5 KB/p., English)
- Salvy Fast computation of some asymptotics (ps.gz, 11 p., 61 KB, 5.5 KB/p., English)
- Salvy General asymptotic scales and CAS (ps.gz, 14 p., 59 KB, 4.2 KB/p., English)
- Sanchez Method of multiple scales and asymptotic solutions (JSC96) (djvu, 8 p., 51 KB, 6.4 KB/p., English)
- Schmidt Asymptotic approximation of one Fourier integral [MC 1978] (djvu, 13 p., 91 KB, 7.0 KB/p., English)
- Shackell, Salvy Asymptotic forms and algebraic diff. equations [JSc 1995] (djvu, 9 p., 181 KB, 20.1 KB/p., English)
- Shackell Algorithms for limits and asymptotics (ps.gz, 4 p., 29 KB, 7.3 KB/p., English)
- Shackell Asymptotic forms and algebraic differential equations (ps.gz, 10 p., 76 KB, 7.6 KB/p., English)
- Shackell Star products and asymptotic growth ACM 1997 (djvu, 8 p., 273 KB, 34.1 KB/p., English)
- Shakell J. Asymptotic estimation of oscillating functions [ISSAC 1988] (djvu, 5 p., 244 KB, 48.8 KB/p., English)
- Van der Hoeven Algorithms for asymptotics I (ps.gz, 14 p., 65 KB, 4.6 KB/p., English)
- Van der Hoeven Algorithms for asymptotics II (ps.gz, 11 p., 54 KB, 4.9 KB/p., English)
- Van der Hoeven Asymptotique automatique (phd thesis) (en,fr) (ps.bz2, 405 p., 655 KB, 1.6 KB/p., English)
- Van der Hoeven Fast evaluation of holonomic functions in singularities (ps.gz, 27 p., 129 KB, 4.8 KB/p., English)
- Van der Hoeven Fast evaluation of holonomic functions (ps.gz, 22 p., 102 KB, 4.6 KB/p., English)
- Van der Hoeven Generic asymptotic expansions (ps.gz, 21 p., 86 KB, 4.1 KB/p., English)
- Winitzki Uniform approximations of transcendental functions (LNCS) (pdf, 10 p., 169 KB, 16.9 KB/p., English)
- Wong, McClure Method of asymptotic evaluation of some multiple integrals [MC 1981] (djvu, 14 p., 129 KB, 9.2 KB/p., English)
- van der Hoeven On the computation of limsups [JPAA 1997] (djvu, 14 p., 158 KB, 11.3 KB/p., English)
- Broadhurst, Kreimer Renormalization automated by Hopf algebra (JSC99) (djvu, 20 p., 139 KB, 7.0 KB/p., English)
- Caprasse, Hans Renormalization group for YM theories with massive fermions [JMP 1987] (djvu, 7 p., 122 KB, 17.4 KB/p., English)
- Caprasse Renormalisation group and function iterations (JSC190) (djvu, 7 p., 145 KB, 20.7 KB/p., English)
- Gusynin, Kornyak Computation of Seeley-DeWitt-Gilkey coefficients (JSC94) (djvu, 12 p., 182 KB, 15.2 KB/p., English)
- Beckermann, Labahn Euclidean algorithm for numerical polynomial GCD. JSC 1998 (djvu, 24 p., 195 KB, 8.1 KB/p., English)
- Beckermann, Labahn Numerical polynomials relatively prime JSC 1998 (djvu, 13 p., 88 KB, 6.8 KB/p., English)
- Canny et al. Optimal condition for number of roots in polynomial system (djvu, 7 p., 135 KB, 19.3 KB/p., English)
- Collins, Encarnacion Improved factoring of polynomials (ps.gz, 14 p., 52 KB, 3.7 KB/p., English)
- Collins, Krandick Hybrid method for polynomial real roots (ISSAC93) (djvu, 6 p., 115 KB, 19.2 KB/p., English)
- Collins, Krandick Infallible polynomial complex root isolation (ISSAC92) (djvu, 6 p., 142 KB, 23.7 KB/p., English)
- Collins, Krandick Tangent-secant method for polynomial complex roots (ISSAC96) (djvu, 5 p., 101 KB, 20.2 KB/p., English)
- Corless et al. Absolute factorization of multivariate polynomials [ISSAC 2002] (djvu, 9 p., 114 KB, 12.7 KB/p., English)
- Galligo Numerical primality test for bivariate polynomials (djvu, 8 p., 244 KB, 30.5 KB/p., English)
- Galligo Real factorization of multivariate integer polynomials [JMSci 2002] (djvu, 8 p., 69 KB, 8.6 KB/p., English)
- Gottfert Acceleration of Niederreiter factorization in characteristic 2 [MC 1994] (djvu, 10 p., 84 KB, 8.4 KB/p., English)
- Kaltofen Polynomial reduction to 2 variables (djvu, 6 p., 87 KB, 14.5 KB/p., English)
- Karmarkar, Lakshman Approximate GCDs of polynomials JSC 1998 (djvu, 14 p., 94 KB, 6.7 KB/p., English)
- Landau Polynomial-time algorithms for Galois groups (EUROSAM84) (djvu, 7 p., 131 KB, 18.7 KB/p., English)
- Лопатинский Разложение полиномиальной матрицы на множители [1956] (djvu, 2 p., 42 KB, 21.0 KB/p., Russian)
- Lucks New algorithm for fast integer polynomial factorization [ISSAC 1986] (djvu, 5 p., 226 KB, 45.2 KB/p., English)
- McCallum Testing bivariate polynomials for reducibility. JSC 1997 (djvu, 27 p., 190 KB, 7.0 KB/p., English)
- Mignotte, Glesser On the smallest divisor of integer polynomials (JSC94) (djvu, 6 p., 98 KB, 16.3 KB/p., English)
- Musser Multivariate polynomial factorization [JACM 1975] (djvu, 18 p., 330 KB, 18.3 KB/p., English)
- Niederreiter, Gottfert On new factorization algorithm for polynomials over finite fields [MC 1995] (djvu, 8 p., 76 KB, 9.5 KB/p., English)
- Niederreiter Factoring polynomials over finite fields with diff. equations and bases [MC 1994] (djvu, 13 p., 106 KB, 8.2 KB/p., English)
- Ragot Sur le factorisation absolue des polynomes [these, 1997] (djvu, 138 p., 668 KB, 4.8 KB/p., French)
- Shamir Generation of hard to factor multivariate polynomials [ACM 1993] (djvu, 9 p., 136 KB, 15.1 KB/p., English)
- Viry Factorization of polynomials in Fp[x] [JSC 1993] (djvu, 21 p., 384 KB, 18.3 KB/p., English)
- Wang, Rothschild Factoring multivariate polynomials over integers [MC 1975] (djvu, 17 p., 145 KB, 8.5 KB/p., English)
- Wang Factoring multivariate polynomials over algebraic number fields [MC 1976] (djvu, 14 p., 121 KB, 8.6 KB/p., English)
- Wang Improved multivariate polynomial factoring algorithm [MC 1978] (djvu, 18 p., 146 KB, 8.1 KB/p., English)
- Yokoyama et al. Determining solvability of polynomial over integers (ISSAC90) (djvu, 8 p., 200 KB, 25.0 KB/p., English)
- Yokoyama Modular method for computing Galois groups of polynomials [JPAA 1999] (djvu, 20 p., 268 KB, 13.4 KB/p., English)
- Canny et al. Faster multivariate resultant 1989 (ps.gz, 8 p., 52 KB, 6.5 KB/p., English)
- Cantor, Kaltofen Fast multivariate polynomial multiplication (ps.gz, 9 p., 43 KB, 4.8 KB/p., English)
- Diaz et al. Algebraic algorithms 1999 (ps.gz, 39 p., 167 KB, 4.3 KB/p., English)
- Diaz, Kaltofen Computing GCDs of polynomials using black box 1995 (ps.gz, 8 p., 92 KB, 11.5 KB/p., English)
- Diaz, Kaltofen FoxBox, polynomial manipulation using black box 1998 (ps.gz, 8 p., 56 KB, 7.0 KB/p., English)
- Freeman et al. Dagwood, polynomials with straight-line programs (ps.gz, 50 KB, English)
- Kaltofen - hybrid methods symnum (pdf, 17 p., 169 KB, 9.9 KB/p., English)
- Kaltofen, Lobo Factoring high-degree polynomials by black box 1994 (ps.gz, 9 p., 79 KB, 8.8 KB/p., English)
- Kaltofen, Shoup Factorization of polynomials over high algebraic extensions of finite fields 1997 (ps.gz, 5 p., 76 KB, 15.2 KB/p., English)
- Kaltofen, Shoup Subquadratic-time factoring of polynomials over finite fields 1998 (ps.gz, 28 p., 149 KB, 5.3 KB/p., English)
- Kaltofen, Trager Computing with polynomials as black boxes 1990 (ps.gz, 20 p., 78 KB, 3.9 KB/p., English)
- Kaltofen, Villard Complexity of computing determinants 2001 (pdf, 15 p., 260 KB, 17.3 KB/p., English)
- Kaltofen Complexity of polynomial factorization [phd thesis, 1982] (pdf, 101 p., 359 KB, 3.6 KB/p., English)
- Kaltofen Computing with polynomials by straight-line programs 2. Sparse factorization 1985 (ps.gz, 47 KB, English)
- Kaltofen Factorization of polynomials using straight-line programs 1989 (ps.gz, 89 KB, English)
- Kaltofen Fast parallel polynomial irreducibility test 1985 (ps.gz, 44 KB, English)
- Kaltofen GCD of polynomials using straight-line programs 1988 (ps.gz, 119 KB, English)
- Kaltofen Lecture notes on symbolic integration 1984 (ps.gz, 38 p., 168 KB, 4.4 KB/p., English)
- Kaltofen On the Risch diff. equation 1984 (ps.gz, 8 p., 66 KB, 8.3 KB/p., English)
- Kaltofen Parallel Coppersmith-Wiedemann algorithm for sparse systems 1995 (ps.gz, 32 p., 115 KB, 3.6 KB/p., English)
- Kaltofen Parallel algebraic algorithm design notes 1989 (ps.gz, 5 p., 30 KB, 6.0 KB/p., English)
- Kaltofen Parallel computation of polynomial GCDs 1989 (ps.gz, 9 p., 83 KB, 9.2 KB/p., English)
- Kaltofen Polynomial factorization 1982-1986 (ps.gz, 72 KB, English)
- Kaltofen Polynomial factorization 1987-1991 (ps.gz, 20 p., 79 KB, 4.0 KB/p., English)
- Kaltofen Polynomial factorization survey 1982 (ps.gz, 52 KB, English)
- Kaltofen Reduction of bivariate to univariate factorization 1982 (ps.gz, 35 KB, English)
- Kaltofen Reduction to bivariate and univariate polynomial factorization 1985 (ps.gz, 83 KB, English)
- kaltofen (html, 59 KB, English)
- vzGathen, Kaltofen Probabilistic factorization of polynomials over finite fields 1985 (ps.gz, 36 KB, English)
- Gianni P. (ed.) Proc. ISSAC 88 (selected papers) [LNCS 358, 1988] (txt.bz2, 58 p., 76 KB, 1.3 KB/p., English)
- Gianni P. (ed.) Proc. ISSAC 88 (selected papers) [LNCS 358, 1988] (djvu, 116 p., 1138 KB, 9.8 KB/p., landscape, English, OCR)
- Proceedings ISSAC 1988 (Rome) (ACM)_TOC (djvu, 6 p., 53 KB, 8.8 KB/p., landscape, English, OCR)
- Proceedings ISSAC 1989 (Portland) (ACM) (djvu, 365 p., 9285 KB, 25.4 KB/p., English, OCR)
- Proceedings ISSAC 1989 (Portland) (ACM) (html.gz, 7 KB, English)
- Proceedings ISSAC 1990 (Tokyo) (ACM) (djvu, 293 p., 7362 KB, 25.1 KB/p., English, OCR)
- Proceedings ISSAC 1990 (Tokyo) (ACM) (html.gz, 10 KB, English)
- Proceedings ISSAC 1991 (Bonn) (ACM) (djvu, 448 p., 9026 KB, 20.1 KB/p., English, OCR)
- Proceedings ISSAC 1991 (Bonn) (ACM) (html.gz, 10 KB, English)
- Proceedings ISSAC 1992 (Berkeley) (ACM) (djvu, 405 p., 8553 KB, 21.1 KB/p., English, OCR)
- Proceedings ISSAC 1992 (Berkeley) (ACM) (html.gz, 7 KB, English)
- Proceedings ISSAC 1993 (Kiev) (ACM) (djvu, 312 p., 6044 KB, 19.4 KB/p., English, OCR)
- Proceedings ISSAC 1993 (Kiev) (ACM) (html.gz, 7 KB, English)
- Proceedings ISSAC 1994 (Oxford) (ACM) (djvu, 358 p., 8305 KB, 23.2 KB/p., English, OCR)
- Proceedings ISSAC 1994 (Oxford) (ACM) (html.gz, 8 KB, English)
- Proceedings ISSAC 1995 (Montreal) (ACM) (djvu, 308 p., 7102 KB, 23.1 KB/p., English, OCR)
- Proceedings ISSAC 1995 (Montreal) (ACM) (html.gz, 6 KB, English)
- Proceedings ISSAC 1996 (Zurich) (ACM) (djvu, 313 p., 6801 KB, 21.7 KB/p., English, OCR)
- Proceedings ISSAC 1996 (Zurich) (ACM) (html.gz, 6 KB, English)
- Proceedings ISSAC 1997 (Kihei) (ACM) (djvu, 410 p., 10921 KB, 26.6 KB/p., English, OCR)
- Proceedings ISSAC 1997 (Kihei) (ACM) (html.gz, 8 KB, English)
- Proceedings ISSAC 1998 (Rostock) (ACM) (djvu, 321 p., 4428 KB, 13.8 KB/p., English, OCR)
- Proceedings ISSAC 1998 (Rostock) (ACM) (html.gz, 7 KB, English)
- Proceedings ISSAC 1999 (Vancouver) (ACM) (djvu, 275 p., 9849 KB, 35.8 KB/p., English, OCR)
- Proceedings ISSAC 1999 (Vancouver) (ACM) (html.gz, 6 KB, English)
- Proceedings ISSAC 2000 (St.Andrews) (ACM) (djvu, 310 p., 4137 KB, 13.3 KB/p., English, OCR)
- Proceedings ISSAC 2000 (St.Andrews) (ACM) (html.gz, 9 KB, English)
- Proceedings ISSAC 2001 (Ontario) (ACM) (djvu, 352 p., 11990 KB, 34.1 KB/p., English, OCR)
- Proceedings ISSAC 2001 (Ontario) (ACM) (html.gz, 7 KB, English)
- Proceedings ISSAC 2002 (Lille) (ACM) (djvu, 276 p., 3719 KB, 13.5 KB/p., English, OCR)
- Proceedings ISSAC 2002 (Lille) (ACM) (html.gz, 8 KB, English)
- Proceedings ISSAC 2003 (Philadelphia) (ACM) (djvu, 272 p., 3521 KB, 12.9 KB/p., English, OCR)
- Proceedings ISSAC 2003 (Philadelphia) (ACM) (html.gz, 8 KB, English)
- Proceedings SYMSAC 1966 (ACM) (html.gz, 4 KB, English)
- Proceedings SYMSAC 1971 (ACM) (djvu, 442 p., 7111 KB, 16.1 KB/p., English, OCR)
- Proceedings SYMSAC 1971 (ACM) (html.gz, 7 KB, English)
- Proceedings SYMSAC 1976 (ACM) (djvu, 320 p., 5342 KB, 16.7 KB/p., English, OCR)
- Proceedings SYMSAC 1981 (ACM) (djvu, 219 p., 6572 KB, 30.0 KB/p., English, OCR)
- Proceedings SYMSAC 1981 (ACM) (html.gz, 6 KB, English)
- README.ISSAC (txt, 0 KB, English)
- README (txt, 1 KB, English)
- Dolzmann Local quantifier elimination (pdf, 9 p., 181 KB, 20.1 KB/p., English)
- Dolzmann Simplification of quantifier-free formulae. JSC 1997 (djvu, 24 p., 161 KB, 6.7 KB/p., English)
- Nguyen et al. PALMINI, fast Boolean minimization (djvu, 7 p., 236 KB, 33.7 KB/p., English)
- Richardson Elimination of infinitesimal quantifiers [JPAA 1999] (djvu, 19 p., 228 KB, 12.0 KB/p., English)
- Sturm T. Lineare Quantorelimination in bewerteten Koerpern [Diplomarbeit, 1995] (ps.gz, 49 p., 184 KB, 3.8 KB/p., English)
- Sturm T. Real quadratic quantifier elimination in Risa-Asir [1996] (ps.gz, 15 p., 111 KB, 7.4 KB/p., English)
- Weispfenning Complexity of problems in archimedean ordered groups (EUROCAL85) (djvu, 2 p., 44 KB, 22.0 KB/p., English)
- Weispfenning Efficient decision procedures for locally finite theories II [ISSAC 1988] (djvu, 6 p., 155 KB, 25.8 KB/p., English)
- Weispfenning Quantifier elimination in degree 3 (djvu, 6 p., 116 KB, 19.3 KB/p., English)
- Woods Efficient solution of systems of boolean equations (pdf, 5 p., 78 KB, 15.6 KB/p., English)
- Borodin et al. Decreasing the nesting depth of square roots [JSC 1985] (djvu, 11 p., 273 KB, 24.8 KB/p., English)
- Borodin et al. Decreasing the root nesting [JSC 1985] (djvu, 11 p., 506 KB, 46.0 KB/p., English)
- Caviness, Fateman Simplification of unnested radicals (djvu, 10 p., 203 KB, 20.3 KB/p., English)
- Jeffrey, Rich Simplifying square roots of square roots (ps.gz, 13 p., 57 KB, 4.4 KB/p., English)
- Landau S. A note on Zippel denesting [preprint 1990] (ps.gz, 6 p., 35 KB, 5.8 KB/p., English)
- Landau S. Galois groups and solvability in radicals [phd thesis 1983] (djvu, 75 p., 908 KB, 12.1 KB/p., English)
- Landau S. How to tangle with a nested radical [preprint 1991] (ps.gz, 16 p., 56 KB, 3.5 KB/p., English)
- Landau S. Simplification of nested radicals (1990 preprint) (ps.gz, 34 p., 98 KB, 2.9 KB/p., English)
- Landau S. Simplification of nested radicals [SIAM J Comp. 1992] (djvu, 26 p., 316 KB, 12.2 KB/p., English)
- Осипов Упрощение вложенных вещественных радикалов (djvu, 10 p., 35 KB, 3.5 KB/p., Russian)
- Smedley Radical simplification using algebraic extension fields (EUROCAL87) (djvu, 2 p., 68 KB, 34.0 KB/p., English)
- Zippel Simplification of radicals [JSC 1985] (djvu, 11 p., 290 KB, 26.4 KB/p., English)
- Zippel Simplification of radicals(dirtier) [JSC 1985] (djvu, 11 p., 513 KB, 46.6 KB/p., English)
- Abyhankar, Bajaj Computation with algebraic curves [ISSAC 1988] (djvu, 12 p., 298 KB, 24.8 KB/p., landscape, English, OCR)
- Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry [JSC 5, 1988. AP, 1988] (txt.bz2, 140 p., 197 KB, 1.4 KB/p., English)
- Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry [JSC 5, 1988. AP, 1988] (djvu, 280 p., 3111 KB, 11.1 KB/p., landscape, English, OCR)
- Arnon D.S., Buchberger B. Algorithms in real algebraic geometry [JSC 5, 1988. AP, 1988] (djvu, 278 p., 4744 KB, 17.1 KB/p., English, OCR, cleaned)
- Collins Quantifier elimination for real closed fields by CAD [LNCS 33, p. 134, 1975] (djvu, 50 p., 411 KB, 8.2 KB/p., landscape, English, OCR)
- Dolzmann, Sturm, Weispfenning Real quantifier elimination in practice, survey [TR MIP-9720, 1997] (ps.gz, 25 p., 121 KB, 4.8 KB/p., English)
- Gonzalez-Campos, Gonzalez-Vega Computing the CAD adapted to a set of equalities [CASC 2000] (djvu, 16 p., 219 KB, 13.7 KB/p., landscape, English, OCR)
- Hong H. Improvement of the projection operator in cylindrical algebraic decomposition (ISSAC90) (djvu, 4 p., 128 KB, 32.0 KB/p., English, OCR)
- Sturm T. Real quantifier elimination in geometry [phd diss., 1999] (ps.gz, 140 p., 461 KB, 3.3 KB/p., English)
- Teitelbaum Complexity of resolution of plane curve singularities [ISSAC 1988] (djvu, 8 p., 169 KB, 21.1 KB/p., landscape, English, OCR)
- Bernstein Composing power series over finite rings. JSC 1998 (djvu, 3 p., 27 KB, 9.0 KB/p., English)
- Brent, Kung Fast algorithms for manipulating power series (rpb045) [JACM 1978] (djvu, 15 p., 227 KB, 15.1 KB/p., English)
- Brent, Kung Fast algorithsm for composition and reversion of power series(rpb039) [Proc. Waterloo 1977] (djvu, 11 p., 161 KB, 14.6 KB/p., English)
- Brent, Kung Fast composition and reversion of power series (rpb029) (djvu, 5 p., 65 KB, 13.0 KB/p., English)
- Brent, Traub Complexity of composition of power series (rpb050) [Siam J Comp 1980] (djvu, 13 p., 263 KB, 20.2 KB/p., English)
- Kung, Traub Series for algebraic functions can be computed fast [JACM 1978] (djvu, 16 p., 221 KB, 13.8 KB/p., English)
- Lecerf, Schost Fast multivariate power series multiplication in characteristic 0 [2001] (ps.gz, 7 p., 63 KB, 9.0 KB/p., English)
- Lipson Newton's method for power series computations (djvu, 11 p., 156 KB, 14.2 KB/p., English)
- Van der Hoeven Lazy multiplication of formal power series (ps.gz, 4 p., 33 KB, 8.3 KB/p., English)
- Van der Hoeven Relax but not too lazy 2001 (ps.gz, 65 p., 222 KB, 3.4 KB/p., English)
- Zippel Univariate power series, limits (djvu, 11 p., 340 KB, 30.9 KB/p., English)
- Bronstein Simplification of real elementary functions (djvu, 5 p., 160 KB, 32.0 KB/p., English)
- Caviness On canonical forms and simplification [JACM 1970] (djvu, 12 p., 153 KB, 12.8 KB/p., English)
- Chapman F.W. Automatic derivation of product identities [ISSAC 2003] (djvu, 8 p., 123 KB, 15.4 KB/p., English)
- Fateman Essays in algebraic simplification (phd thesis) (djvu, 195 p., 1112 KB, 5.7 KB/p., English)
- Fischer, Warsitz Complexity of derivatives generated by symbolic differentiation [CASC 2000] (djvu, 9 p., 184 KB, 20.4 KB/p., English)
- Gutierrez, Recio Advances in simplification of sin-cos polynomials [JSC 1998] (djvu, 40 p., 276 KB, 6.9 KB/p., English)
- Karr Canonical forms of rational exponential expressions(EUROCAL85) (djvu, 6 p., 259 KB, 43.2 KB/p., English)
- Koepf Simplification of trigonometry (ps.gz, 9 p., 39 KB, 4.3 KB/p., English)
- Moses Algebraic simplification for the perplexed (djvu, 23 p., 212 KB, 9.2 KB/p., English)
- Singer et al. Computing algebraic functions using log and exp 1995 (ps.gz, 9 p., 36 KB, 4.0 KB/p., English)
- Wavrik Simplification of matrix expressions by rewriting (ps.gz, 39 p., 82 KB, 2.1 KB/p., English)
- Barton, Zippel Polynomial decomposition algorithms [JSC 1985] (djvu, 6 p., 139 KB, 23.2 KB/p., English)
- Dragan M. Decomposing large sparse systems of nonlinear equations [2001] (djvu, 9 p., 61 KB, 6.8 KB/p., English, OCR)
- Gutierrez, Recio Implementation of rational function decomposition (ISSAC92) (djvu, 6 p., 142 KB, 23.7 KB/p., English)
- Gutierrez, Rubio CADECOM, software for functional decomposition [CASC 2000] (djvu, 8 p., 168 KB, 21.0 KB/p., English)
- Klueners Univariate and bivariate polynomial decompositions. JSC 1999 (djvu, 9 p., 72 KB, 8.0 KB/p., English)
- Rubio Functional decomposition (ext.abs.) (djvu, 3 p., 15 KB, 5.0 KB/p., English, OCR)
- Weiss Homogeneous decomposition of polynomials (ISSAC92) (djvu, 6 p., 116 KB, 19.3 KB/p., English)
- Zippel Rational function decomposition [ISSAC 1991] (djvu, 6 p., 157 KB, 26.2 KB/p., English)
- von zur Gathen, Gutierrez, Rubio On multivariate polynomial decomposition [CASC 1999] (djvu, 9 p., 196 KB, 21.8 KB/p., English)
- von zur Gathen, Kozen, Landau Functional decomposition of polynomials [1987] (djvu, 11 p., 77 KB, 7.0 KB/p., English)
- von zur Gathen Decomposition of polynomials, wild case [JSC10, 1990] (pdf, 16 p., 734 KB, 45.9 KB/p., English)
- von zur Gathen Functional decomposition of polynomials. the tame case. [JSC 1990] (djvu, 19 p., 285 KB, 15.0 KB/p., English)
- Abramov, Bronstein, Petkovcek Polynomial solutions to linear operator equations (djvu, 7 p., 151 KB, 21.6 KB/p., English)
- Abramov, Petkovsek Dalambertian solutions to linear ODEs (djvu, 6 p., 123 KB, 20.5 KB/p., English)
- Barkatou M. Rational Newton algorithm for linear ODEs [ISSAC 1988] (djvu, 7 p., 176 KB, 25.1 KB/p., English)
- Barkatou Rational solutions of linear ODE systems (djvu, 21 p., 149 KB, 7.1 KB/p., English)
- Baumann Solution of ODEs with MathLie [CASC 1999] (djvu, 12 p., 217 KB, 18.1 KB/p., English)
- Bronstein et al. Polynomial solutions of linear ODEs (ps.gz, 7 p., 48 KB, 6.9 KB/p., English)
- Bronstein, Fredet Solving linear ODEs using exp integrals [1999] (ps.gz, 14 p., 93 KB, 6.6 KB/p., English)
- Bronstein, Lafaille Solutions of linear ODEs in special functions [ISSAC 2002] (djvu, 6 p., 73 KB, 12.2 KB/p., English)
- Bronstein Computer algebra algorithms for linear ODE and difference equs. (ECM) (djvu, 15 p., 105 KB, 7.0 KB/p., English)
- Bronstein Factorization of linear ODE [Math.Comp.Sim. 1996] (djvu, 2 p., 56 KB, 28.0 KB/p., English)
- Bronstein Improved algorithm for factorization of ODE (djvu, 5 p., 120 KB, 24.0 KB/p., English)
- Bronstein Linear ODE of higher than 2nd order (ps.gz, 7 p., 49 KB, 7.0 KB/p., English)
- Bronstein Solutions of ODE in their coefficient field [JSC 1992] (ps.gz, 27 p., 97 KB, 3.6 KB/p., English)
- Bronstein Solutions of ODEs in radicals [1985] (djvu, 2 p., 16 KB, 8.0 KB/p., English)
- Bronstein Solutions of ODEs in their coeff field. JSC 2000 (djvu, 37 p., 278 KB, 7.5 KB/p., English)
- Bronstein Solving linear ODEs in exponential integrals (ps.gz, 7 p., 88 KB, 12.6 KB/p., English)
- Cheb-Terrab, Roche Integrating factors for 2nd order ODes. JSC 1999 (djvu, 19 p., 132 KB, 6.9 KB/p., English)
- Davenport, Singer Elementary and Liouvillian solutions of ODEs [JSC 1986] (djvu, 13 p., 424 KB, 32.6 KB/p., English)
- Della Dora, Richard-Jung Library for integration and reduction of nonlinear ODEs [CASC 2000] (djvu, 9 p., 205 KB, 22.8 KB/p., English)
- Fakler Algorithms for solving linear ODEs (ps.gz, 11 p., 33 KB, 3.0 KB/p., English)
- Galligo Ideals of differential operators (EUROCAL85) (djvu, 5 p., 144 KB, 28.8 KB/p., English)
- Grigoriev Complexity of factoring and GCD of linear differential operators [JSC 1990] (djvu, 16 p., 602 KB, 37.6 KB/p., English)
- Хованский А.Г. Разрешимость дифференциальных уравнений [обзорный доклад, 1994] (ps.gz, 22 p., 68 KB, 3.1 KB/p., Russian)
- Kovacic Algorithm for solving 2nd order linear DE [JSC 1986] (djvu, 21 p., 490 KB, 23.3 KB/p., English)
- Linchuk Factorization of functional differential equations (djvu, 11 p., 65 KB, 5.9 KB/p., English)
- Man. Solutions of 1st order ODEs with Prelle-Singer. JSC 1993 (djvu, 21 p., 403 KB, 19.2 KB/p., English)
- Miller Reducible and irreducible linear ODEs [thesis, 1932] (djvu, 9 p., 266 KB, 29.6 KB/p., English)
- Petkovcek, Salvy Hypergeometric solutions to linear ODEs (djvu, 7 p., 144 KB, 20.6 KB/p., English)
- Pflugel Exponential solutions of 1st order ODE systems (djvu, 8 p., 239 KB, 29.9 KB/p., English)
- Risch Solution of problem of integration in finite terms [Bull. AMS 1970] (djvu, 3 p., 160 KB, 53.3 KB/p., English)
- Ritt Integral functions obtained by compounding polynomials (Bull. AMS 1933v39) (djvu, 4 p., 94 KB, 23.5 KB/p., English)
- Ritt Integration in finite terms of linear ODEs of 2nd order (Bull. AMS 1927v33) (djvu, 4 p., 87 KB, 21.8 KB/p., English)
- Ritt Transendency of certain functions of Poincare [Math.Ann. 1925] (djvu, 13 p., 217 KB, 16.7 KB/p., English)
- Rubel, Singer Differential algebraic elimination theorem [ProcAMS 1985] (djvu, 7 p., 63 KB, 9.0 KB/p., English)
- Rubel Solutions of algebraic ODEs [JDE 1983] (djvu, 7 p., 168 KB, 24.0 KB/p., English)
- Rubel Universal differential equation [BAMS 1981] (djvu, 3 p., 86 KB, 28.7 KB/p., English)
- Schmidt Heuristic solving of 1st order ODEs (djvu, 12 p., 255 KB, 21.3 KB/p., English)
- Schwarz Factorization of linear ODE (djvu, 9 p., 202 KB, 22.4 KB/p., English)
- Singer, Ulmer Kovacic-style algorithm for 3rd order ODEs 2001 (ps.gz, 25 p., 87 KB, 3.5 KB/p., English)
- Singer, Ulmer Symbolic solutions of 2nd and 3rd order ODE (ps.gz, 37 p., 117 KB, 3.2 KB/p., English)
- Singer Algebraic solutions of linear ODEs [Queens papers, 1979] (djvu, 23 p., 517 KB, 22.5 KB/p., English)
- Singer Elementary solutions of ODEs [PacJMath 1975] (djvu, 7 p., 152 KB, 21.7 KB/p., English)
- Singer Formal solutions of ODEs [JSC 1990] (djvu, 19 p., 941 KB, 49.5 KB/p., English)
- Singer Liouvillian solutions of ODEs with Liouvillian coefficients [JSC 1991] (djvu, 12 p., 402 KB, 33.5 KB/p., English)
- Soleev, Yarmuhamedov Newton polyhedra and reversible systems of ODEs [CASC 2000] (djvu, 5 p., 120 KB, 24.0 KB/p., English)
- Tsarev Enumerate all factorizations of a linear ODE (djvu, 6 p., 167 KB, 27.8 KB/p., English)
- Willis Extensible 2nd order ODE solver 2001 (djvu, 5 p., 59 KB, 11.8 KB/p., English)
- van Hoeij et al. Liouvillina solutions of ODEs of 3rd and higher order. JSC 1999 (djvu, 21 p., 158 KB, 7.5 KB/p., English)
- van Hoeij Factorization of differential operators with rational coefficients. JSC 1997 (djvu, 25 p., 190 KB, 7.6 KB/p., English)
- van der Waall Lame equations with finite monodromy (phd thesis) (djvu, 151 p., 760 KB, 5.0 KB/p., English)
- Berman Computing Galois groups of certain ODEs (phd thesis) (djvu, 157 p., 658 KB, 4.2 KB/p., English)
- Compoint, Singer Computing Galois groups of completely reducible ODEs 1998 (ps.gz, 89 KB, English)
- Cormier et al. Computing Galois groups of polynomials through ODEs 2000 (ps.gz, 353 KB, English)
- Hessinger Galois groups of 4th order ODEs (phd thesis) (ps.gz, 279 KB, English)
- Singer, van der Put. Differential Galois theory 2002-06 (ps.gz, 1470 KB, English)
- Vanderput Differential Galois theory and ODEs (ps.gz, 37 KB, English)
- van Hoeij Factorization of differential operators with power series coeffs. JSC 1997 (pdf, 634 KB, English)
- van der Put. Galois theory of differential equations. JSC 1999 (pdf, 499 KB, English)
- Baldwin et al. Traveling wave solutions of PDEs using tanh, cn (ps.gz, 36 p., 217 KB, 6.0 KB/p., English)
- De Jager, Van Asch Symbolic solutions for a class of PDEs. JSC 1996 (djvu, 10 p., 63 KB, 6.3 KB/p., English)
- Wolf Symbolic integration of exact PDEs. JSC 2000 (djvu, 11 p., 74 KB, 6.7 KB/p., English)
- Chistov Polynomial-time computation of the dimension of algebraic varieties [JSC 1996] (djvu, 25 p., 192 KB, 7.7 KB/p., English)
- Colin Solving a system of algebraic equations with symmetries (ps.bz2, 22 p., 86 KB, 3.9 KB/p., English)
- Corless et al. Singular value decomposition for polynomial systems (ISSAC95) (djvu, 13 p., 296 KB, 22.8 KB/p., English)
- Durand, Hoffmann Analytic solution of geometric constraints (JSC00) (djvu, 27 p., 179 KB, 6.6 KB/p., English)
- Fateman Solutions of algebraic and ODEs by Newton and Hensel iteration (ps.gz, 6 p., 39 KB, 6.5 KB/p., English)
- Fateman y=z2w, or why CAS cannot solve equations (ps.gz, 10 p., 37 KB, 3.7 KB/p., English)
- Fix et al. Implicitization of rational parametric surfaces (JSC96) (djvu, 8 p., 56 KB, 7.0 KB/p., English)
- Gaal Resolution of polynomial inequality in 2 variables. JSC 1993 (djvu, 9 p., 166 KB, 18.4 KB/p., English)
- Gao, Chou Solving parametric algebraic systems (ISSAC92) (djvu, 7 p., 139 KB, 19.9 KB/p., English)
- Greuel Applications of CAS to alg. geometry and symbolic-numerical solving [2000] (ps.gz, 17 p., 100 KB, 5.9 KB/p., English)
- Guisti, Lecerf, Salvy Groebner free alternative for polynomial system solving [2000] (ps.gz, 51 p., 177 KB, 3.5 KB/p., English)
- Hanrot Algorithmic solvability in radicals (djvu, 8 p., 336 KB, 42.0 KB/p., English)
- Henson, Rubel, Singer Algebraic properties of the ring of exp-polynomials [Compl.Var. 1989] (djvu, 11 p., 262 KB, 23.8 KB/p., English)
- Huber, Sturmfels Polyhedral method for solving sparse polynomial systems [MC 1995] (djvu, 16 p., 137 KB, 8.6 KB/p., English)
- Jeffrey et al. Rational solutions of transcendental equations (ps.gz, 6 p., 58 KB, 9.7 KB/p., English)
- Jirstrand M. Algebraic methods in modeling, design and control (phd thesis) [1996] (ps.gz, 154 p., 608 KB, 3.9 KB/p., English)
- Jirstrand M. Introduction to cylindrical algebraic decomposition [1995] (djvu, 40 p., 192 KB, 4.8 KB/p., English)
- Jirstrand M. Introduction to cylindrical algebraic decomposition [1995] (ps.gz, 40 p., 269 KB, 6.7 KB/p., English)
- Kalkbrener Euclidean algorithm for triangular representation of algebraic varieties (JSC93) (djvu, 25 p., 453 KB, 18.1 KB/p., English)
- Kozen, Landau, Zippel Decomposition of algebraic functions [JSC 1996] (djvu, 12 p., 84 KB, 7.0 KB/p., English)
- Kozen, Landau Polynomial decomposition algorithm [JSC 1989] (djvu, 12 p., 129 KB, 10.8 KB/p., English)
- Lazard Solving systems of algebraic equations [ACM SIGSAM 2001] (djvu, 27 p., 350 KB, 13.0 KB/p., English)
- Lecerf G. Alternative rewriting methods for solving algebraic systems [phd thesis, 2001] (ps.gz, 216 p., 587 KB, 2.7 KB/p., English)
- Li, Sauer, Yorke Cheater's homotopy. Solving systems of polynomial equations [SIAM JNA 1989] (djvu, 12 p., 121 KB, 10.1 KB/p., English)
- Maignan Real sine-polynomial equations (djvu, 8 p., 141 KB, 17.6 KB/p., English)
- Maignan Resolution reelle des systemes algebro-elementaires [these, 2000] (djvu, 143 p., 680 KB, 4.8 KB/p., French)
- Maignan Solving exponential-polynomial systems of equations (djvu, 7 p., 86 KB, 12.3 KB/p., English)
- Mourrain Isolated roots of algebraic equations matrix methods. JSC 1998 (djvu, 24 p., 181 KB, 7.5 KB/p., English)
- Pau, Schicho Quantifier elimination and CAD for trigonometric polynomials [JSC 2000] (djvu, 13 p., 98 KB, 7.5 KB/p., English)
- Richardson D. Solution of elementary systems of equations in a box in Rn (ISSAC96) (djvu, 7 p., 175 KB, 25.0 KB/p., English)
- Roach Numeric-symbolic nonlinear equation solving (djvu, 7 p., 139 KB, 19.9 KB/p., English)
- Rouillier, El Din. Real solutions of positive-dimensional algebraic systems [JSC 2002] (djvu, 18 p., 127 KB, 7.1 KB/p., English)
- Schicho Rational parametrization of surfaces [JSC 1998] (djvu, 29 p., 190 KB, 6.6 KB/p., English)
- Steinwandt Decomposing systems of polynomial equations [CASC 1999] (djvu, 11 p., 274 KB, 24.9 KB/p., English)
- Strzebonsky Solving systems of polynomial inequalities. JSC 2000 (djvu, 10 p., 85 KB, 8.5 KB/p., English)
- Tran Symbolic-numerical solution of real algebraic equations (JSC98) (djvu, 22 p., 147 KB, 6.7 KB/p., English)
- Wang Elimination method for polynomial systems (JSC93) (djvu, 32 p., 915 KB, 28.6 KB/p., English)
- Woods Efficient solution of systems of boolean equations (djvu, 5 p., 58 KB, 11.6 KB/p., English)
- Xia, Yang Solving algebraic systems [JSC 2002] (djvu, 17 p., 121 KB, 7.1 KB/p., English)
- Eikenberry, Sorenson Algorithms for Jacobi symbol. JSC 1998 (djvu, 15 p., 97 KB, 6.5 KB/p., English)
- Koepf Algorithms for orthogonal polynomials (ps.gz, 37 p., 150 KB, 4.1 KB/p., English)
- Koepf CAS algorithms for orthogonal polynomials and special functions 2002 (djvu, 20 p., 114 KB, 5.7 KB/p., English)
- Koepf Efficient computation of orthogonal polynomials in CAS (ps.gz, 20 p., 104 KB, 5.2 KB/p., English)
- Koepf Identities for orthogonal polynomials and special functions (ps.gz, 30 p., 97 KB, 3.2 KB/p., English)
- Roach Representations of hypergeometric function (ISSAC96) (ps.gz, 8 p., 65 KB, 8.1 KB/p., English)
- von Mohrenshildt Canonical form for piecewise functions. JSC 1998 (djvu, 13 p., 87 KB, 6.7 KB/p., English)
- Abramov, Petkovsek Minimal decomposition of hypergeom sums (djvu, 8 p., 282 KB, 35.3 KB/p., English)
- Abramov,Geddes,Le. Algorithms for closed forms of sums (djvu, 2 p., 11 KB, 5.5 KB/p., English)
- Abramov Termination of Zeilberger's algorithm for hypergeom sums (djvu, 7 p., 85 KB, 12.1 KB/p., English)
- Bauer, Petkovcek Multibase Gosper-type algorithms. JSC 1999 (djvu, 26 p., 172 KB, 6.6 KB/p., English)
- Bergeron, Plouffe Computing the generating function from first terms of series (ps.gz, 247 KB, English)
- Boeing, Koepf Algorithms for q-hypergeometric summation in CAS (ps.gz, 17 p., 125 KB, 7.4 KB/p., English)
- Boeing, Koepf q-hypergeometric summation in CAS (djvu, 23 p., 152 KB, 6.6 KB/p., English)
- Boeing Theorie zur q-hypergeom Summation (ps.gz, 95 p., 357 KB, 3.8 KB/p., English)
- Chyzak Summation of special functions and combinatorics (talk, slides) (ps.gz, 63 p., 203 KB, 3.2 KB/p., English)
- Fateman, Kahan Symbolic computation with divided differences (djvu, 23 p., 146 KB, 6.3 KB/p., English)
- Hayden, Lamagna Summation of binomial coeffs using hypergeometrics (djvu, 5 p., 149 KB, 29.8 KB/p., English)
- Karr Summation in finite terms [JSC 1985] (djvu, 7 p., 160 KB, 22.9 KB/p., English)
- Karr Summation in finite terms 1981 (djvu, 46 p., 558 KB, 12.1 KB/p., English)
- Koepf Q-summation (ps.gz, 16 p., 73 KB, 4.6 KB/p., English)
- Le. constructing minimal telescoper for sums 2001 (djvu, 9 p., 122 KB, 13.6 KB/p., English)
- Man. Closed forms for symbolic summation. JSC 1993 (pdf, 22 p., 598 KB, 27.2 KB/p., English)
- Man. Closed forms for symbolic summation. JSC 1993 (djvu, 22 p., 460 KB, 20.9 KB/p., English)
- Norton Shortest linear recurrences. JSC 1999 (djvu, 25 p., 173 KB, 6.9 KB/p., English)
- Paule Recent developments in symbolic summation (ps.gz, 30 p., 87 KB, 2.9 KB/p., English)
- Pirastu, Strehl Rational summation and Gosper-Petkovsek representation. JSC 1995 (ps.gz, 20 p., 80 KB, 4.0 KB/p., English)
- Pirastu Algorithms for rational function summation (Maple) (ps.gz, 12 p., 66 KB, 5.5 KB/p., English)
- Pirastu Rational function summation and Gosper-Petkovchek repr (ps.gz, 21 p., 84 KB, 4.0 KB/p., English)
- Pirastu Summation rationaler Funktionen. Diplom (ps.gz, 102 p., 186 KB, 1.8 KB/p., German)
- Ravenscroft, Lamagna Symbolic summation with generating functions (djvu, 6 p., 147 KB, 24.5 KB/p., English)
- Riese Contributions to q-hypergeometric summation (phd thesis) (ps.gz, 103 p., 248 KB, 2.4 KB/p., English)
- Schneider Implementation of Gosper-Karr's symbolic summation algorithm (ps.gz, 10 p., 44 KB, 4.4 KB/p., English)
- Sherman Symbolic summation of Apery series (damaged) (djvu, 11 p., 44 KB, 4.0 KB/p., English)
- Singer Solving difference equations in finite terms. JSC 1999 (djvu, 21 p., 163 KB, 7.8 KB/p., English)
- Wolfram D.A. General solution for constant-coefficient difference equation [JSC 2000] (djvu, 4 p., 28 KB, 7.0 KB/p., English)
- Zhang Algorithm for proving q-hypergeometric identities. JSC2003 (pdf, 11 p., 105 KB, 9.5 KB/p., English)
- Ballarin C. Computer algebra and theorem proving (PhD thesis) (ps.gz, 122 p., 293 KB, 2.4 KB/p., English)
- Calmet Vorlesungen zur Computer-Algebra (2sided) (ps.gz, 136 p., 510 KB, 3.8 KB/p., German)
- Calmet Vorlesungen zur Computer-Algebra (ps.gz, 271 p., 511 KB, 1.9 KB/p., German)
- Chee Yap. Fundamental problems of algorithmic algebra (draft dvi) (zip, 710 KB, English)
- Davenport et al. Calcul algebrique et formel [1995] (ps.gz, 156 p., 448 KB, 2.9 KB/p., French)
- Hebisch Skript zur Vorlesung Computer algebra 2002 (djvu, 11 p., 51 KB, 4.6 KB/p., German, OCR)
- Liska et al. Overview of CAS capabilities and algebraic algorithms (ps.gz, 169 p., 233 KB, 1.4 KB/p., English)
- Richardson M70 computer algebra lecture (ps.gz, 25 p., 109 KB, 4.4 KB/p., English)
- Singer Lectures on computer algebra (pdfs) (zip, 453 KB, English)
- Wenzierl Computer algebra algorithms for particle physics (ps.gz, 56 p., 172 KB, 3.1 KB/p., English)
- Zimmermann P. Recherche de calcul formel et de arithmetique (ps.gz, 53 p., 327 KB, 6.2 KB/p., French)
| |
At this time books in DjVu format are accessible just in a local network
of the Grodno State University.
External users for reception of books from our library it is necessary
for you to be registered.
The registered users can receive 1 book of times in a week under the
application by E-mail.
В настоящее время книги в формате DjVu доступны только в локальной сети
Гродненского государственного университета.
Внешним пользователям для получения книг из нашей библиотеки
необходимо зарегистрироваться.
Зарегистрированные пользователи могут получить 1 книгу раз в неделю по заявке на E-mail.
|
|
|
|
