Компьютерная алгебра

  1. Abbott, Bronstein, Mulders. Fast computation of integer determinans(9s).ps.gz (63.7К)
  2. Algebraic numbers
    1. Abbott. Recovery of algebraic numbers from p-adic calculations(T)(9s).djvu (238.5К)
    2. Bradford. Some results on the defect of algebraic numbers (SIGSAM1989)(T)(7s).djvu (157.5К)
    3. Cantor et al. Continued fraction algorithm for real algebraic numbers (MC 1972)(T)(8s).djvu (68.8К)
    4. Davenport, Trager. Factoring polynomials over algebraic domains (1981)(T)(6s).djvu (163.1К)
    5. Encarnacion. Factoring polynomials over algebraic numbers(T)(6s).djvu (166.2К)
    6. Johnson. Real algebraic number computation using intervals (ISSAC92)(T)(11s).djvu (250.1К)
    7. Kaltofen, Shoup. Fast polynomial factoring over high algebraic extensions(T)(5s).djvu (155.4К)
    8. Lecerf. Dynamic evaluation and real closure. Implementation in Axiom (1996)(42s).ps.gz (103.6К)
    9. Manocha, Canny. Multipolynomial resultant algorithms (JSC93)(T)(24s).djvu (519.9К)
    10. Mishra, Pedersen. Aritmetic with real algebraic numbers (1990)(T)(7s).djvu (189.6К)
    11. Monagan. Signature functions for computations with algebraic numbers(T)(6s).djvu (162.6К)
    12. Nauheim. Lifting for algebraic equations with bad reduction (JSC98)(T)(23s).djvu (163.2К)
    13. Pohst. Validated computing in algebraic number fields (JSC 1997)(T)(9s).djvu (70.1К)
    14. Rioboo. Faster real algebraic numbers (ISSAC02)(T)(21s).djvu (151.3К)
    15. Rioboo. Real algebraic closure of ordered field, in Axiom (ISSAC92)(T)(10s).djvu (202.2К)
    16. Rump. Sign of algebraic numbers (ACMSAC76)(T)(4s).djvu (65.0К)
    17. Sakkalis T. Signs of algebraic numbers(L)(T)(3s).djvu (87.1К)
    18. Shoup. Fast polynomial factorization over finite field(36s).ps.gz (103.7К)
    19. Strzebonski. Computing with complex algebraic numbers. JSC 1997(T)(10s).djvu (75.3К)
    20. Trevisan. Practical factorization of polynomials over finite fields(T)(10s).djvu (237.8К)
    21. Weinberger, Rothshild. Factoring polynomials over algebraic numbers 1976(T)(16s).djvu (215.0К)
    22. Yun. Algebraic algorithms using p-adic numbers(T)(12s).djvu (211.5К)
  3. CAS systems
    1. Bosma et al. Magma algebra system I. User language (JSC 1997)(T)(31s).djvu (232.2К)
    2. Buchberger. CAS not an end of mathematics(7s).pdf (871.6К)
    3. Cooperman. STAR MPI parallel library to interactive symbolic algebra(7s).ps.gz (43.5К)
    4. Cooperman. Semantic matching for computer algebra(T)(3s).djvu (112.5К)
    5. Fateman, Caspi. Parsing TeX into mathematics(T)(25s).djvu (152.9К)
    6. Fateman, Hayden. Speeding up symbolic mathematics(6s).ps.gz (44.4К)
    7. Fateman. Design and construction of CAS (94)(11s).ps.gz (45.3К)
    8. Fateman_Problem_solving_with_CAS(29s).pdf (148.6К)
    9. Fickas. Design issues in rule-based systems(T)(8s).djvu (355.6К)
    10. Hayes-Roth. Rule-based systems(T)(12s).djvu (552.8К)
    11. Kazimierczak. Approach to natural language processing using rules(T)(8s).djvu (291.5К)
    12. Lewis. Comparison of CAS (maple code).txt.gz (38.1К)
    13. Lewis. Comparison of polynomial CAS(6s).ps.gz (55.2К)
    14. M. Wester#s 1994 CAS Test suite in Mupad(23s).ps.gz (51.9К)
    15. M. Wester. CAS Benchmark 1999(40s).ps.gz (219.3К)
    16. Maxima documentation(279s).pdf (867.1К)
    17. Noro. Risa-asir - a CAS(T)(10s).djvu (162.5К)
    18. Problem solving with Maple, a handbook (1998)(157s).ps.gz (599.6К)
    19. Problem solving, calculus with Maple (1998) (mws).zip (277.1К)
    20. SACLIB 1.1 manual(79s).ps.gz (144.4К)
    21. Schreiner. PACLIB, parallel functional programming for CAS(318s).ps.gz (828.6К)
    22. Unsolved problems in CAS(T)(29s).djvu (241.0К)
    23. Using Maple in Calculus(40s).ps.gz (143.4К)
    24. Using Maple in linear algebra (notes)(66s).ps.gz (115.1К)
    25. Zimmer. SIMATH, a CAS for number theory (ISSAC 1997)(T)(11s).djvu (261.4К)
  4. Cohen H. (ed.) Algorithmic number theory (Proc. ANTS-II, Springer 1996)(selected papers)(L)(T)(54s).djvu (936.1К)
  5. Complex variable
    1. Aslaksen. Complex analysis and CAS 1, exponentials 1996(T)(8s).djvu (40.5К)
    2. Aslaksen. Complex analysis and CAS 2, using Corless notation(T)(8s).djvu (42.3К)
    3. Bradford. Simplification of multiple-valued functions (DISCO92, LNCS 721)(L)(T)(5s).djvu (90.3К)
    4. Corless et al. Arccoth need not be uncouth(27s).ps.gz (95.6К)
    5. Corless et al. Branch cuts for trigonometrics(24s).ps.gz (87.2К)
    6. Corless et al. Lambert W function(32s).ps.gz (97.4К)
    7. Corless et al. Reasoning about complex elementary functions(12s).ps.gz (70.2К)
    8. Corless, Jeffrey. Graphing Riemann surfaces(T)(C)(7s).djvu (246.0К)
    9. Corless, Jeffrey. Unwinding number(8s).ps.gz (72.1К)
    10. Corless. Exercises on W function(1s).ps.gz (15.8К)
    11. CorlessJeffreyKnuth. Sequence of series for the Lambert W function(10s).ps.gz (94.6К)
    12. Davenport et al. Defining branch cuts for trig and other functions(27s).ps.gz (95.6К)
    13. Dingle, Fateman. Branch cuts in computer algebra(8s).ps.gz (54.1К)
  6. Computer algebra in scientific computing (CASC1999) TOC(L)(T)(3s).djvu (38.4К)
  7. Computer algebra in scientific computing (CASC2000) TOC(L)(T)(3s).djvu (37.1К)
  8. Davenport J.H. (ed.) Proc. EUROCAL 87 (selected papers)(LNCS 378, 1987)(L)(T)(30s).djvu (620.6К)
  9. Determining zero
    1. Burnikel et al. A strong computable separation bound for arithmetic expressions with radicals (Algorithmica 2000)(13s).pdf (83.0К)
    2. Chow. What is a closed-form number(11s).ps.gz (61.7К)
    3. Hur, Davenport. Exact zero determination for algebraic numbers(T)(6s).djvu (78.5К)
    4. Johnson S.C. Problem of recognizing zero (JACM 18, 559) (1971)(T)(7s).djvu (86.6К)
    5. Johnson S.C. Problem of recognizing zero (preprint)(T)(4s).djvu (59.1К)
    6. Langley, Richardson. What can we do with a solution (cca2002)(14s).ps.gz (102.0К)
    7. Richardson D. Simplified method for recognizing zero in constants (ISSAC95)(T)(6s).djvu (158.8К)
    8. Richardson, El-Sonbaty. Zero recognition of polynomial terms(11s).ps.gz (68.0К)
    9. Richardson, Fitch. Identity of elementary functions and constants (ISSAC94)(T)(6s).djvu (160.8К)
    10. Richardson, Langley. Some obervations about familiar numbers (2002)(14s).ps.gz (55.3К)
    11. Richardson. How to recognize zero (JSC24, 1997)(T)(19s).djvu (139.3К)
    12. Richardson. Recognizing zero(23s).ps.gz (93.9К)
    13. Richardson. Testing the uniformity conjecture(23s).ps.gz (89.3К)
    14. Richardson. Testing the uniformity conjecture.dvi.gz (33.9К)
    15. Richardson. The elementary constant problem (ISSAC92)(T)(9s).djvu (199.2К)
    16. Richardson. The uniformity conjecture(21s).ps.gz (91.6К)
    17. Richardson. The uniformity conjecture.dvi.gz (31.5К)
    18. Shackell, Van der Hoeven. Complexity bounds for zero-testing of polynomials(15s).ps.gz (157.2К)
    19. Van der Hoeven. Automatic numerical expansions 1994(14s).ps.gz (59.2К)
    20. Van der Hoeven. Complexity bounds for zero-test algorithms(14s).ps.gz (155.1К)
    21. Van der Hoeven. Witness for zero-testing(12s).ps.gz (130.0К)
    22. Van der Hoeven. Zero-test algorithms for functions(14s).ps.gz (155.2К)
    23. Wang. Undecidability of zeros of elementary functions(T)(4s).djvu (72.5К)
  10. Diophantine equations
    1. Aardal, Hurkens, Lenstra. Solving a system of diophantine equations with bounds on the variables (1998)(20s).ps.gz (80.1К)
    2. Bennett. Solving families of simultaneous Pell equations(5s).ps.gz (63.2К)
    3. Blankinship. Algorithm 288, Solution of linear Diophantine systems (CACM 1966)(T)(1s).djvu (63.5К)
    4. Cucker et al. Algorithm for diophantine equations in one variable. JSC 1999(T)(9s).djvu (70.7К)
    5. Guisti et al. Lower bounds for diophantine approximations (JPAA1997)(T)(41s).djvu (508.9К)
    6. Mulders, Storjohann. Solving linear diophantine systems (ISSAC99)(T)(8s).djvu (321.3К)
    7. Peck. Algorithm 139, solutions of Diophantine equation (CACM 1962)(T)(8s).djvu (239.7К)
    8. Poulakis, Voskos. Genus 0 diophantine equations with 2 valuations (JSC2002)(T)(13s).djvu (99.8К)
    9. Poulakis, Voskos. Solution of genus 0 Diophantine equations (JSC2000)(T)(10s).djvu (84.5К)
    10. Stroeker, Tzanakis. Computing all integer solutions of general elliptic equation (2000)(9s).ps.gz (75.6К)
    11. Stroeker, Tzanakis. Computing all integer solutions of genus 1 equation(T)(20s).djvu (220.4К)
    12. Stroeker, de Weger. Solving elliptic diophantine equations. General cubic case (1999)(28s).ps.gz (160.1К)
    13. Tzanakis. Solution of two Pell equations(20s).ps.gz (114.7К)
    14. Tzanakis. Solving elliptic diophantine equations. Quartic eqs.(1994)(32s).ps.gz (148.6К)
  11. Feinsilver, Schott. Computing the adjoint representation of Lie group. JSC 1998(T)(10s).djvu (59.3К)
  12. Filaseta, Schinzel. Irreducibility and GCD algorithms for sparse polynomials(14s).pdf (105.3К)
  13. Fortuna et al. Computing the topology of orientable real algebraic surfaces (JSC03)(T)(22s).djvu (196.5К)
  14. Freire et al. Symbolic computation of center manifolds (ISSAC1988)(L)(T)(7s).djvu (207.5К)
  15. Gil. Jordan form of matrices(T)(8s).djvu (207.6К)
  16. Groebner bases
    1. Apel, Klaus. Data representation in FELIX (DISCO92)(2 pages with Groebner basis examples)(L)(T)(2s).djvu (36.6К)
    2. Bachmann, Schoenemann. Monomial representations for Groebner bases (ISSAC98)(T)(8s).djvu (125.8К)
    3. Bikker. Bezout#s method for computing the resultant (1995)(21s).ps.gz (76.7К)
    4. Bronstein. Gsolve - faster Groebner bases solver(T)(3s).djvu (85.3К)
    5. Caboara M. Optimization of basic algorithms in commutative algebra (phd thesis, 1998)(118s).dvi.gz (222.2К)
    6. Caboara M. Optimization of basic algorithms in commutative algebra (phd thesis, 1998)(118s).ps.gz (395.7К)
    7. Caboara, Kreuzer, Robbiano. Efficient computation of minimal set of critical pairs in Groebner bases (2003)(27s).dvi.gz (47.1К)
    8. Caboara, Kreuzer, Robbiano. Efficient computation of minimal set of critical pairs in Groebner bases (2003)(27s).ps.gz (139.5К)
    9. Caboara. Dynamic algorithm for Groebner bases (ISSAC93)(T)(9s).djvu (234.4К)
    10. Chyzak. Fonctions holonome et calcul formel (PhD Thesis, fr)(230s).ps.gz (509.3К)
    11. Chyzak. Groebner bases and symbolic summation and integration(34s).ps.gz (229.2К)
    12. Chyzak. Holonomic functions in computer algebra (slides, talk)(99s).ps.gz (216.5К)
    13. Chyzak. Holonomic systems and automatic proofs of identities. RR-2371(64s).ps.gz (196.9К)
    14. Chyzak. Seminar on computer algebra (1999, 2000)(154s).ps.gz (702.0К)
    15. Collins. Multivariate polynomial resultants(T)(18s).djvu (256.4К)
    16. Corless, Gianni, Trager. Factorization of polynomial systems (ISSAC97)(T)(8s).djvu (229.0К)
    17. Corless. Lecture notes on Groebner bases(6s).ps.gz (63.2К)
    18. Czapor. Heuristic selection strategy for Groebner bases (ISSAC91)(T)(10s).djvu (184.3К)
    19. Czichowski. Groebner bases and integration of rational functions (JSC 1995)(T)(5s).djvu (96.4К)
    20. Faugere. New efficient algorithm for Groebner bases (JPAA1999)(T)(28s).djvu (406.8К)
    21. Fortuna, Gianni, Trager. Radical of polynomial ideals over arbitrary fields (ISSAC01)(T)(5s).djvu (235.7К)
    22. Gerdt. Relation between Pommaret and Janet bases (CASC2000)(L)(T)(8s).djvu (202.6К)
    23. Gianni, Trager. GCDs and factoring multivariate polynomials using Groebner bases (EUROCAL85)(L)(T)(2s).djvu (45.5К)
    24. Giovini et al. Selection strategies in Buchberger algorithm (ISSAC91)(T)(6s).djvu (168.8К)
    25. Giovini et al. Sugar cube selection strategies for Buchberger algorithm (ISSAC91)(7s).ps.gz (54.8К)
    26. Goebel, Maier. Remarks on comprehensive Groebner and SAGBI bases (CASC2000)(L)(T)(7s).djvu (191.7К)
    27. Hemmecke. Loesung der Systemen mit kontinuerlichen Symmetrien (phd thesis) (de)(67s).pdf (408.9К)
    28. Hubert. General solution of ordinary differential equation (ISSAC96)(T)(7s).djvu (173.6К)
    29. Kahoui. Elementary subresultants theory. JSC2003(12s).pdf (135.9К)
    30. LaScala. Buchberger algorithm for complexes (ISSAC94)(T)(5s).djvu (133.1К)
    31. Lakshman. Complexity of Groebner basis of radical ideal (1990)(T)(9s).djvu (205.7К)
    32. Lecerf. Resolution des systemes algebriques (phd these)(fr)(216s).ps.gz (600.8К)
    33. Mandache. Groebner bases computation and Gaussian elimination (phd thesis)(89s).ps.gz (169.5К)
    34. Marche. Rewriting, Knuth-Bendix and Groebner bases computations(16s).ps.gz (55.7К)
    35. Marinari et al. Groebner duality and multiplicities in polynomial systems(T)(13s).djvu (314.1К)
    36. Marinari, Moeller, Mora. Groebner duality and multiplicities in polynomial systems (ISSAC95)(13s).ps.gz (95.9К)
    37. Marinari, Moeller, Mora. Multiplicities in polynomial systems (TAMS96)(30s).ps.gz (139.5К)
    38. Minimair. Resultants of composed polynomials (phd thesis, 2001)(148s).ps.gz (285.4К)
    39. Mora T. Applaying Macaulay#s Trick to write Groebner basis (J.Appl.Alg, 2003)(13s).ps.gz (83.3К)
    40. Mora T. Eagon, Northcott, Groebner (1998)(14s).ps.gz (69.2К)
    41. Mora, Moeller, Traverso. Groebner bases using syzygies (ISSAC92)(9s).ps.gz (67.7К)
    42. Mora, Rossi. Hilbert function for primary ideal 1995(15s).ps.gz (73.5К)
    43. Mora. Introduction to commutative and noncommutative Groebner bases (1994)(28s).ps.gz (127.1К)
    44. Mora. Polynomial system solving survey 1994(23s).ps.gz (93.3К)
    45. Moses, Yun. The EZ polynomial GCD algorithm(T)(8s).djvu (158.1К)
    46. Richardson D. Zero structure theorem for exp-polynomials (ISSAC93)(T)(8s).djvu (160.1К)
    47. Saxena T. Variable elimination using resultants (Ph. D. thesis 1997)(179s).ps.gz (263.9К)
    48. Smirnov A. An Algorithm to Construct Groebner Bases for Solving Integration by Parts Relations (arXiv hep-ph_0602078, 2006)(10s).pdf (128.8К)
    49. Szanto. Complexity of Wu-Ritt decomposition(T)(11s).djvu (268.2К)
    50. Wang D. Prime decomposition of radicals of polynomial ideals (1998)(T)(8s).djvu (165.6К)
    51. Windsteiger. Groebner bases and syzygy completion (master-thesis)(152s).ps.gz (207.5К)
    52. Winkler, Buchberger et al. Algorithm 628. Groebner bases for polynomial ideals(T)(13s).djvu (142.6К)
  17. Ilyin, Kryukov. Symbolic simplification of tensor expressions(T)(5s).djvu (100.5К)
  18. Integration
    1. Abbott. Solving the Risch differential equation (EUROCAL87)(L)(T)(2s).djvu (77.5К)
    2. Adamchik, Marichev. Integration of hypergeometric-type functions(T)(13s).djvu (197.2К)
    3. Almquist, Zeilberger. Method of differentiating under the integral sign (JSC1990)(L)(T)(11s).djvu (219.8К)
    4. Bertrand. Computation of hyperelliptic integrals(T)(5s).djvu (114.3К)
    5. Bronstein, Petkovsek. Intro to pseudo-linear algebra(29s).ps.gz (94.8К)
    6. Bronstein, Salvy. Full partial fraction decomposition(T)(4s).djvu (77.1К)
    7. Bronstein. Algorithm for integration of elementary functions (Eurocal87, LNCS 378)(L)(T)(4s).djvu (140.0К)
    8. Bronstein. Bibliography (from math.sci.net)(T)(11s).djvu (66.3К)
    9. Bronstein. Fast reduction of the Risch differential equation (ISSAC88, LNCS 358)(L)(T)(5s).djvu (124.3К)
    10. Bronstein. Formulas for series computations (AAECC1992)(L)(T)(7s).djvu (205.5К)
    11. Bronstein. Integration and diff. equations in CAS (tutorial, 1992)(17s).ps.gz (71.5К)
    12. Bronstein. Integration of elementary functions (JSC1990)(L)(T)(29s).djvu (959.3К)
    13. Bronstein. Lazy Hermite reduction (integration of algebraic functions)(16s).ps.gz (121.6К)
    14. Bronstein. Linear ODEs, breaking through order 2 barrier (ISSAC92)(7s).ps.gz (51.6К)
    15. Bronstein. SUM-It, a computer algebra library (96)(13s).ps.gz (75.2К)
    16. Bronstein. Symbolic integration tutorial (ISSAC98)(35s).ps.gz (146.0К)
    17. Bronstein. The transcendental Risch differential equation (JSC1990)(L)(T)(6s).djvu (179.3К)
    18. Bronstein. Unification of Liouvillian extensions (AAECC1990)(L)(T)(11s).djvu (358.2К)
    19. Carlson. Symbolic integration of elliptic integrals. JSC 1999(T)(15s).djvu (107.4К)
    20. Cherry, Caviness. Integration in finite terms with special functions (EUROSAM84)(L)(T)(5s).djvu (189.8К)
    21. Cherry. Integration in finite terms with error function (JSC 1985)(L)(T)(11s).djvu (284.9К)
    22. Davenport J.H. On the integration of algebraic functions (LNCS 102, Springer, 1981)(T)(199s).djvu (1.0М)
    23. Davenport, Trager. Parallel Risch algorithm II(T)(7s).djvu (99.6К)
    24. Davenport. y# + fy = g (EUROSAM84)(L)(T)(6s).djvu (175.3К)
    25. Diaz-Toca. Squarefree decomp. of polynomials with parameter and integration(T)(19s).djvu (118.2К)
    26. Fateman. Improving exact integrals from CAS(T)(15s).djvu (93.1К)
    27. Geddes. Risch-Norman integration method(T)(6s).djvu (144.1К)
    28. Horowitz. Algorithms for partial fraction decomposition and integration of rational functions(T)(17s).djvu (228.1К)
    29. Jeffrey et al. Integration of signum, piecewise functions(7s).ps.gz (48.7К)
    30. Jeffrey, Rich. Evaluation of trig integrals with discontinuities(T)(12s).djvu (143.2К)
    31. Jeffrey, Rich. Recursive integration of piecewise functions(T)(5s).djvu (63.8К)
    32. Jeffrey. Rectifying transform, integration of trigonometrics. JSC 1997(T)(11s).djvu (85.3К)
    33. Jirstrand M. Some finiteness issues in differential algebraic systems theory (1994)(16s).ps.gz (99.0К)
    34. Kaltofen. A note on the Risch differential equation (EUROSAM84)(L)(T)(5s).djvu (182.9К)
    35. Knowles. Integration of transcendental Liouvillian functions. Part 1 (JSC1992)(L)(T)(10s).djvu (382.9К)
    36. Knowles. Integration of transcendental functions. JACM 1986(T)(6s).djvu (115.0К)
    37. Knowles. Integration with error functions, part II. JSC 1993(T)(13s).djvu (242.3К)
    38. Lazard, Rioboo. Integration of rational functions, a new formula (JSC1990)(T)(2s).djvu (82.0К)
    39. Lazard, Rioboo. Integration of rational functions. Rational computation of logarithmic part (JSC 1990)(L)(T)(2s).djvu (59.5К)
    40. Marchisotto, Zakeri. Invitation to integration in finite terms (Coll.Math.J. 25, p295, 1994)(600dpi)(T)(14s).djvu (170.4К)
    41. Moses. Historic approaches to symbolic integration(T)(13s).djvu (224.2К)
    42. Moses. Introduction to the Risch algorithm(T)(4s).djvu (78.8К)
    43. Moses. Symbolic integration (phd thesis)(T)(268s).djvu (2.1М)
    44. Moses. Towards a general theory of special functions(T)(5s).djvu (103.9К)
    45. Mulders. Subresultans and Trager formula in integration. JSC 1997(T)(6s).djvu (42.0К)
    46. Norman. Critical pair completion integration algorithm(T)(5s).djvu (187.2К)
    47. Piquette J.C. Symbolic evaluation of indefinite integrals containing special functions (J.Symb.Comp.11, p231, 1991)(T)(19s).djvu (299.1К)
    48. Rosenlicht M. On Liouville#s theory of elementary functions (Pacif.J.Math. 65, p485, 1976)(600dpi)(T)(8s).djvu (137.7К)
    49. Singer, Saunders, Caviness. Extension of Liouville#s theorem on integration (SIAM J Comp 1985).pdf)(L)(T)(13s).djvu (422.4К)
    50. Takayama. Groebner bases, integration, transcendental functions (ISSAC90)(T)(5s).djvu (117.2К)
    51. Trager. Algebraic factoring and integration of rational functions(T)(8s).djvu (248.2К)
    52. Trager. Integration of algebraic functions (phd thesis)(T)(83s).djvu (633.6К)
    53. Ulmer, Weil. Note on Kovacic algorithm (JSC1996)(T)(22s).djvu (172.2К)
    54. Ulmer. Liouvillian solutions of 3rd order ODEs (JSC2003)(T)(35s).djvu (275.2К)
    55. Vermaseren J. Introduction to FORM language (DESY course, free web version, 2005)(41s).ps.gz (107.0К)
    56. Vermaseren J. The FORM version of MINCER for massless three-loop Feynman diagrams (DESY course, free web version, 2005)(13s).ps.gz (75.1К)
    57. Wang. P-adic algorithm for univariate partial fractions(T)(6s).djvu (133.7К)
    58. Wang. Symbolic definite integration (1971)(T)(191s).djvu (1.1М)
    59. Yakubovich, Luchko. Integrals and series wrt parameters of hypergeoms(T)(10s).djvu (137.0К)
    60. Yun. Analysis of square-free decomposition algorithms(T)(10s).djvu (115.1К)
    61. van Hoeij. Minimal polynomial of Abel solution to ODE(11s).ps.gz (69.1К)
  19. Janssen R. (ed.) Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296)(L)(T)(48s).djvu (938.0К)
  20. Jones. Exposition of undecidability (1974)(T)(16s).djvu (225.7К)
  21. Kavian et al. Application of genetic algorithms for tensor manipulation 1997(T)(8s).djvu (216.4К)
  22. Kavian et al. MapleTensor progress report 1996(T)(8s).djvu (172.7К)
  23. Leclerc. Algebraic combinatorics with maple and ace(7s).ps.gz (89.0К)
  24. Lie symmetries
    1. Carminati, Vu. Lie symmetries in symbolic computation(T)(22s).djvu (147.8К)
    2. Hereman and Goektash. Integrable systems and Lie symmetries (chapter from Wiley book)(31s).ps.gz (112.1К)
    3. Hereman. Painleve test for ODEs(5s).ps.gz (38.1К)
    4. Hereman. Symbolic methods and software overview for Lie symmetry analysis(60s).ps.gz (189.2К)
    5. Reid et al. Lie symmetry commutation relations for PDEs(T)(6s).djvu (159.8К)
  25. Limits, asymptotics
    1. Fateman. Computing multiple-scale asymptotic expansions(T)(7s).djvu (120.3К)
    2. Geddes, Gonnet. Computing symbolic limits using hierarchical series (ISSAC1988)(L)(T)(3s).djvu (91.2К)
    3. Gorin E.A. Asimptoticheskie svojstva mnogochlenov neskol#kih peremennyh (1991)(ru)(L)(T)(14s).djvu (708.2К)
    4. Gourdon, Salvy. Effective asymptotics for linear recurrences (Discr.Math.153, p145, 1996)(T)(19s).djvu (158.9К)
    5. Gourdon, Salvy. Effective asymptotics of linear recurrences(14s).ps.gz (73.8К)
    6. Gruntz. New algorithm for computing asymptotic series(T)(6s).djvu (107.9К)
    7. Gruntz. Symbolic limits in a CAS (Ph.D. thesis)(152s).ps.gz (293.4К)
    8. Hardy G. Asymptotic solution of ODE (ProcLMS 1912)(L)(T)(10s).djvu (254.3К)
    9. Hardy G. Properties of log-exp functions (ProcLMS 1912)(L)(T)(20s).djvu (465.4К)
    10. McCormack et al. Asymptotics of linear differential systems. JSC 1997(T)(13s).djvu (89.3К)
    11. Richardson D. Solution of the identity problem for integral exponential functions (Zeitschr.f.math.Logik 15, p333, 1969)(T)(8s).djvu (87.4К)
    12. Richardson. Asymptotic expansion of exp-log functions(5s).pdf (529.8К)
    13. Richardson. Asymptotic expansion of exp-log functions(T)(5s).djvu (118.1К)
    14. Salvy B. Fonctions generatrices et asymptotique automatique (INRIA report RR-0967, 1989)(fr)(T)(125s).djvu (883.8К)
    15. Salvy, Shackell. Asymptotic expansions of functional inverses(10s).ps.gz (64.3К)
    16. Salvy, Shackell. Asymptotics of inverse functions. JSC 1999(T)(21s).djvu (156.5К)
    17. Salvy, Shackell. Asymptotics of two variable implicit functions(21s).ps.gz (104.4К)
    18. Salvy, Shackell. Asymptotics with oscillating coefficients(17s).ps.gz (102.9К)
    19. Salvy. Asymptotic expansion of functional inverses(T)(8s).djvu (153.8К)
    20. Salvy. Asymptotic of implicit functions(6s).ps.gz (32.6К)
    21. Salvy. Asymptotique automatique (une chapitre)(fr). RR-3707(25s).ps.gz (252.3К)
    22. Salvy. Examples of automatic asymptotics. RT-0114(19s).ps.gz (67.4К)
    23. Salvy. Fast computation of some asymptotics(11s).ps.gz (62.6К)
    24. Salvy. General asymptotic scales and CAS(14s).ps.gz (60.8К)
    25. Sanchez. Method of multiple scales and asymptotic solutions (JSC96)(T)(8s).djvu (54.6К)
    26. Schackell J. Extensions of asymptotic fields via meromorphic functions (J.London Math.Soc.52, p356, 1995)(400dpi)(T)(19s).djvu (222.6К)
    27. Schmidt. Asymptotic approximation of one Fourier integral (MC 1978)(T)(13s).djvu (89.6К)
    28. Shackell J. Growth orders occurring in expansions of Hardy-field solutions of algebraic differential equations (Ann.Inst.Fourier 45, p183, 1995)(600dpi)(T)(40s).djvu (334.3К)
    29. Shackell J. Limits of Liouvillian functions (Proc. London Math.Soc.72, p124, 1996)(400dpi)(T)(33s).djvu (430.6К)
    30. Shackell, Salvy. Asymptotic forms and algebraic diff. equations (JSc 1995)(T)(9s).djvu (187.4К)
    31. Shackell. Algorithms for limits and asymptotics(4s).ps.gz (30.2К)
    32. Shackell. Asymptotic forms and algebraic differential equations(10s).ps.gz (77.7К)
    33. Shackell. Star products and asymptotic growth ACM 1997(T)(8s).djvu (281.9К)
    34. Shakell J. Asymptotic estimation of oscillating functions (ISSAC1988)(L)(T)(5s).djvu (251.9К)
    35. Van der Hoeven. Algorithms for asymptotics I(14s).ps.gz (66.4К)
    36. Van der Hoeven. Algorithms for asymptotics II(11s).ps.gz (54.9К)
    37. Van der Hoeven. Fast evaluation of holonomic functions in singularities(27s).ps.gz (131.8К)
    38. Van der Hoeven. Fast evaluation of holonomic functions(22s).ps.gz (104.3К)
    39. Van der Hoeven. Generic asymptotic expansions(21s).ps.gz (88.6К)
    40. Winitzki. Uniform approximations of transcendental functions (LNCS)(10s).pdf (172.8К)
    41. Wong, McClure. Method of asymptotic evaluation of some multiple integrals (MC 1981)(T)(14s).djvu (133.1К)
    42. van der Hoeven. On the computation of limsups (JPAA 1997)(T)(14s).djvu (165.2К)
  26. Mahajan M., Vinay V. Determinant.. combinatorics, algorithms, and complexity (1997)(T)(28s).djvu (189.2К)
  27. Matrix generators for orthogonal groups JSC 1998(T)(10s).djvu (72.2К)
  28. Monagan. In-place arithmetic for polynomials over Zn (DISCO92)(L)(T)(7s).djvu (162.0К)
  29. Mueller-Quade, Steinwandt. Basic algorithms for rational function fields (JSC1999)(T)(28s).djvu (210.3К)
  30. Physics applications
    1. Broadhurst, Kreimer. Renormalization automated by Hopf algebra (JSC99)(T)(20s).djvu (146.4К)
    2. Caprasse, Hans. Renormalization group for YM theories with massive fermions (JMP 1987)(T)(7s).djvu (126.8К)
    3. Caprasse. Renormalisation group and function iterations (JSC 1990)(L)(T)(7s).djvu (148.7К)
    4. Gusynin, Kornyak. Computation of Seeley-DeWitt-Gilkey coefficients (JSC94)(T)(12s).djvu (189.7К)
  31. Pohst M. (ed.) Algorithmic methods in algebra and number theory (JSC 4, 1987. AP, 1987)(K)(ISBN 012559190X)(T)(131s).djvu (1.5М)
  32. Pohst M. (ed.) Algorithmic methods in algebra and number theory (JSC 4, 1987. AP, 1987)(L)(T)(66s).djvu (1.4М)
  33. Polynomial factorization
    1. Beckermann, Labahn. Euclidean algorithm for numerical polynomial GCD. JSC 1998(T)(24s).djvu (205.5К)
    2. Beckermann, Labahn. Numerical polynomials relatively prime JSC 1998(T)(13s).djvu (92.5К)
    3. Canny et al. Optimal condition for number of roots in polynomial system(T)(7s).djvu (140.9К)
    4. Collins, Encarnacion. Improved factoring of polynomials(14s).ps.gz (53.2К)
    5. Collins, Krandick. Hybrid method for polynomial real roots (ISSAC93)(T)(6s).djvu (119.9К)
    6. Collins, Krandick. Infallible polynomial complex root isolation (ISSAC92)(T)(6s).djvu (148.8К)
    7. Collins, Krandick. Tangent-secant method for polynomial complex roots (ISSAC96)(T)(5s).djvu (106.0К)
    8. Corless et al. Absolute factorization of multivariate polynomials (ISSAC2002)(T)(9s).djvu (119.1К)
    9. Flajolet P., Gourdon X., Panario D. Complete analysis of a polynomial factorization algorithm over finite fields (J.Algorithms 40, p37, 2001)(45s).pdf (262.7К)
    10. Galligo. Numerical primality test for bivariate polynomials(T)(8s).djvu (254.2К)
    11. Galligo. Real factorization of multivariate integer polynomials(JMSci 2002)(T)(8s).djvu (72.4К)
    12. Gottfert. Acceleration of Niederreiter factorization in characteristic 2 (MC 1994)(T)(10s).djvu (88.3К)
    13. Kaltofen
      1. Canny et al. Faster multivariate resultant 1989(8s).ps.gz (52.9К)
      2. Cantor, Kaltofen. Fast multivariate polynomial multiplication(9s).ps.gz (44.1К)
      3. Diaz et al. Algebraic algorithms 1999(39s).ps.gz (170.7К)
      4. Diaz, Kaltofen. Computing GCDs of polynomials using black box 1995(8s).ps.gz (93.7К)
      5. Diaz, Kaltofen. FoxBox, polynomial manipulation using black box 1998(8s).ps.gz (56.8К)
      6. Freeman et al. Dagwood, polynomials with straight-line programs(26s).ps.gz (51.4К)
      7. Kaltofen - hybrid methods symnum(17s).pdf (173.3К)
      8. Kaltofen, Lobo. Factoring high-degree polynomials by black box 1994(9s).ps.gz (81.2К)
      9. Kaltofen, Shoup. Factorization of polynomials over high algebraic extensions of finite fields 1997(5s).ps.gz (78.2К)
      10. Kaltofen, Shoup. Subquadratic-time factoring of polynomials over finite fields 1998(28s).ps.gz (152.5К)
      11. Kaltofen, Trager. Computing with polynomials as black boxes 1990(20s).ps.gz (80.3К)
      12. Kaltofen, Villard. Complexity of computing determinants 2001(15s).pdf (266.6К)
      13. Kaltofen. Complexity of polynomial factorization (phd thesis, 1982)(101s).pdf (367.5К)
      14. Kaltofen. Computing with polynomials by straight-line programs 2. Sparse factorization 1985(17s).pdf (55.5К)
      15. Kaltofen. Factorization of polynomials using straight-line programs 1989 (31s).ps.gz (90.8К)
      16. Kaltofen. Fast parallel polynomial irreducibility test 1985 (17s).ps.gz (45.4К)
      17. Kaltofen. GCD of polynomials using straight-line programs 1988(43s).ps.gz (121.6К)
      18. Kaltofen. Lecture notes on symbolic integration 1984(38s).ps.gz (172.3К)
      19. Kaltofen. On the Risch diff. equation 1984(8s).ps.gz (67.2К)
      20. Kaltofen. Parallel Coppersmith-Wiedemann algorithm for sparse systems 1995(32s).ps.gz (117.7К)
      21. Kaltofen. Parallel algebraic algorithm design notes 1989(5s).ps.gz (30.9К)
      22. Kaltofen. Parallel computation of polynomial GCDs 1989(9s).ps.gz (84.8К)
      23. Kaltofen. Polynomial factorization 1982-1986(26s).ps.gz (74.2К)
      24. Kaltofen. Polynomial factorization 1987-1991(20s).ps.gz (80.9К)
      25. Kaltofen. Polynomial factorization survey 1982(21s).ps.gz (53.4К)
      26. Kaltofen. Reduction of bivariate to univariate factorization 1982(18s).ps.gz (35.8К)
      27. Kaltofen. Reduction to bivariate and univariate polynomial factorization 1985(27s).ps.gz (85.4К)
      28. vzGathen, Kaltofen. Probabilistic factorization of polynomials over finite fields 1985(13s).ps.gz (36.4К)
    14. Kaltofen. Polynomial reduction to 2 variables(T)(6s).djvu (91.9К)
    15. Karmarkar, Lakshman. Approximate GCDs of polynomials JSC 1998(T)(14s).djvu (99.3К)
    16. Landau. Polynomial-time algorithms for Galois groups (EUROSAM84)(L)(T)(7s).djvu (136.5К)
    17. Lopatinskij. Razlozhenie polinomial#noj matricy na mnozhiteli (1956)(ru)(L)(T)(2s).djvu (51.3К)
    18. Lucks. New algorithm for fast integer polynomial factorization (ISSAC1986)(T)(5s).djvu (234.5К)
    19. McCallum. Testing bivariate polynomials for reducibility. JSC 1997(T)(27s).djvu (202.3К)
    20. Mignotte, Glesser. On the smallest divisor of integer polynomials (JSC94)(T)(6s).djvu (102.0К)
    21. Musser. Multivariate polynomial factorization(JACM 1975)(T)(18s).djvu (347.8К)
    22. Niederreiter, Gottfert. On new factorization algorithm for polynomials over finite fields (MC 1995)(T)(8s).djvu (80.4К)
    23. Niederreiter. Factoring polynomials over finite fields with diff. equations and bases (MC 1994)(T)(13s).djvu (110.8К)
    24. Ragot. Sur le factorisation absolue des polynomes (these, 1997)(fr)(T)(138s).djvu (705.8К)
    25. Shamir. Generation of hard to factor multivariate polynomials (ACM 1993)(T)(9s).djvu (142.5К)
    26. Viry. Factorization of polynomials in Fp[x] (JSC 1993)(T)(21s).djvu (397.2К)
    27. Wang, Rothschild. Factoring multivariate polynomials over integers (MC 1975)(T)(17s).djvu (152.1К)
    28. Wang. Factoring multivariate polynomials over algebraic number fields (MC 1976)(T)(14s).djvu (127.7К)
    29. Wang. Improved multivariate polynomial factoring algorithm (MC 1978)(T)(18s).djvu (153.1К)
    30. Yokoyama et al. Determining solvability of polynomial over integers (ISSAC90)(T)(8s).djvu (209.3К)
    31. Yokoyama. Modular method for computing Galois groups of polynomials (JPAA 1999)(T)(20s).djvu (280.7К)
  34. Proceedings EUROSAM 1984 (selected papers)(SIGSAM, ACM)(L)(T)(84s).djvu (1.5М)
  35. Proceedings EUROSAM 1984 contents(L)(T)(4s).djvu (89.8К)
  36. Proceedings ISSAC
    1. Buchberger B. (ed.) Proceedings EUROCAL#85, vol.1 (LNCS 203, Springer, 1985)(T)(238s).djvu (2.3М)
    2. Calmet J. (ed.) Computer algebra (Proc. EUROCAM-82, LNCS 144, Springer, 1982)(T)(311s).djvu (2.6М)
    3. Canny J. Generalized characteristic polynomial (ISSAC1988)(L)(T)(4s).djvu (189.1К)
    4. Caviness B.F. (ed.) Proceedings EUROCAL#85, vol.2 (LNCS 204, Springer, 1985)(T)(666s).djvu (6.2М)
    5. Davenport J.H.(ed.) Proceedings EUROCAL#87 (LNCS 378, 1989)(T)(506s).djvu (5.2М)
    6. Fitch J. (ed.) Proceedings EUROSAM#84 (LNCS 174, Springer, 1984)(T)(407s).djvu (3.5М)
    7. Gianni P. (ed.) Proc. ISSAC 88 (selected papers)(LNCS 358, 1988)(L)(T)(58s).djvu (1.2М)
    8. Ng E.W. (ed.) Symbolic and algebraic computation (Proc. EUROSAM, LNCS 72, Springer, 1979)(T)(572s).djvu (4.9М)
    9. Proceedings ISSAC 1988 (Rome) (ACM)(T)(555s).djvu (5.7М)
    10. Proceedings ISSAC 1988 (Rome) (ACM)_TOC (L)(T)(3s).djvu (54.1К)
    11. Proceedings ISSAC 1989 (Portland) (ACM)(T)(365s).djvu (9.7М)
    12. Proceedings ISSAC 1989 (Portland) (ACM)_TOC.html.gz (7.2К)
    13. Proceedings ISSAC 1990 (Tokyo) (ACM)(T)(293s).djvu (7.7М)
    14. Proceedings ISSAC 1990 (Tokyo) (ACM)_TOC.html.gz (10.3К)
    15. Proceedings ISSAC 1991 (Bonn) (ACM)(T)(448s).djvu (9.4М)
    16. Proceedings ISSAC 1991 (Bonn) (ACM)_TOC.html.gz (10.4К)
    17. Proceedings ISSAC 1992 (Berkeley) (ACM)(T)(405s).djvu (8.9М)
    18. Proceedings ISSAC 1992 (Berkeley) (ACM)_TOC.html.gz (7.4К)
    19. Proceedings ISSAC 1993 (Kiev) (ACM)(T)(312s).djvu (6.3М)
    20. Proceedings ISSAC 1993 (Kiev) (ACM)_TOC.html.gz (6.8К)
    21. Proceedings ISSAC 1994 (Oxford) (ACM)(T)(358s).djvu (8.7М)
    22. Proceedings ISSAC 1994 (Oxford) (ACM)_TOC.html.gz (8.5К)
    23. Proceedings ISSAC 1995 (Montreal) (ACM)(T)(308s).djvu (7.4М)
    24. Proceedings ISSAC 1995 (Montreal) (ACM)_TOC.html.gz (6.5К)
    25. Proceedings ISSAC 1996 (Zurich) (ACM)(T)(313s).djvu (7.1М)
    26. Proceedings ISSAC 1996 (Zurich) (ACM)_TOC.html.gz (6.5К)
    27. Proceedings ISSAC 1997 (Kihei) (ACM)(T)(410s).djvu (11.4М)
    28. Proceedings ISSAC 1997 (Kihei) (ACM)_TOC.html.gz (8.6К)
    29. Proceedings ISSAC 1998 (Rostock) (ACM)(T)(321s).djvu (4.6М)
    30. Proceedings ISSAC 1998 (Rostock) (ACM)_TOC.html.gz (7.2К)
    31. Proceedings ISSAC 1999 (Vancouver) (ACM)(T)(275s).djvu (10.2М)
    32. Proceedings ISSAC 1999 (Vancouver) (ACM)_TOC.html.gz (6.3К)
    33. Proceedings ISSAC 2000 (St.Andrews) (ACM)(T)(310s).djvu (4.3М)
    34. Proceedings ISSAC 2000 (St.Andrews) (ACM)_TOC.html.gz (9.1К)
    35. Proceedings ISSAC 2001 (Ontario) (ACM)(T)(352s).djvu (12.5М)
    36. Proceedings ISSAC 2001 (Ontario) (ACM)_TOC.html.gz (7.2К)
    37. Proceedings ISSAC 2002 (Lille) (ACM)(T)(276s).djvu (3.9М)
    38. Proceedings ISSAC 2002 (Lille) (ACM)_TOC.html.gz (8.2К)
    39. Proceedings ISSAC 2003 (Philadelphia) (ACM)(T)(272s).djvu (3.7М)
    40. Proceedings ISSAC 2003 (Philadelphia) (ACM)_TOC.html.gz (8.5К)
    41. Proceedings ISSAC 2004 (Santander) (ACM)(T)(327s).djvu (4.8М)
    42. Proceedings ISSAC 2004 (Santander) (ACM)_TOC(5s).pdf (35.8К)
    43. Proceedings ISSAC 2004 (Santander) (ACM)_TOC.html.gz (9.1К)
    44. Proceedings ISSAC 2005 (Beijing) (ACM)(386s).pdf (6.8М)
    45. Proceedings ISSAC 2005 (Beijing) (ACM)(600dpi)(T)(386s).djvu (8.2М)
    46. Proceedings ISSAC 2006 (Genova)(370s).pdf (8.5М)
    47. Proceedings ISSAC 2006 (Genova)(600dpi)(T)(O)(371s).djvu (6.6М)
    48. Proceedings ISSAC 2007 (Waterloo)(ISBN 9781595937438)(402s).pdf (11.3М)
    49. Proceedings ISSAC 2008 (ACM)(341s).pdf (11.6М)
    50. Proceedings ISSAC 2008 (ACM)(600dpi)(T)(O)(341s).djvu (5.3М)
    51. Proceedings ISSAC 2008 (ACM)_TOC.html.gz (10.1К)
    52. Proceedings ISSAC 2009 (Seoul)(ISBN 9781605586090)(600dpi)(T)(O)(388s).djvu (6.8М)
    53. Proceedings ISSAC 2010 (Munich)(ACM, 2010)(ISBN 9781450301503)(O)(366s).pdf (15.7М)
    54. Proceedings ISSAC 2011, San Jose (ACM, 2011)(ISBN 9781450306751)(O)(365s).pdf (10.7М)
    55. Proceedings PASCO 1997 (ACM)(T)(O)(222s).djvu (4.3М)
    56. Proceedings PASCO 1997 (ACM)_TOC.html.gz (7.7К)
    57. Proceedings SYMSAC 1966 (ACM)(T)(O)(378s).djvu (2.5М)
    58. Proceedings SYMSAC 1966 (ACM)_TOC.html.gz (4.3К)
    59. Proceedings SYMSAC 1971 (ACM)(T)(442s).djvu (7.4М)
    60. Proceedings SYMSAC 1971 (ACM)_TOC.html.gz (7.0К)
    61. Proceedings SYMSAC 1976 (ACM)(T)(320s).djvu (5.6М)
    62. Proceedings SYMSAC 1976 (ACM)_TOC.html.gz (9.1К)
    63. Proceedings SYMSAC 1981 (ACM)(T)(219s).djvu (6.8М)
    64. Proceedings SYMSAC 1981 (ACM)_TOC.html.gz (6.5К)
    65. Proceedings SYMSAC 1986 (ACM)(T)(O)(239s).djvu (5.5М)
    66. Proceedings SYMSAC 1986 (ACM)_TOC.html.gz (9.8К)
    67. README.ISSAC.txt (511.0Б)
    68. README.Proceedings_ISSAC.txt (530.0Б)
    69. van Hulzen J.A. (ed.) Computer algebra (Proc. EUROCAM-83, LNCS 162, Springer, 1983)(T)(317s).djvu (2.4М)
  37. Quantifier elimination
    1. Dolzmann. Local quantifier elimination(9s).pdf (185.2К)
    2. Dolzmann. Simplification of quantifier-free formulae. JSC 1997(T)(24s).djvu (174.1К)
    3. Nguyen et al. PALMINI, fast Boolean minimization(T)(7s).djvu (246.1К)
    4. Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(T)(19s).djvu (239.4К)
    5. Sturm T. Lineare Quantorelimination in bewerteten Koerpern (Diplomarbeit, 1995)(49s).ps.gz (188.6К)
    6. Sturm T. Real quadratic quantifier elimination in Risa-Asir (1996)(15s).ps.gz (114.1К)
    7. Weispfenning. Complexity of problems in archimedean ordered groups (EUROCAL85)(L)(T)(2s).djvu (45.7К)
    8. Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(L)(T)(6s).djvu (162.8К)
    9. Weispfenning. Quantifier elimination in degree 3(T)(6s).djvu (123.3К)
    10. Woods. Efficient solution of systems of boolean equations(5s).pdf (79.5К)
  38. Radicals
    1. Borodin et al. Decreasing the nesting depth of square roots (JSC 1985)(L)(T)(11s).djvu (284.5К)
    2. Borodin et al. Decreasing the root nesting (JSC 1985)(L)(T)(11s).djvu (525.1К)
    3. Caviness, Fateman. Simplification of unnested radicals(T)(10s).djvu (212.8К)
    4. Jeffrey, Rich. Simplifying square roots of square roots(13s).ps.gz (58.7К)
    5. Landau S. A note on Zippel denesting (preprint 1990)(6s).ps.gz (36.3К)
    6. Landau S. Galois groups and solvability in radicals (phd thesis 1983)(T)(75s).djvu (953.0К)
    7. Landau S. How to tangle with a nested radical (preprint 1991)(16s).ps.gz (56.9К)
    8. Landau S. Simplification of nested radicals (1990 preprint)(34s).ps.gz (100.6К)
    9. Landau S. Simplification of nested radicals (SIAM J Comp. 1992)(T)(26s).djvu (334.4К)
    10. Osipov. Uproshchenie vlozhennyh veshchestvennyh radikalov (ru)(T)(10s).djvu (60.0К)
    11. Smedley. Radical simplification using algebraic extension fields (EUROCAL87)(L)(T)(2s).djvu (70.8К)
    12. Zippel. Simplification of radicals (JSC 1985)(L)(T)(11s).djvu (303.3К)
    13. Zippel. Simplification of radicals (JSC 1985)(dirtier)(L)(T)(11s).djvu (530.3К)
  39. Real alg. geometry, CAD
    1. Abyhankar, Bajaj. Computation with algebraic curves (ISSAC1988)(L)(T)(6s).djvu (308.4К)
    2. Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(L)(T)(140s).djvu (3.2М)
    3. Arnon D.S., Buchberger B. Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(K)(T)(278s).djvu (4.9М)
    4. Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu (435.6К)
    5. Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz (123.6К)
    6. Gonzalez-Campos, Gonzalez-Vega. Computing the CAD adapted to a set of equalities(CASC2000)(L)(T)(8s).djvu (228.2К)
    7. Hong H. Improvement of the projection operator in cylindrical algebraic decomposition (ISSAC90)(T)(4s).djvu (133.5К)
    8. Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz (472.5К)
    9. Teitelbaum. Complexity of resolution of plane curve singularities (ISSAC1988)(L)(T)(4s).djvu (175.9К)
  40. Salvy. Algorithms seminar 1995-1996. RR-2992(150s).ps.gz (460.1К)
  41. Salvy. Algorithms seminar 1997-1998. RR-3504(187s).ps.gz (654.6К)
  42. Salvy. Algorithms seminar 1998-1999. RR-3830(119s).ps.gz (489.6К)
  43. Schreiner. Compiling a functional language into SACLIB C (1993)(79s).ps.gz (151.2К)
  44. Schwartz. Fast probabilistic verification of polynomial identities(T)(17s).djvu (282.7К)
  45. Series
    1. Bernstein. Composing power series over finite rings. JSC 1998(T)(3s).djvu (28.5К)
    2. Brent, Kung. Fast algorithms for manipulating power series (rpb045)(JACM 1978)(T)(15s).djvu (238.2К)
    3. Brent, Kung. Fast algorithsm for composition and reversion of power series (Proc. Waterloo 1977)(rpb039)(T)(11s).djvu (181.5К)
    4. Brent, Kung. Fast composition and reversion of power series (rpb029)(L)(T)(5s).djvu (67.5К)
    5. Brent, Traub. Complexity of composition of power series (rpb050)(Siam J Comp 1980)(T)(13s).djvu (272.2К)
    6. Kung, Traub. Series for algebraic functions can be computed fast (JACM 1978)(T)(16s).djvu (231.6К)
    7. Lecerf, Schost. Fast multivariate power series multiplication in characteristic 0 (2001)(7s).ps.gz (64.4К)
    8. Lipson. Newton#s method for power series computations(T)(11s).djvu (163.5К)
    9. Van der Hoeven. Lazy multiplication of formal power series(4s).ps.gz (33.3К)
    10. Van der Hoeven. Relax but not too lazy 2001(65s).ps.gz (227.0К)
    11. Zippel. Univariate power series, limits(T)(11s).djvu (350.1К)
  46. Simplification
    1. Bronstein. Simplification of real elementary functions(T)(5s).djvu (166.7К)
    2. Caviness. On canonical forms and simplification (JACM 1970)(T)(12s).djvu (161.5К)
    3. Champarnaud, Duchamp. Derivatives of rational expressions and related theorems (Theor.Comp.Sci.313, p31, 2004)(14s).pdf (254.2К)
    4. Chapman F.W. Automatic derivation of product identities (ISSAC2003)(T)(8s).djvu (129.7К)
    5. Decomposition
      1. Barton, Zippel. Polynomial decomposition algorithms (JSC 1985)(L)(T)(6s).djvu (144.6К)
      2. Dragan M. Decomposing large sparse systems of nonlinear equations (2001)(T)(9s).djvu (63.8К)
      3. Gutierrez, Recio. Implementation of rational function decomposition (ISSAC92)(T)(6s).djvu (147.3К)
      4. Gutierrez, Rubio. CADECOM, software for functional decomposition (CASC2000)(L)(T)(8s).djvu (175.7К)
      5. Klueners. Univariate and bivariate polynomial decompositions. JSC 1999(T)(9s).djvu (75.9К)
      6. Rubio. Functional decomposition (ext.abs.)(T)(3s).djvu (15.5К)
      7. Weiss. Homogeneous decomposition of polynomials (ISSAC92)(T)(6s).djvu (120.5К)
      8. Zippel. Rational function decomposition (ISSAC1991)(T)(6s).djvu (162.9К)
      9. von zur Gathen, Gutierrez, Rubio. On multivariate polynomial decomposition(CASC1999)(L)(T)(9s).djvu (204.6К)
      10. von zur Gathen, Kozen, Landau. Functional decomposition of polynomials (1987)(T)(11s).djvu (81.1К)
      11. von zur Gathen. Decomposition of polynomials, wild case (JSC10, 1990)(16s).pdf (751.4К)
      12. von zur Gathen. Decomposition of polynomials, wild case (JSC10, 1990)(T)(16s).djvu (149.9К)
      13. von zur Gathen. Functional decomposition of polynomials. the tame case. (JSC1990)(T)(19s).djvu (299.9К)
    6. Fateman. Essays in algebraic simplification (phd thesis)(T)(195s).djvu (1.5М)
    7. Fischer, Warsitz. Complexity of derivatives generated by symbolic differentiation(CASC2000)(L)(T)(9s).djvu (194.6К)
    8. Gutierrez, Recio. Advances in simplification of sin-cos polynomials (JSC1998)(T)(40s).djvu (294.7К)
    9. Karr. Canonical forms of rational exponential expressions(EUROCAL85)(L)(T)(6s).djvu (270.8К)
    10. Koepf. Simplification of trigonometry(9s).ps.gz (39.8К)
    11. Manssur L., Portugal R. Group-theoretic Approach for Symbolic Tensor Manipulation.. II. Dummy (arXiv math-ph_0107032, 2001)(14s).pdf (113.8К)
    12. Moses. Algebraic simplification for the perplexed(T)(23s).djvu (329.0К)
    13. Peeters K. A field-theory motivated approach to symbolic computer algebra (arXiv cs.SC_0608005, 2006)(12s).pdf (137.1К)
    14. Portugal R. Algorithmic simplification of tensor expressions (J.Phys.A 32, p7779, 1999)(11s).pdf (65.8К)
    15. Portugal R. An Algorithm to Simplify Tensor Expressions (arXiv gr-qc_9803023, 1998)(18s).pdf (174.2К)
    16. Portugal R., Svaiter B. Group-theoretic Approach for Symbolic Tensor Manipulation.. I. Free (arXiv math-ph_0107031, 2001)(10s).pdf (102.2К)
    17. Singer et al. Computing algebraic functions using log and exp 1995(9s).ps.gz (36.6К)
    18. Wavrik. Simplification of matrix expressions by rewriting(39s).ps.gz (84.0К)
  47. Smith. Symbolic derivatives without recursion (CACM 8, 1965)(T)(3s).djvu (140.8К)
  48. Solving ODEs
    1. Abramov, Bronstein, Petkovcek. Polynomial solutions to linear operator equations(T)(7s).djvu (158.2К)
    2. Abramov, Petkovsek. Dalambertian solutions to linear ODEs(T)(6s).djvu (130.0К)
    3. Barkatou M. Rational Newton algorithm for linear ODEs (ISSAC1988)(L)(T)(7s).djvu (180.3К)
    4. Barkatou. Rational solutions of linear ODE systems(T)(21s).djvu (159.2К)
    5. Baumann. Solution of ODEs with MathLie (CASC1999)(L)(T)(12s).djvu (225.4К)
    6. Bronstein et al. Polynomial solutions of linear ODEs(7s).ps.gz (48.7К)
    7. Bronstein, Fredet. Solving linear ODEs using exp integrals (1999)(14s).ps.gz (95.2К)
    8. Bronstein, Lafaille. Solutions of linear ODEs in special functions (ISSAC2002)(T)(6s).djvu (77.4К)
    9. Bronstein. Computer algebra algorithms for linear ODE and difference equs. (ECM)(T)(15s).djvu (112.9К)
    10. Bronstein. Factorization of linear ODE (Math.Comp.Sim. 1996)(L)(T)(2s).djvu (58.5К)
    11. Bronstein. Improved algorithm for factorization of ODE(T)(5s).djvu (124.3К)
    12. Bronstein. Linear ODE of higher than 2nd order(7s).ps.gz (49.9К)
    13. Bronstein. Solutions of ODE in their coefficient field (JSC1992)(27s).ps.gz (99.8К)
    14. Bronstein. Solutions of ODEs in radicals (1985)(T)(2s).djvu (16.7К)
    15. Bronstein. Solutions of ODEs in their coeff field. JSC 2000(T)(37s).djvu (297.0К)
    16. Bronstein. Solving linear ODEs in exponential integrals(7s).ps.gz (90.0К)
    17. Cheb-Terrab, Roche. Integrating factors for 2nd order ODes. JSC 1999(T)(19s).djvu (138.2К)
    18. Davenport, Singer. Elementary and Liouvillian solutions of ODEs (JSC 1986)(L)(T)(13s).djvu (442.9К)
    19. Della Dora, Richard-Jung. Library for integration and reduction of nonlinear ODEs (CASC2000)(L)(T)(9s).djvu (214.4К)
    20. Fakler. Algorithms for solving linear ODEs(11s).ps.gz (33.7К)
    21. Galligo. Ideals of differential operators (EUROCAL85)(L)(T)(5s).djvu (149.9К)
    22. Galois theory
      1. Berman. Computing Galois groups of certain ODEs (phd thesis)(T)(157s).djvu (707.1К)
      2. Compoint, Singer. Computing Galois groups of completely reducible ODEs 1998(22s).ps.gz (91.6К)
      3. Cormier et al. Computing Galois groups of polynomials through ODEs 2000(51s).ps.gz (361.1К)
      4. Hessinger. Galois groups of 4th order ODEs (phd thesis)(141s).ps.gz (286.2К)
      5. Singer, van der Put. Differential Galois theory 2002-06(478s).ps.gz (1.5М)
      6. Vanderput. Differential Galois theory and ODEs(12s).ps.gz (38.0К)
      7. van Hoeij. Factorization of differential operators with power series coeffs. JSC 1997(30s).pdf (420.8К)
      8. van der Put. Galois theory of differential equations. JSC 1999(33s).pdf (325.6К)
    23. Grigoriev. Complexity of factoring and GCD of linear differential operators (JSC1990)(L)(T)(16s).djvu (617.3К)
    24. Hovanskij A.G. Razreshimost# differencial#nyh uravnenij (obzornyj doklad, 1994)(ru)(22s).ps.gz (69.9К)
    25. Kovacic. Algorithm for solving 2nd order linear DE (JSC 1986)(L)(T)(21s).djvu (501.9К)
    26. Linchuk. Factorization of functional differential equations(T)(11s).djvu (69.1К)
    27. Man. Solutions of 1st order ODEs with Prelle-Singer. JSC 1993(T)(21s).djvu (419.7К)
    28. Miller. Reducible and irreducible linear ODEs (thesis, 1932)(L)(T)(9s).djvu (276.0К)
    29. Petkovcek, Salvy. Hypergeometric solutions to linear ODEs(T)(7s).djvu (150.1К)
    30. Pflugel. Exponential solutions of 1st order ODE systems(T)(8s).djvu (249.4К)
    31. Risch. Solution of problem of integration in finite terms (Bull. AMS 1970)(L)(T)(3s).djvu (165.8К)
    32. Ritt. Integral functions obtained by compounding polynomials (Bull. AMS 1933v39)(L)(T)(4s).djvu (98.4К)
    33. Ritt. Integration in finite terms of linear ODEs of 2nd order (Bull. AMS 1927v33)(L)(T)(4s).djvu (90.8К)
    34. Ritt. Transendency of certain functions of Poincare (Math.Ann. 1925)(T)(13s).djvu (226.5К)
    35. Rubel, Singer. Differential algebraic elimination theorem (ProcAMS 1985)(T)(7s).djvu (66.2К)
    36. Rubel. Solutions of algebraic ODEs (JDE1983)(L)(T)(7s).djvu (173.9К)
    37. Rubel. Universal differential equation (BAMS1981)(L)(T)(3s).djvu (88.5К)
    38. Schmidt. Heuristic solving of 1st order ODEs(T)(12s).djvu (265.5К)
    39. Schwarz. Factorization of linear ODE(T)(9s).djvu (211.3К)
    40. Singer, Ulmer. Kovacic-style algorithm for 3rd order ODEs 2001(25s).ps.gz (88.8К)
    41. Singer, Ulmer. Symbolic solutions of 2nd and 3rd order ODE(37s).ps.gz (120.0К)
    42. Singer. Algebraic solutions of linear ODEs (Queens papers, 1979)(L)(T)(23s).djvu (537.1К)
    43. Singer. Elementary solutions of ODEs (PacJMath1975)(L)(T)(7s).djvu (161.0К)
    44. Singer. Formal solutions of ODEs (JSC 1990)(L)(T)(19s).djvu (971.9К)
    45. Singer. Liouvillian solutions of ODEs with Liouvillian coefficients (JSC1991)(L)(T)(12s).djvu (417.2К)
    46. Soleev, Yarmuhamedov. Newton polyhedra and reversible systems of ODEs (CASC2000)(L)(T)(5s).djvu (124.1К)
    47. Tsarev. Enumerate all factorizations of a linear ODE(T)(6s).djvu (176.3К)
    48. Willis. Extensible 2nd order ODE solver 2001(T)(5s).djvu (60.3К)
    49. van Hoeij et al. Liouvillina solutions of ODEs of 3rd and higher order. JSC 1999(T)(21s).djvu (168.1К)
    50. van Hoeij. Factorization of differential operators with rational coefficients. JSC 1997(T)(25s).djvu (203.4К)
    51. van der Waall. Lame equations with finite monodromy (phd thesis)(T)(151s).djvu (807.6К)
  49. Solving PDEs
    1. Baldwin et al. Traveling wave solutions of PDEs using tanh, cn(36s).ps.gz (222.0К)
    2. De Jager, Van Asch. Symbolic solutions for a class of PDEs. JSC 1996(T)(10s).djvu (66.6К)
    3. Wolf. Symbolic integration of exact PDEs. JSC 2000(T)(11s).djvu (78.6К)
  50. Solving equations
    1. Chistov. Polynomial-time computation of the dimension of algebraic varieties (JSC1996)(T)(25s).djvu (207.1К)
    2. Corless et al. Singular value decomposition for polynomial systems (ISSAC95)(T)(13s).djvu (311.7К)
    3. Davenport J.H. Solving systems of polynomials.. theory and practice (Calculemus slides)(L)(T)(59s).djvu (135.2К)
    4. Durand, Hoffmann. Analytic solution of geometric constraints (JSC00)(T)(27s).djvu (191.9К)
    5. Fateman. Solutions of algebraic and ODEs by Newton and Hensel iteration(6s).ps.gz (39.8К)
    6. Fateman. y=z2w, or why CAS cannot solve equations(10s).ps.gz (37.4К)
    7. Fix et al. Implicitization of rational parametric surfaces (JSC96)(T)(8s).djvu (60.6К)
    8. Gaal. Resolution of polynomial inequality in 2 variables. JSC 1993(T)(9s).djvu (173.7К)
    9. Gao, Chou. Solving parametric algebraic systems (ISSAC92)(T)(7s).djvu (148.3К)
    10. Greuel. Applications of CAS to alg. geometry and symbolic-numerical solving (2000)(17s).ps.gz (102.5К)
    11. Guisti, Lecerf, Salvy. Groebner free alternative for polynomial system solving (2000)(51s).ps.gz (180.8К)
    12. Hanrot. Algorithmic solvability in radicals(T)(8s).djvu (349.2К)
    13. Henson, Rubel, Singer. Algebraic properties of the ring of exp-polynomials (Compl.Var.1989)(L)(T)(11s).djvu (273.1К)
    14. Huber, Sturmfels. Polyhedral method for solving sparse polynomial systems (MC 1995)(T)(16s).djvu (143.2К)
    15. Jeffrey et al. Rational solutions of transcendental equations(6s).ps.gz (59.5К)
    16. Jirstrand M. Algebraic methods in modeling, design and control (phd thesis)(1996)(154s).ps.gz (622.1К)
    17. Jirstrand M. Introduction to cylindrical algebraic decomposition (1995)(40s).ps.gz (275.5К)
    18. Jirstrand M. Introduction to cylindrical algebraic decomposition (1995)(T)(40s).djvu (202.3К)
    19. Kalkbrener. Euclidean algorithm for triangular representation of algebraic varieties (JSC93)(T)(25s).djvu (474.8К)
    20. Kozen, Landau, Zippel. Decomposition of algebraic functions (JSC1996)(T)(12s).djvu (89.5К)
    21. Kozen, Landau. Polynomial decomposition algorithm (JSC 1989)(T)(12s).djvu (135.0К)
    22. Lazard. Solving systems of algebraic equations (ACM SIGSAM 2001)(T)(27s).djvu (365.9К)
    23. Lecerf G. Alternative rewriting methods for solving algebraic systems (phd thesis, 2001)(en)(fr)(216s).ps.gz (600.8К)
    24. Li, Sauer, Yorke. Cheater#s homotopy. Solving systems of polynomial equations (SIAM JNA 1989)(T)(12s).djvu (128.7К)
    25. Maignan. Real sine-polynomial equations(T)(8s).djvu (146.5К)
    26. Maignan. Resolution reelle des systemes algebro-elementaires (these, 2000)(fr)(T)(143s).djvu (738.5К)
    27. Maignan. Solving exponential-polynomial systems of equations(T)(7s).djvu (89.6К)
    28. Mourrain. Isolated roots of algebraic equations matrix methods. JSC 1998(T)(24s).djvu (192.3К)
    29. Pau, Schicho. Quantifier elimination and CAD for trigonometric polynomials (JSC2000)(T)(13s).djvu (104.0К)
    30. Richardson D. Solution of elementary systems of equations in a box in Rn (ISSAC96)(T)(7s).djvu (183.6К)
    31. Roach. Numeric-symbolic nonlinear equation solving(T)(7s).djvu (146.4К)
    32. Rouillier, El Din. Real solutions of positive-dimensional algebraic systems (JSC2002)(T)(18s).djvu (135.9К)
    33. Schicho. Rational parametrization of surfaces (JSC1998)(T)(29s).djvu (201.5К)
    34. Steinwandt. Decomposing systems of polynomial equations(CASC1999)(L)(T)(11s).djvu (285.7К)
    35. Strzebonsky. Solving systems of polynomial inequalities. JSC 2000(T)(10s).djvu (91.5К)
    36. Tran. Symbolic-numerical solution of real algebraic equations (JSC98)(T)(22s).djvu (156.9К)
    37. Wang. Elimination method for polynomial systems (JSC93)(T)(32s).djvu (949.9К)
    38. Woods. Efficient solution of systems of boolean equations(T)(5s).djvu (61.2К)
    39. Xia, Yang. Solving algebraic systems (JSC 2002)(T)(17s).djvu (131.0К)
  51. Special functions
    1. Eikenberry, Sorenson. Algorithms for Jacobi symbol. JSC 1998(T)(15s).djvu (103.7К)
    2. Frenkel D., Portugal R. Algebraic methods to compute Mathieu functions (J.Phys.A.Math.Gen.34, p3451, 2001)(11s).pdf (76.2К)
    3. Koepf. Algorithms for orthogonal polynomials(37s).ps.gz (153.9К)
    4. Koepf. CAS algorithms for orthogonal polynomials and special functions 2002(T)(20s).djvu (123.3К)
    5. Koepf. Efficient computation of orthogonal polynomials in CAS(20s).ps.gz (106.2К)
    6. Koepf. Identities for orthogonal polynomials and special functions(30s).ps.gz (99.0К)
    7. Koepf. Special functions (Mma package).m.gz (67.3К)
    8. Roach. Representations of hypergeometric function (ISSAC96)(8s).ps.gz (66.4К)
    9. von Mohrenshildt. Canonical form for piecewise functions. JSC 1998(T)(13s).djvu (94.4К)
  52. Stoutemeyer. Solving integral equations in CAS(T)(19s).djvu (270.3К)
  53. Summation
    1. Abramov, Petkovsek. Minimal decomposition of hypergeom sums(T)(8s).djvu (291.6К)
    2. Abramov,Geddes,Le. Algorithms for closed forms of sums(T)(2s).djvu (11.6К)
    3. Abramov. Termination of Zeilberger#s algorithm for hypergeom sums(T)(7s).djvu (88.6К)
    4. Bauer, Petkovcek. Multibase Gosper-type algorithms. JSC 1999(T)(26s).djvu (183.6К)
    5. Bergeron, Plouffe. Computing the generating function from first terms of series(6s).ps.gz (253.1К)
    6. Boeing, Koepf. Algorithms for q-hypergeometric summation in CAS(17s).ps.gz (127.9К)
    7. Boeing, Koepf. q-hypergeometric summation in CAS(T)(23s).djvu (159.5К)
    8. Boeing. Theorie zur q-hypergeom Summation(95s).ps.gz (365.1К)
    9. Chyzak. Summation of special functions and combinatorics (talk, slides)(63s).ps.gz (208.3К)
    10. Fateman, Kahan. Symbolic computation with divided differences(T)(23s).djvu (156.8К)
    11. Fokkink, et al. Fast computation of an alternating sum (1994)(600dpi)(T)(6s).djvu (51.0К)
    12. Fokkink, et al. Fast computation of an alternating sum (1994)(6s).pdf (109.3К)
    13. Hayden, Lamagna. Summation of binomial coeffs using hypergeometrics(T)(5s).djvu (154.0К)
    14. Karr. Summation in finite terms (JSC 1985)(L)(T)(7s).djvu (168.8К)
    15. Karr. Summation in finite terms 1981(T)(46s).djvu (586.3К)
    16. Koepf. Q-summation(16s).ps.gz (75.1К)
    17. Krattenthaler C., Srinavasa Rao K. Automatic generation of hypergeometric identities by the beta integral method (J.Comp.Appl.Math. 160, p.159, 2003)(15s).pdf (177.1К)
    18. Le. constructing minimal telescoper for sums 2001(T)(9s).djvu (124.2К)
    19. Man. Closed forms for symbolic summation. JSC 1993 (22s).pdf (612.6К)
    20. Man. Closed forms for symbolic summation. JSC 1993 (T)(22s).djvu (187.1К)
    21. Man. Closed forms for symbolic summation. JSC 1993(T)(22s).djvu (477.5К)
    22. Norton. Shortest linear recurrences. JSC 1999(T)(25s).djvu (184.1К)
    23. Paule. Recent developments in symbolic summation(30s).ps.gz (89.4К)
    24. Pirastu, Strehl. Rational summation and Gosper-Petkovsek representation. JSC 1995(20s).ps.gz (81.9К)
    25. Pirastu. Algorithms for rational function summation (Maple)(12s).ps.gz (68.0К)
    26. Pirastu. Rational function summation and Gosper-Petkovchek repr(21s).ps.gz (86.5К)
    27. Pirastu. Summation rationaler Funktionen. Diplom (de)(102s).ps.gz (190.7К)
    28. Ravenscroft, Lamagna. Symbolic summation with generating functions(T)(6s).djvu (152.2К)
    29. Riese. Contributions to q-hypergeometric summation (phd thesis)(103s).ps.gz (253.6К)
    30. Schneider. Implementation of Gosper-Karr#s symbolic summation algorithm(10s).ps.gz (45.0К)
    31. Sherman. Symbolic summation of Apery series (damaged)(T)(11s).djvu (46.2К)
    32. Singer. Solving difference equations in finite terms. JSC 1999(T)(21s).djvu (175.7К)
    33. Vermaseren J. Harmonic sums and Feynman integrals, hep-ph_9806280(31s).pdf (210.1К)
    34. Wolfram D.A. General solution for constant-coefficient difference equation (JSC2000)(T)(4s).djvu (28.2К)
    35. Zeilberger D. Holonomic system approach to special function identities (J.Comp.Appl.Math.32, p321, 1990)(48s).ps.gz (147.4К)
    36. Zhang. Algorithm for proving q-hypergeometric identities. JSC2003(11s).pdf (107.7К)
  54. Textbooks
    1. Ballarin C. Computer algebra and theorem proving (PhD thesis)(122s).ps.gz (300.5К)
    2. Calmet. Vorlesungen zur Computer-Algebra (de) (2sided)(136s).ps.gz (522.3К)
    3. Calmet. Vorlesungen zur Computer-Algebra (de)(271s).ps.gz (523.0К)
    4. Chee Yap. Fundamental problems of algorithmic algebra (draft dvi).zip (727.1К)
    5. Davenport et al. Calcul algebrique et formel (1995)(fr)(156s).ps.gz (458.3К)
    6. Hebisch. Skript zur Vorlesung Computer algebra 2002 (de)(T)(11s).djvu (54.1К)
    7. Hong. Computer algebra lectures (small part) (tex,ps).tgz (181.9К)
    8. Liska et al. Overview of CAS capabilities and algebraic algorithms(169s).ps.gz (238.7К)
    9. Richardson. M70 computer algebra lecture(25s).ps.gz (111.8К)
    10. Richardson. M70 computer algebra lecture.dvi.gz (35.5К)
    11. Singer. Lectures on computer algebra (pdfs).zip (463.4К)
    12. Wenzierl. Computer algebra algorithms for particle physics(56s).ps.gz (175.6К)
    13. Wenzierl. Computer algebra algorithms for particle physics.tex.gz (46.2К)
    14. Zimmermann P. Recherche de calcul formel et de arithmetique (fr)(53s).ps.gz (334.9К)
  55. Yan. Geobucket data structure for polynomials. (JSC 1998)(T)(9s).djvu (73.4К)