301
SIMATH, a CAS for number theory

SIMATH, a CAS for number theory

Zimmer.
Έτος:
1997
Γλώσσα:
english
Αρχείο:
DJVU, 255 KB
0 / 0
english, 1997
302
Zero structure theorem for exp-polynomials

Zero structure theorem for exp-polynomials

Richardson D.
Έτος:
1993
Γλώσσα:
english
Αρχείο:
DJVU, 156 KB
0 / 0
english, 1993
303
Intro to pseudo-linear algebra

Intro to pseudo-linear algebra

Bronstein, Petkovsek.
Γλώσσα:
english
Αρχείο:
GZ, 93 KB
0 / 0
english
304
Integration with error functions

Integration with error functions

Knowles.
Έτος:
1993
Γλώσσα:
english
Αρχείο:
DJVU, 237 KB
0 / 0
english, 1993
305
Invitation to integration in finite terms

Invitation to integration in finite terms

Marchisotto, Zakeri.
Έτος:
1994
Γλώσσα:
english
Αρχείο:
DJVU, 166 KB
0 / 0
english, 1994
306
Introduction to FORM language

Introduction to FORM language

Vermaseren J.
Έτος:
2005
Γλώσσα:
english
Αρχείο:
GZ, 104 KB
0 / 0
english, 2005
307
Asymptotics of inverse functions. JSC 1999

Asymptotics of inverse functions. JSC 1999

Salvy, Shackell.
Γλώσσα:
english
Αρχείο:
DJVU, 153 KB
0 / 0
english
308
Polynomial reduction to 2 variables

Polynomial reduction to 2 variables

Kaltofen.
Γλώσσα:
english
Αρχείο:
DJVU, 90 KB
0 / 0
english
309
Decreasing the nesting depth of square roots

Decreasing the nesting depth of square roots

Borodin et al.
Έτος:
1985
Γλώσσα:
english
Αρχείο:
DJVU, 278 KB
0 / 0
english, 1985
310
Simplification of nested radicals (1990 preprint)

Simplification of nested radicals (1990 preprint)

Landau S.
Γλώσσα:
english
Αρχείο:
GZ, 98 KB
0 / 0
english
311
Complexity of derivatives generated by symbolic differentiation

Complexity of derivatives generated by symbolic differentiation

Fischer, Warsitz.
Έτος:
2000
Γλώσσα:
english
Αρχείο:
DJVU, 190 KB
0 / 0
english, 2000
312
Homogeneous decomposition of polynomials

Homogeneous decomposition of polynomials

Weiss.
Έτος:
1992
Γλώσσα:
english
Αρχείο:
DJVU, 118 KB
0 / 0
english, 1992
313
On multivariate polynomial decomposition

On multivariate polynomial decomposition

von zur Gathen, Gutierrez, Rubio.
Έτος:
1999
Γλώσσα:
english
Αρχείο:
DJVU, 200 KB
0 / 0
english, 1999
314
Functional decomposition of polynomials. the tame case

Functional decomposition of polynomials. the tame case

von zur Gathen.
Έτος:
1990
Γλώσσα:
english
Αρχείο:
DJVU, 293 KB
0 / 0
english, 1990
315
Algorithms for solving linear ODEs

Algorithms for solving linear ODEs

Fakler.
Γλώσσα:
english
Αρχείο:
GZ, 33 KB
0 / 0
english
316
Integration in finite terms of linear ODEs of 2nd order (Bull. AMS 1927, vol. 33)

Integration in finite terms of linear ODEs of 2nd order (Bull. AMS 1927, vol. 33)

Ritt.
Έτος:
1927
Γλώσσα:
english
Αρχείο:
DJVU, 89 KB
0 / 0
english, 1927
317
Implicitization of rational parametric surfaces

Implicitization of rational parametric surfaces

Fix et al.
Έτος:
1996
Γλώσσα:
english
Αρχείο:
DJVU, 59 KB
0 / 0
english, 1996
318
Algebraic properties of the ring of exp-polynomials (Compl.Var.1989)

Algebraic properties of the ring of exp-polynomials (Compl.Var.1989)

Henson, Rubel, Singer.
Γλώσσα:
english
Αρχείο:
DJVU, 267 KB
0 / 0
english
319
Computer Algebra Recipes. An Introductory Guide to the Mathematical Models of Science

Computer Algebra Recipes. An Introductory Guide to the Mathematical Models of Science

Richard H. Enns, George C. McGuire
Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 5.21 MB
0 / 0
english, 2006
320
Linear Algebra Coding with Python: Python's application for linear algebra

Linear Algebra Coding with Python: Python's application for linear algebra

Hyun-Seok Son
Έτος:
2020
Γλώσσα:
english
Αρχείο:
LIT , 2.46 MB
5.0 / 0
english, 2020
321
Modular Algorithms in Symbolic Summation and Symbolic Integration

Modular Algorithms in Symbolic Summation and Symbolic Integration

Jürgen Gerhard
Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 3.49 MB
0 / 4.0
english, 2004
322
The elementary constant problem

The elementary constant problem

Richardson.
Έτος:
1992
Γλώσσα:
english
Αρχείο:
DJVU, 195 KB
0 / 0
english, 1992
323
Groebner bases and integration of rational functions

Groebner bases and integration of rational functions

Czichowski.
Έτος:
1995
Γλώσσα:
english
Αρχείο:
DJVU, 94 KB
0 / 0
english, 1995
324
Introduction to commutative and noncommutative Groebner bases

Introduction to commutative and noncommutative Groebner bases

Mora.
Έτος:
1994
Γλώσσα:
english
Αρχείο:
GZ, 124 KB
0 / 0
english, 1994
325
Algorithm 628. Groebner bases for polynomial ideals

Algorithm 628. Groebner bases for polynomial ideals

Winkler, Buchberger et al.
Γλώσσα:
english
Αρχείο:
DJVU, 139 KB
0 / 0
english
326
Unification of Liouvillian extensions

Unification of Liouvillian extensions

Bronstein.
Έτος:
1990
Γλώσσα:
english
Αρχείο:
DJVU, 350 KB
0 / 0
english, 1990
327
Extension of Liouville's theorem on integration (SIAM J Comp 1985)

Extension of Liouville's theorem on integration (SIAM J Comp 1985)

Singer, Saunders, Caviness.
Γλώσσα:
english
Αρχείο:
DJVU, 413 KB
0 / 0
english
328
Asymptotic solution of ODE

Asymptotic solution of ODE

Hardy G.
Έτος:
1912
Γλώσσα:
english
Αρχείο:
DJVU, 248 KB
0 / 0
english, 1912
329
Asymptotic expansions of functional inverses

Asymptotic expansions of functional inverses

Salvy, Shackell.
Γλώσσα:
english
Αρχείο:
GZ, 63 KB
0 / 0
english
330
Hybrid method for polynomial real roots

Hybrid method for polynomial real roots

Collins, Krandick.
Έτος:
1993
Γλώσσα:
english
Αρχείο:
DJVU, 117 KB
0 / 0
english, 1993
331
Real quantifier elimination in practice, survey

Real quantifier elimination in practice, survey

Dolzmann, Sturm, Weispfenning.
Έτος:
1997
Γλώσσα:
english
Αρχείο:
GZ, 121 KB
0 / 0
english, 1997
332
Automatic derivation of product identities

Automatic derivation of product identities

Chapman F.W.
Έτος:
2003
Γλώσσα:
english
Αρχείο:
DJVU, 127 KB
0 / 0
english, 2003
333
Improved algorithm for factorization of ODE

Improved algorithm for factorization of ODE

Bronstein.
Γλώσσα:
english
Αρχείο:
DJVU, 121 KB
0 / 0
english
334
Solutions of ODEs in their coeff field. JSC 2000

Solutions of ODEs in their coeff field. JSC 2000

Bronstein.
Γλώσσα:
english
Αρχείο:
DJVU, 290 KB
0 / 0
english
335
Formal solutions of ODEs

Formal solutions of ODEs

Singer.
Έτος:
1990
Γλώσσα:
english
Αρχείο:
DJVU, 949 KB
0 / 0
english, 1990
336
Termination of Zeilberger's algorithm for hypergeom sums

Termination of Zeilberger's algorithm for hypergeom sums

Abramov.
Γλώσσα:
english
Αρχείο:
DJVU, 87 KB
0 / 0
english
337
Symbolic summation of Apery series (damaged)

Symbolic summation of Apery series (damaged)

Sherman.
Γλώσσα:
english
Αρχείο:
DJVU, 45 KB
0 / 0
english
338
Permutation Group Algorithms

Permutation Group Algorithms

Ákos Seress
Έτος:
2009
Γλώσσα:
english
Αρχείο:
PDF, 68.11 MB
0 / 0
english, 2009
339
Algorithms for Computer Algebra english

Algorithms for Computer Algebra english

Geddes, Czapor, Ladahn
Γλώσσα:
english
Αρχείο:
DJVU, 3.35 MB
0 / 0
english
340
Алгебраическая теория автоматов, языков и групп

Алгебраическая теория автоматов, языков и групп

М.А. Арбиб
Έτος:
1975
Γλώσσα:
russian
Αρχείο:
DJVU, 4.31 MB
0 / 0
russian, 1975
341
Real algebraic closure of ordered field, in Axiom

Real algebraic closure of ordered field, in Axiom

Rioboo.
Έτος:
1992
Γλώσσα:
english
Αρχείο:
DJVU, 197 KB
0 / 0
english, 1992
342
Branch cuts in computer algebra

Branch cuts in computer algebra

Adam Dingle
Έτος:
1992
Γλώσσα:
english
Αρχείο:
GZ, 53 KB
0 / 0
english, 1992
343
What is a closed-form number

What is a closed-form number

Chow.
Γλώσσα:
english
Αρχείο:
GZ, 60 KB
0 / 0
english
344
Resultants of composed polynomials

Resultants of composed polynomials

Minimair.
Έτος:
2001
Γλώσσα:
english
Αρχείο:
GZ, 279 KB
0 / 0
english, 2001
345
Squarefree decomp. of polynomials with parameter and integration

Squarefree decomp. of polynomials with parameter and integration

Diaz-Toca.
Γλώσσα:
english
Αρχείο:
DJVU, 115 KB
0 / 0
english
346
Groebner bases, integration, transcendental functions

Groebner bases, integration, transcendental functions

Takayama.
Έτος:
1990
Γλώσσα:
english
Αρχείο:
DJVU, 114 KB
0 / 0
english, 1990
347
Note on Kovacic algorithm

Note on Kovacic algorithm

Ulmer, Weil.
Έτος:
1996
Γλώσσα:
english
Αρχείο:
DJVU, 168 KB
0 / 0
english, 1996
348
Asymptotics of two variable implicit functions

Asymptotics of two variable implicit functions

Salvy, Shackell.
Γλώσσα:
english
Αρχείο:
GZ, 102 KB
0 / 0
english
349
Factorization of polynomials using straight-line programs 1989

Factorization of polynomials using straight-line programs 1989

Kaltofen.
Γλώσσα:
english
Αρχείο:
GZ, 89 KB
0 / 0
english
350
International Symposium on Symbolic and Algebraic Computation 92: July 27-29, Berkeley California

International Symposium on Symbolic and Algebraic Computation 92: July 27-29, Berkeley California

Έτος:
1992
Γλώσσα:
english
Αρχείο:
DJVU, 8.51 MB
0 / 0
english, 1992