Main

Recently Added

1

数学女孩5:伽罗瓦理论.pdf

Year:
2021
Language:
chinese
File:
PDF, 12.48 MB
0 / 0
3

Manual for the TI Nspire CAS Calculator

Year:
2016
Language:
english
File:
PDF, 9.93 MB
0 / 0
7

MATLAB The Language of Technical Computing: MAT-File Format Version 7

Year:
2004
Language:
english
File:
PDF, 417 KB
0 / 0
8

MATLAB The Language of Technical Computing: Programming Version 7

Year:
2004
Language:
english
File:
PDF, 4.72 MB
0 / 0
10

SIMULINK Dynamic System Simulation for MATLAB Using Simulink Version 3

Year:
1999
Language:
english
File:
PDF, 3.43 MB
0 / 0
12

MATLAB The Language of Technical Computing: External Interfaces Version 7

Year:
2004
Language:
english
File:
PDF, 3.81 MB
0 / 0
13

Creating Graphical User Interfaces Matlab Version 7

Language:
english
File:
PDF, 1.98 MB
0 / 0
14

Mathematik-Online-Kurs Matlab

Year:
2003
Language:
german
File:
PDF, 1.41 MB
0 / 0
15

Math Problems solving with Matlab Programming

Year:
2001
Language:
english
File:
PDF, 2.32 MB
0 / 0
16

Eine Einfuehrung in Matlab

Year:
2004
Language:
german
File:
PDF, 1.86 MB
0 / 0
17

Using Simulink and Stateflow in Automotive Applications

Language:
english
File:
PDF, 736 KB
0 / 0
18

MATLAB Anwendung in der Regelungstechnik

Year:
2004
Language:
german
File:
PDF, 718 KB
0 / 0
19

MATLAB Eine freundliche Einfuehrung

Language:
german
File:
PDF, 184 KB
0 / 0
20

Matlab Applikationssoftware und Programmierung

Year:
2004
Language:
german
File:
PDF, 7.79 MB
0 / 0
24

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

Language:
russian
File:
DJVU, 2.27 MB
0 / 0
25

Modern Computer Algebra

Language:
english
File:
DJVU, 9.77 MB
0 / 0
27

Elimination Methods in Polynomial Computer Algebra

Language:
english
File:
PDF, 1.53 MB
0 / 0
28

Errata and addenda for Modern computer algebra

Year:
2003
Language:
english
File:
DJVU, 101 KB
0 / 0
30

Algorithms for Computer Algebra english

Language:
english
File:
DJVU, 3.35 MB
0 / 0
31

Cambridge Modern Computer Algebra

Language:
english
File:
PDF, 167.21 MB
0 / 0
32

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

Year:
1991
Language:
russian
File:
DJVU, 2.41 MB
0 / 0
34

Introduction to Computer Algebra 001

Language:
english
File:
GZ, 449 KB
0 / 0
35

Recherche de calcul formel et de arithmetique

Language:
french
File:
GZ, 327 KB
0 / 0
36

Computer algebra algorithms for particle physics

Language:
english
File:
GZ, 172 KB
0 / 0
37

Computer algebra algorithms for particle physics

Language:
english
File:
GZ, 45 KB
0 / 0
38

Lectures on computer algebra (pdfs)

Language:
english
File:
ZIP, 453 KB
0 / 0
39

M70 computer algebra lecture

Language:
english
File:
GZ, 109 KB
0 / 0
40

M70 computer algebra lecture

Language:
english
File:
GZ, 35 KB
0 / 0
41

Overview of CAS capabilities and algebraic algorithms

Language:
english
File:
GZ, 233 KB
0 / 0
42

Computer algebra lectures (tex,ps)

Language:
english
File:
GZ, 178 KB
0 / 0
43

Skript zur Vorlesung Computer algebra 2002

Language:
german
File:
DJVU, 53 KB
0 / 0
44

Calcul algebrique et formel

Year:
1995
Language:
french
File:
GZ, 448 KB
0 / 0
45

Vorlesungen zur Computer-Algebra

Language:
german
File:
GZ, 511 KB
0 / 0
46

Vorlesungen zur Computer-Algebra

Language:
german
File:
GZ, 510 KB
0 / 0
47

Computer algebra and theorem proving (PhD thesis)

Language:
english
File:
GZ, 293 KB
0 / 0
48

Holonomic system approach to special function identities

Year:
1990
Language:
english
File:
GZ, 144 KB
0 / 0
49

Symbolic summation of Apery series (damaged)

Language:
english
File:
DJVU, 45 KB
0 / 0
50

Implementation of Gosper-Karr's symbolic summation algorithm

Language:
english
File:
GZ, 44 KB
0 / 0
51

Summation rationaler Funktionen. Diplom

Language:
german
File:
GZ, 186 KB
0 / 0
52

Rational function summation and Gosper-Petkovchek repr

Language:
english
File:
GZ, 84 KB
0 / 0
53

Rational summation and Gosper-Petkovsek representation. JSC 1995

Language:
english
File:
GZ, 80 KB
0 / 0
54

Recent developments in symbolic summation

Language:
english
File:
GZ, 87 KB
0 / 0
55

Shortest linear recurrences. JSC 1999

Language:
english
File:
DJVU, 180 KB
0 / 0
56

Closed forms for symbolic summation. JSC 1993

Language:
english
File:
DJVU, 466 KB
0 / 0
57

Closed forms for symbolic summation. JSC 1993

Language:
english
File:
PDF, 598 KB
0 / 0
58

Closed forms for symbolic summation. JSC 1993

Language:
english
File:
DJVU, 183 KB
0 / 0
59

Q-summation

Language:
english
File:
GZ, 73 KB
0 / 0
60

Summation in finite terms 1981

Language:
english
File:
DJVU, 573 KB
0 / 0
61

Summation in finite terms

Year:
1985
Language:
english
File:
DJVU, 165 KB
0 / 0
62

Theorie zur q-hypergeom Summation

Language:
english
File:
GZ, 357 KB
0 / 0
63

Computing the generating function from first terms of series

Language:
english
File:
GZ, 247 KB
0 / 0
64

Multibase Gosper-type algorithms. JSC 1999

Language:
english
File:
DJVU, 179 KB
0 / 0
65

Termination of Zeilberger's algorithm for hypergeom sums

Language:
english
File:
DJVU, 87 KB
0 / 0
66

Algorithms for closed forms of sums

Language:
english
File:
DJVU, 11 KB
0 / 0
67

Minimal decomposition of hypergeom sums

Language:
english
File:
DJVU, 285 KB
0 / 0
68

Canonical form for piecewise functions. JSC 1998

Language:
english
File:
DJVU, 92 KB
0 / 0
69

Special functions (Mma package)

Language:
english
File:
GZ, 66 KB
0 / 0
70

Identities for orthogonal polynomials and special functions

Language:
english
File:
GZ, 97 KB
0 / 0
71

CAS algorithms for orthogonal polynomials and special functions 2002

Language:
english
File:
DJVU, 120 KB
0 / 0
72

Algorithms for orthogonal polynomials

Language:
english
File:
GZ, 150 KB
0 / 0
73

Algorithms for Jacobi symbol. JSC 1998

Language:
english
File:
DJVU, 101 KB
0 / 0
74

Solving algebraic systems

Year:
2002
Language:
english
File:
DJVU, 128 KB
0 / 0
75

Elimination method for polynomial systems

Year:
1993
Language:
english
File:
DJVU, 928 KB
0 / 0
76

Solving systems of polynomial inequalities. JSC 2000

Language:
english
File:
DJVU, 89 KB
0 / 0
77

Rational parametrization of surfaces

Year:
1998
Language:
english
File:
DJVU, 197 KB
0 / 0
78

Real solutions of positive-dimensional algebraic systems

Year:
2002
Language:
english
File:
DJVU, 133 KB
0 / 0
79

Resolution reelle des systemes algebro-elementaires

Year:
2000
Language:
french
File:
DJVU, 721 KB
0 / 0
80

Alternative rewriting methods for solving algebraic systems

Year:
2001
Language:
english
File:
GZ, 587 KB
0 / 0
81

Polynomial decomposition algorithm

Year:
1989
Language:
english
File:
DJVU, 132 KB
0 / 0
82

Decomposition of algebraic functions

Year:
1996
Language:
english
File:
DJVU, 87 KB
0 / 0
83

Euclidean algorithm for triangular representation of algebraic varieties

Year:
1993
Language:
english
File:
DJVU, 464 KB
0 / 0
84

Introduction to cylindrical algebraic decomposition

Year:
1995
Language:
english
File:
GZ, 269 KB
0 / 0
85

Introduction to cylindrical algebraic decomposition

Year:
1995
Language:
english
File:
DJVU, 198 KB
0 / 0
86

Algebraic methods in modeling, design and control (phd thesis)

Year:
1996
Language:
english
File:
GZ, 608 KB
0 / 0
87

Polyhedral method for solving sparse polynomial systems

Year:
1995
Language:
english
File:
DJVU, 140 KB
0 / 0
88

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

Language:
english
File:
DJVU, 267 KB
0 / 0
89

Algorithmic solvability in radicals

Language:
english
File:
DJVU, 341 KB
0 / 0
90

Groebner free alternative for polynomial system solving

Year:
2000
Language:
english
File:
GZ, 177 KB
0 / 0
91

Solving parametric algebraic systems

Year:
1992
Language:
english
File:
DJVU, 145 KB
0 / 0
92

Resolution of polynomial inequality in 2 variables. JSC 1993

Language:
english
File:
DJVU, 170 KB
0 / 0
93

Implicitization of rational parametric surfaces

Year:
1996
Language:
english
File:
DJVU, 59 KB
0 / 0
94

Solutions of algebraic and ODEs by Newton and Hensel iteration

Language:
english
File:
GZ, 39 KB
0 / 0
95

Solving systems of polynomials: theory and practice (Calculemus slides)

Language:
english
File:
DJVU, 132 KB
0 / 0
96

Singular value decomposition for polynomial systems

Year:
1995
Language:
english
File:
DJVU, 304 KB
0 / 0
97

Symbolic integration of exact PDEs. JSC 2000

Language:
english
File:
DJVU, 77 KB
0 / 0
98

Symbolic solutions for a class of PDEs. JSC 1996

Language:
english
File:
DJVU, 65 KB
0 / 0
99

Traveling wave solutions of PDEs using tanh, cn

Language:
english
File:
GZ, 217 KB
0 / 0
100

Differential Galois theory and ODEs

Language:
english
File:
GZ, 37 KB
0 / 0
101

Differential Galois theory 2002-06

Language:
english
File:
GZ, 1.44 MB
0 / 0
102

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

Language:
english
File:
DJVU, 164 KB
0 / 0
103

Extensible 2nd order ODE solver 2001

Language:
english
File:
DJVU, 59 KB
0 / 0
104

Enumerate all factorizations of a linear ODE

Language:
english
File:
DJVU, 172 KB
0 / 0
105

Newton polyhedra and reversible systems of ODEs

Year:
2000
Language:
english
File:
DJVU, 121 KB
0 / 0
106

Liouvillian solutions of ODEs with Liouvillian coefficients

Year:
1991
Language:
english
File:
DJVU, 407 KB
0 / 0
107

Formal solutions of ODEs

Year:
1990
Language:
english
File:
DJVU, 949 KB
0 / 0
108

Elementary solutions of ODEs

Year:
1975
Language:
english
File:
DJVU, 157 KB
0 / 0
109

Algebraic solutions of linear ODEs

Year:
1979
Language:
english
File:
DJVU, 524 KB
0 / 0
110

Symbolic solutions of 2nd and 3rd order ODE

Language:
english
File:
GZ, 117 KB
0 / 0
111

Kovacic-style algorithm for 3rd order ODEs 2001

Language:
english
File:
GZ, 87 KB
0 / 0
112

Heuristic solving of 1st order ODEs

Language:
english
File:
DJVU, 259 KB
0 / 0
113

Solutions of algebraic ODEs (JDE1983)

Language:
english
File:
DJVU, 170 KB
0 / 0
114

Differential algebraic elimination theorem

Year:
1985
Language:
english
File:
DJVU, 65 KB
0 / 0
115

Transcendental transcendency of certain functions of Poincare

Year:
1925
Language:
english
File:
DJVU, 221 KB
0 / 0
116

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

Year:
1927
Language:
english
File:
DJVU, 89 KB
0 / 0
117

Integral functions obtained by compounding polynomials (Bull. AMS 1933, vol. 39)

Year:
1933
Language:
english
File:
DJVU, 96 KB
0 / 0
118

Solution of problem of integration in finite terms (Bull. AMS 1970)

Language:
english
File:
DJVU, 162 KB
0 / 0
119

Exponential solutions of 1st order ODE systems

Language:
english
File:
DJVU, 244 KB
0 / 0
120

Reducible and irreducible linear ODEs

Year:
1932
Language:
english
File:
DJVU, 269 KB
0 / 0
121

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

Language:
english
File:
DJVU, 410 KB
0 / 0
122

Algorithm for solving 2nd order linear DE

Year:
1986
Language:
english
File:
DJVU, 490 KB
0 / 0
123

Algorithms for solving linear ODEs

Language:
english
File:
GZ, 33 KB
0 / 0
124

Library for integration and reduction of nonlinear ODEs

Year:
2000
Language:
english
File:
DJVU, 209 KB
0 / 0
125

Elementary and Liouvillian solutions of ODEs

Year:
1986
Language:
english
File:
DJVU, 432 KB
0 / 0
126

Integrating factors for 2nd order ODes. JSC 1999

Language:
english
File:
DJVU, 135 KB
0 / 0
127

Solving linear ODEs in exponential integrals

Language:
english
File:
GZ, 88 KB
0 / 0
128

Solutions of ODEs in their coeff field. JSC 2000

Language:
english
File:
DJVU, 290 KB
0 / 0
129

Solutions of ODEs in radicals

Year:
1985
Language:
english
File:
DJVU, 16 KB
0 / 0
130

Solutions of ODE in their coefficient field

Year:
1992
Language:
english
File:
GZ, 97 KB
0 / 0
131

Linear ODE of higher than 2nd order

Language:
english
File:
GZ, 49 KB
0 / 0
132

Improved algorithm for factorization of ODE

Language:
english
File:
DJVU, 121 KB
0 / 0
133

Factorization of linear ODE

Year:
1996
Language:
english
File:
DJVU, 57 KB
0 / 0
134

Computer algebra algorithms for linear ODE and difference equs. (ECM)

Language:
english
File:
DJVU, 110 KB
0 / 0
135

Solutions of linear ODEs in special functions

Year:
2002
Language:
english
File:
DJVU, 76 KB
0 / 0
136

Solving linear ODEs using exp integrals

Year:
1999
Language:
english
File:
GZ, 93 KB
0 / 0
137

Polynomial solutions of linear ODEs

Language:
english
File:
GZ, 48 KB
0 / 0
138

Rational solutions of linear ODE systems

Language:
english
File:
DJVU, 155 KB
0 / 0
139

Rational Newton algorithm for linear ODEs

Year:
1988
Language:
english
File:
DJVU, 176 KB
0 / 0
140

Dalambertian solutions to linear ODEs

Language:
english
File:
DJVU, 127 KB
0 / 0
141

Functional decomposition of polynomials. the tame case

Year:
1990
Language:
english
File:
DJVU, 293 KB
0 / 0
142

Decomposition of polynomials, wild case

Year:
1990
Language:
english
File:
DJVU, 146 KB
0 / 0
143

Functional decomposition of polynomials

Year:
1987
Language:
english
File:
DJVU, 79 KB
0 / 0
144

On multivariate polynomial decomposition

Year:
1999
Language:
english
File:
DJVU, 200 KB
0 / 0
145

Homogeneous decomposition of polynomials

Year:
1992
Language:
english
File:
DJVU, 118 KB
0 / 0
146

Functional decomposition (ext.abs.)

Language:
english
File:
DJVU, 15 KB
0 / 0
147

Univariate and bivariate polynomial decompositions. JSC 1999

Language:
english
File:
DJVU, 74 KB
0 / 0
148

Implementation of rational function decomposition

Year:
1992
Language:
english
File:
DJVU, 144 KB
0 / 0
149

Polynomial decomposition algorithms

Year:
1985
Language:
english
File:
DJVU, 141 KB
0 / 0
150

Simplification of matrix expressions by rewriting

Language:
english
File:
GZ, 82 KB
0 / 0
151

Computing algebraic functions using log and exp 1995

Language:
english
File:
GZ, 36 KB
0 / 0
152

An Algorithm to Simplify Tensor Expressions

Year:
1998
Language:
english
File:
PDF, 170 KB
0 / 0
153

Algorithmic simplification of tensor expressions

Year:
1999
Language:
english
File:
PDF, 64 KB
0 / 0
154

A field-theory motivated approach to symbolic computer algebra

Year:
2006
Language:
english
File:
PDF, 134 KB
0 / 0
155

Algebraic simplification for the perplexed

Language:
english
File:
DJVU, 321 KB
0 / 0
156

Simplification of trigonometry

Language:
english
File:
GZ, 39 KB
0 / 0
157

Canonical forms of rational exponential expressions(EUROCAL85)

Language:
english
File:
DJVU, 264 KB
0 / 0
158

Advances in simplification of sin-cos polynomials

Year:
1998
Language:
english
File:
DJVU, 288 KB
0 / 0
159

Complexity of derivatives generated by symbolic differentiation

Year:
2000
Language:
english
File:
DJVU, 190 KB
0 / 0
160

Essays in algebraic simplification (phd thesis)

Language:
english
File:
DJVU, 1.42 MB
0 / 0
161

Automatic derivation of product identities

Year:
2003
Language:
english
File:
DJVU, 127 KB
0 / 0
162

Derivatives of rational expressions and related theorems

Year:
2004
Language:
english
File:
PDF, 248 KB
0 / 0
163

On canonical forms and simplification

Year:
1970
Language:
english
File:
DJVU, 158 KB
0 / 0
164

Relax but not too lazy 2001

Language:
english
File:
GZ, 222 KB
0 / 0
165

Series for algebraic functions can be computed fast

Year:
1978
Language:
english
File:
DJVU, 226 KB
0 / 0
166

Complexity of resolution of plane curve singularities

Year:
1988
Language:
english
File:
DJVU, 172 KB
0 / 0
167

Real quantifier elimination in practice, survey

Year:
1997
Language:
english
File:
GZ, 121 KB
0 / 0
169

Simplification of radicals (JSC 1985)(dirtier)

Language:
english
File:
DJVU, 518 KB
0 / 0
170

Simplification of radicals

Year:
1977
Language:
english
File:
DJVU, 296 KB
0 / 0
171

Radical simplification using algebraic extension fields (EUROCAL87)

Language:
english
File:
DJVU, 69 KB
0 / 0
172

Simplification of nested radicals (SIAM J Comp. 1992)

Language:
english
File:
DJVU, 327 KB
0 / 0
173

Simplification of nested radicals (1990 preprint)

Language:
english
File:
GZ, 98 KB
0 / 0
174

How to tangle with a nested radical

Year:
1991
Language:
english
File:
GZ, 56 KB
0 / 0
175

A note on Zippel denesting

Year:
1990
Language:
english
File:
GZ, 35 KB
0 / 0
176

Simplifying square roots of square roots

Language:
english
File:
GZ, 57 KB
0 / 0
177

Simplification of unnested radicals

Language:
english
File:
DJVU, 208 KB
0 / 0
178

Decreasing the root nesting

Year:
1985
Language:
english
File:
DJVU, 513 KB
0 / 0
179

Decreasing the nesting depth of square roots

Year:
1985
Language:
english
File:
DJVU, 278 KB
0 / 0
180

Efficient decision procedures for locally finite theories II

Year:
1988
Language:
english
File:
DJVU, 159 KB
0 / 0
181

Real quadratic quantifier elimination in Risa-Asir

Year:
1996
Language:
english
File:
GZ, 111 KB