401
Differential algebraic elimination theorem

Differential algebraic elimination theorem

Rubel, Singer.
Έτος:
1985
Γλώσσα:
english
Αρχείο:
DJVU, 65 KB
0 / 0
english, 1985
402
Heuristic solving of 1st order ODEs

Heuristic solving of 1st order ODEs

Schmidt.
Γλώσσα:
english
Αρχείο:
DJVU, 259 KB
0 / 0
english
403
Symbolic solutions of 2nd and 3rd order ODE

Symbolic solutions of 2nd and 3rd order ODE

Singer, Ulmer.
Γλώσσα:
english
Αρχείο:
GZ, 117 KB
0 / 0
english
404
Differential Galois theory 2002-06

Differential Galois theory 2002-06

Singer, van der Put.
Γλώσσα:
english
Αρχείο:
GZ, 1.44 MB
0 / 0
english
405
Symbolic integration of exact PDEs. JSC 2000

Symbolic integration of exact PDEs. JSC 2000

Wolf.
Γλώσσα:
english
Αρχείο:
DJVU, 77 KB
0 / 0
english
406
Polyhedral method for solving sparse polynomial systems

Polyhedral method for solving sparse polynomial systems

Huber, Sturmfels.
Έτος:
1995
Γλώσσα:
english
Αρχείο:
DJVU, 140 KB
0 / 0
english, 1995
407
Computer algebra algorithms for particle physics

Computer algebra algorithms for particle physics

Wenzierl.
Γλώσσα:
english
Αρχείο:
GZ, 45 KB
0 / 0
english
408
Computeralgebra

Computeralgebra

Michael Kaplan
Έτος:
2004
Γλώσσα:
german
Αρχείο:
PDF, 4.71 MB
0 / 0
german, 2004
409
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Marie-Claude Gaudel, Gilles Bernot, Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Έτος:
1999
Γλώσσα:
english
Αρχείο:
PDF, 21.82 MB
0 / 0
english, 1999
410
Matlab Applikationssoftware und Programmierung

Matlab Applikationssoftware und Programmierung

Winfried Kernbichler
Έτος:
2004
Γλώσσα:
german
Αρχείο:
PDF, 7.79 MB
0 / 0
german, 2004
411
Algebraic Attacks from a Gröbner Basis Perspective [Master thesis]

Algebraic Attacks from a Gröbner Basis Perspective [Master thesis]

A.J.M. Segers
Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 1.09 MB
0 / 0
english, 2004
412
Numerical Linear Algebra with Applications: using MATLAB

Numerical Linear Algebra with Applications: using MATLAB

William Ford
Έτος:
2015
Γλώσσα:
english
Αρχείο:
PDF, 106.20 MB
0 / 0
english, 2015
413
Factoring polynomials over algebraic domains

Factoring polynomials over algebraic domains

Davenport, Trager.
Έτος:
1981
Γλώσσα:
english
Αρχείο:
DJVU, 159 KB
0 / 0
english, 1981
414
Wester's 1994 CAS Test suite in Mupad

Wester's 1994 CAS Test suite in Mupad

Γλώσσα:
english
Αρχείο:
GZ, 51 KB
0 / 0
english
415
Zero recognition of polynomial terms

Zero recognition of polynomial terms

Richardson, El-Sonbaty.
Γλώσσα:
english
Αρχείο:
GZ, 66 KB
0 / 0
english
416
Complexity bounds for zero-testing of polynomials

Complexity bounds for zero-testing of polynomials

Shackell, Van der Hoeven.
Γλώσσα:
english
Αρχείο:
GZ, 154 KB
0 / 0
english
417
Witness for zero-testing

Witness for zero-testing

Van der Hoeven.
Γλώσσα:
english
Αρχείο:
GZ, 127 KB
0 / 0
english
418
Radical of polynomial ideals over arbitrary fields

Radical of polynomial ideals over arbitrary fields

Fortuna, Gianni, Trager.
Έτος:
2001
Γλώσσα:
english
Αρχείο:
DJVU, 230 KB
0 / 0
english, 2001
419
Remarks on comprehensive Groebner and SAGBI bases

Remarks on comprehensive Groebner and SAGBI bases

Goebel, Maier.
Έτος:
2000
Γλώσσα:
english
Αρχείο:
DJVU, 187 KB
0 / 0
english, 2000
420
y' + fy = g (EUROSAM84)

y' + fy = g (EUROSAM84)

Davenport.
Γλώσσα:
english
Αρχείο:
DJVU, 171 KB
0 / 0
english
421
Critical pair completion integration algorithm

Critical pair completion integration algorithm

Norman.
Γλώσσα:
english
Αρχείο:
DJVU, 183 KB
0 / 0
english
422
GCD of polynomials using straight-line programs 1988

GCD of polynomials using straight-line programs 1988

Kaltofen.
Γλώσσα:
english
Αρχείο:
GZ, 119 KB
0 / 0
english
423
Local quantifier elimination

Local quantifier elimination

Dolzmann.
Γλώσσα:
english
Αρχείο:
PDF, 181 KB
0 / 0
english
424
Simplification of radicals

Simplification of radicals

Richard Eliot Zippel
Έτος:
1977
Γλώσσα:
english
Αρχείο:
DJVU, 296 KB
0 / 0
english, 1977
425
Computing algebraic functions using log and exp 1995

Computing algebraic functions using log and exp 1995

Singer et al.
Γλώσσα:
english
Αρχείο:
GZ, 36 KB
0 / 0
english
426
Dalambertian solutions to linear ODEs

Dalambertian solutions to linear ODEs

Abramov, Petkovsek.
Γλώσσα:
english
Αρχείο:
DJVU, 127 KB
0 / 0
english
427
Polynomial solutions of linear ODEs

Polynomial solutions of linear ODEs

Bronstein et al.
Γλώσσα:
english
Αρχείο:
GZ, 48 KB
0 / 0
english
428
Shortest linear recurrences. JSC 1999

Shortest linear recurrences. JSC 1999

Norton.
Γλώσσα:
english
Αρχείο:
DJVU, 180 KB
0 / 0
english
429
Implementation of Gosper-Karr's symbolic summation algorithm

Implementation of Gosper-Karr's symbolic summation algorithm

Schneider.
Γλώσσα:
english
Αρχείο:
GZ, 44 KB
0 / 0
english
430
Algorithmic Algebra

Algorithmic Algebra

Bhubaneswar Mishra
Έτος:
1993
Γλώσσα:
english
Αρχείο:
DJVU, 2.75 MB
0 / 0
english, 1993
431
Computer algebra in scientific computing (CASC2000) TOC

Computer algebra in scientific computing (CASC2000) TOC

Γλώσσα:
english
Αρχείο:
DJVU, 36 KB
0 / 0
english
432
Dynamic evaluation and real closure. Implementation in Axiom

Dynamic evaluation and real closure. Implementation in Axiom

Lecerf.
Έτος:
1996
Γλώσσα:
english
Αρχείο:
GZ, 101 KB
0 / 0
english, 1996
433
Problem of recognizing zero (JACM 18, 559)

Problem of recognizing zero (JACM 18, 559)

Johnson S.C.
Έτος:
1971
Γλώσσα:
english
Αρχείο:
DJVU, 85 KB
0 / 0
english, 1971
434
Integration of transcendental Liouvillian functions

Integration of transcendental Liouvillian functions

Knowles.
Έτος:
1992
Γλώσσα:
english
Αρχείο:
DJVU, 374 KB
0 / 0
english, 1992
435
Asymptotic of implicit functions

Asymptotic of implicit functions

Salvy.
Γλώσσα:
english
Αρχείο:
GZ, 32 KB
0 / 0
english
436
Computing GCDs of polynomials using black box 1995

Computing GCDs of polynomials using black box 1995

Diaz, Kaltofen.
Γλώσσα:
english
Αρχείο:
GZ, 92 KB
0 / 0
english
437
Subquadratic-time factoring of polynomials over finite fields 1998

Subquadratic-time factoring of polynomials over finite fields 1998

Kaltofen, Shoup.
Γλώσσα:
english
Αρχείο:
GZ, 149 KB
0 / 0
english
438
Parallel algebraic algorithm design notes 1989

Parallel algebraic algorithm design notes 1989

Kaltofen.
Γλώσσα:
english
Αρχείο:
GZ, 30 KB
0 / 0
english
439
Polynomial factorization 1982-1986

Polynomial factorization 1982-1986

Kaltofen.
Γλώσσα:
english
Αρχείο:
GZ, 72 KB
0 / 0
english
440
Decreasing the root nesting

Decreasing the root nesting

Borodin et al.
Έτος:
1985
Γλώσσα:
english
Αρχείο:
DJVU, 513 KB
0 / 0
english, 1985
441
Univariate and bivariate polynomial decompositions. JSC 1999

Univariate and bivariate polynomial decompositions. JSC 1999

Klueners.
Γλώσσα:
english
Αρχείο:
DJVU, 74 KB
0 / 0
english
442
Rational solutions of linear ODE systems

Rational solutions of linear ODE systems

Barkatou.
Γλώσσα:
english
Αρχείο:
DJVU, 155 KB
0 / 0
english
443
Linear ODE of higher than 2nd order

Linear ODE of higher than 2nd order

Bronstein.
Γλώσσα:
english
Αρχείο:
GZ, 49 KB
0 / 0
english
444
Exponential solutions of 1st order ODE systems

Exponential solutions of 1st order ODE systems

Pflugel.
Γλώσσα:
english
Αρχείο:
DJVU, 244 KB
0 / 0
english
445
Liouvillian solutions of ODEs with Liouvillian coefficients

Liouvillian solutions of ODEs with Liouvillian coefficients

Singer.
Έτος:
1991
Γλώσσα:
english
Αρχείο:
DJVU, 407 KB
0 / 0
english, 1991
446
Liouvillina solutions of ODEs of 3rd and higher order. JSC 1999

Liouvillina solutions of ODEs of 3rd and higher order. JSC 1999

van Hoeij et al.
Γλώσσα:
english
Αρχείο:
DJVU, 164 KB
0 / 0
english
447
Differential Galois theory and ODEs

Differential Galois theory and ODEs

Vanderput.
Γλώσσα:
english
Αρχείο:
GZ, 37 KB
0 / 0
english
448
Groebner free alternative for polynomial system solving

Groebner free alternative for polynomial system solving

Guisti, Lecerf, Salvy.
Έτος:
2000
Γλώσσα:
english
Αρχείο:
GZ, 177 KB
0 / 0
english, 2000
449
Summation in finite terms

Summation in finite terms

Karr.
Έτος:
1985
Γλώσσα:
english
Αρχείο:
DJVU, 165 KB
0 / 0
english, 1985
450
Computer Algebra

Computer Algebra

J. H. Davenport, Y. Siret, E. Tournier
Έτος:
1993
Γλώσσα:
english
Αρχείο:
DJVU, 2.09 MB
0 / 5.0
english, 1993