451
Computer algebra and differential equations

Computer algebra and differential equations

M. Singer
年:
1991
语言:
english
文件:
DJVU, 2.19 MB
0 / 0
english, 1991
453
Fast polynomial factoring over high algebraic extensions

Fast polynomial factoring over high algebraic extensions

Kaltofen, Shoup.
语言:
english
文件:
DJVU, 152 KB
0 / 0
english
454
Comparison of CAS (maple code)

Comparison of CAS (maple code)

Lewis.
语言:
english
文件:
GZ, 37 KB
0 / 0
english
455
What can we do with a solution (cca2002)

What can we do with a solution (cca2002)

Langley, Richardson.
语言:
english
文件:
GZ, 100 KB
0 / 0
english
456
How to recognize zero

How to recognize zero

Richardson.
年:
1997
语言:
english
文件:
DJVU, 136 KB
0 / 0
english, 1997
457
Zero-test algorithms for functions

Zero-test algorithms for functions

Van der Hoeven.
语言:
english
文件:
GZ, 152 KB
0 / 0
english
458
Fonctions holonome et calcul formel (PhD Thesis, fr)

Fonctions holonome et calcul formel (PhD Thesis, fr)

Chyzak.
语言:
english
文件:
GZ, 497 KB
0 / 0
english
459
Holonomic systems and automatic proofs of identities. RR-2371

Holonomic systems and automatic proofs of identities. RR-2371

Chyzak.
语言:
english
文件:
GZ, 192 KB
0 / 0
english
460
Lecture notes on Groebner bases

Lecture notes on Groebner bases

Corless.
语言:
english
文件:
GZ, 62 KB
0 / 0
english
461
Complexity of Wu-Ritt decomposition

Complexity of Wu-Ritt decomposition

Szanto.
语言:
english
文件:
DJVU, 262 KB
0 / 0
english
462
Asymptotic estimation of oscillating functions

Asymptotic estimation of oscillating functions

Shakell J.
年:
1988
语言:
english
文件:
DJVU, 246 KB
0 / 0
english, 1988
463
Fast evaluation of holonomic functions in singularities

Fast evaluation of holonomic functions in singularities

Van der Hoeven.
语言:
english
文件:
GZ, 129 KB
0 / 0
english
464
Improved factoring of polynomials

Improved factoring of polynomials

Collins, Encarnacion.
语言:
english
文件:
GZ, 52 KB
0 / 0
english
465
Testing bivariate polynomials for reducibility. JSC 1997

Testing bivariate polynomials for reducibility. JSC 1997

McCallum.
语言:
english
文件:
DJVU, 198 KB
0 / 0
english
466
Fast parallel polynomial irreducibility test 1985

Fast parallel polynomial irreducibility test 1985

Kaltofen.
语言:
english
文件:
GZ, 44 KB
0 / 0
english
467
Proceedings SYMSAC 1971

Proceedings SYMSAC 1971

语言:
english
文件:
DJVU, 7.09 MB
0 / 0
english
468
Proceedings SYMSAC 1976

Proceedings SYMSAC 1976

ACM
语言:
english
文件:
DJVU, 5.32 MB
0 / 0
english
469
Efficient decision procedures for locally finite theories II

Efficient decision procedures for locally finite theories II

Weispfenning.
年:
1988
语言:
english
文件:
DJVU, 159 KB
0 / 0
english, 1988
470
Algebraic simplification for the perplexed

Algebraic simplification for the perplexed

Moses.
语言:
english
文件:
DJVU, 321 KB
0 / 0
english
471
Solutions of ODEs in radicals

Solutions of ODEs in radicals

Bronstein.
年:
1985
语言:
english
文件:
DJVU, 16 KB
0 / 0
english, 1985
472
Elementary solutions of ODEs

Elementary solutions of ODEs

Singer.
年:
1975
语言:
english
文件:
DJVU, 157 KB
0 / 0
english, 1975
473
Symbolic solutions for a class of PDEs. JSC 1996

Symbolic solutions for a class of PDEs. JSC 1996

De Jager, Van Asch.
语言:
english
文件:
DJVU, 65 KB
0 / 0
english
474
Algorithmic solvability in radicals

Algorithmic solvability in radicals

Hanrot.
语言:
english
文件:
DJVU, 341 KB
0 / 0
english
475
Introduction to cylindrical algebraic decomposition

Introduction to cylindrical algebraic decomposition

Jirstrand M.
年:
1995
语言:
english
文件:
GZ, 269 KB
0 / 0
english, 1995
476
Summation in finite terms 1981

Summation in finite terms 1981

Karr.
语言:
english
文件:
DJVU, 573 KB
0 / 0
english
477
Modeling of Curves and Surfaces with MATLAB

Modeling of Curves and Surfaces with MATLAB

Vladimir Rovenski
年:
2010
语言:
english
文件:
EPUB, 8.91 MB
0 / 0
english, 2010
478
Computer algebra and differential equations

Computer algebra and differential equations

Evelyne Tournier
年:
1994
语言:
english
文件:
DJVU, 2.94 MB
0 / 0
english, 1994
479
CAS Benchmark 1999

CAS Benchmark 1999

Wester M.
语言:
english
文件:
GZ, 214 KB
0 / 0
english
480
Complexity bounds for zero-test algorithms

Complexity bounds for zero-test algorithms

Van der Hoeven.
语言:
english
文件:
GZ, 152 KB
0 / 0
english
481
Bezout's method for computing the resultant

Bezout's method for computing the resultant

Bikker.
年:
1995
语言:
english
文件:
GZ, 75 KB
0 / 0
english, 1995
482
Holonomic functions in computer algebra (slides, talk)

Holonomic functions in computer algebra (slides, talk)

Chyzak.
语言:
english
文件:
GZ, 211 KB
0 / 0
english
483
Groebner duality and multiplicities in polynomial systems

Groebner duality and multiplicities in polynomial systems

Marinari et al.
语言:
english
文件:
DJVU, 307 KB
0 / 0
english
484
Eagon, Northcott, Groebner

Eagon, Northcott, Groebner

Mora T.
年:
1998
语言:
english
文件:
GZ, 68 KB
0 / 0
english, 1998
485
Algorithms for limits and asymptotics

Algorithms for limits and asymptotics

Shackell.
语言:
english
文件:
GZ, 29 KB
0 / 0
english
486
Algorithms for asymptotics II

Algorithms for asymptotics II

Van der Hoeven.
语言:
english
文件:
GZ, 54 KB
0 / 0
english
487
Factoring high-degree polynomials by black box 1994

Factoring high-degree polynomials by black box 1994

Kaltofen, Lobo.
语言:
english
文件:
GZ, 79 KB
0 / 0
english
488
Computing with polynomials as black boxes 1990

Computing with polynomials as black boxes 1990

Kaltofen, Trager.
语言:
english
文件:
GZ, 78 KB
0 / 0
english
489
Simplification of quantifier-free formulae. JSC 1997

Simplification of quantifier-free formulae. JSC 1997

Dolzmann.
语言:
english
文件:
DJVU, 170 KB
0 / 0
english
490
Real quadratic quantifier elimination in Risa-Asir

Real quadratic quantifier elimination in Risa-Asir

Sturm T.
年:
1996
语言:
english
文件:
GZ, 111 KB
0 / 0
english, 1996
491
A note on Zippel denesting

A note on Zippel denesting

Landau S.
年:
1990
语言:
english
文件:
GZ, 35 KB
0 / 0
english, 1990
492
Simplification of radicals (JSC 1985)(dirtier)

Simplification of radicals (JSC 1985)(dirtier)

Zippel.
语言:
english
文件:
DJVU, 518 KB
0 / 0
english
493
Factorization of linear ODE

Factorization of linear ODE

Bronstein.
年:
1996
语言:
english
文件:
DJVU, 57 KB
0 / 0
english, 1996
494
Elementary and Liouvillian solutions of ODEs

Elementary and Liouvillian solutions of ODEs

Davenport, Singer.
年:
1986
语言:
english
文件:
DJVU, 432 KB
0 / 0
english, 1986
495
Solutions of 1st order ODEs with Prelle-Singer. JSC 1993

Solutions of 1st order ODEs with Prelle-Singer. JSC 1993

Man.
语言:
english
文件:
DJVU, 410 KB
0 / 0
english
496
Extensible 2nd order ODE solver 2001

Extensible 2nd order ODE solver 2001

Willis.
语言:
english
文件:
DJVU, 59 KB
0 / 0
english
497
Skript zur Vorlesung Computer algebra 2002

Skript zur Vorlesung Computer algebra 2002

Hebisch.
语言:
german
文件:
DJVU, 53 KB
0 / 0
german
498
M70 computer algebra lecture

M70 computer algebra lecture

Richardson.
语言:
english
文件:
GZ, 35 KB
0 / 0
english
499
Computer algebra algorithms for particle physics

Computer algebra algorithms for particle physics

Wenzierl.
语言:
english
文件:
GZ, 172 KB
0 / 0
english
500
Introduction to Computer Algebra 001

Introduction to Computer Algebra 001

语言:
english
文件:
GZ, 449 KB
0 / 0
english
想要获得更多搜索结果吗？
进行捐赠，成为高级账户