Preface |
|
ix | |
About This Book |
|
ix | |
For the Student |
|
x | |
For the Teacher |
|
x | |
About Maple |
|
xi | |
The Contents of This Book |
|
xii | |
Exercises and Projects |
|
xiv | |
Acknowledgements |
|
xv | |
|
|
1 | (18) |
|
1.1 Experimenting with Mathematics |
|
|
1 | (4) |
|
|
5 | (2) |
|
1.3 From Hypothesis to Proof |
|
|
7 | (1) |
|
1.4 Keeping Experiments Honest |
|
|
8 | (1) |
|
|
9 | (4) |
|
|
13 | (4) |
|
|
17 | (1) |
|
1.8 Notes and Further Reading |
|
|
18 | (1) |
|
2 Basic Programming in Maple |
|
|
19 | (32) |
|
2.1 Statements, Execution and Groups |
|
|
19 | (1) |
|
2.2 Variables, Functions and Expressions |
|
|
20 | (2) |
|
2.3 Sets, Lists, Sequences, Matrices and Strings |
|
|
22 | (2) |
|
|
24 | (4) |
|
|
28 | (8) |
|
2.6 Pseudocode and Stepwise Refinement |
|
|
36 | (4) |
|
|
40 | (2) |
|
2.8 Automated Testing of Hypotheses |
|
|
42 | (3) |
|
|
45 | (4) |
|
2.10 Notes and Further Reading |
|
|
49 | (2) |
|
3 Iteration and Recursion |
|
|
51 | (42) |
|
3.1 Iteration versus Recursion |
|
|
51 | (4) |
|
|
55 | (10) |
|
|
65 | (8) |
|
|
73 | (15) |
|
|
88 | (4) |
|
3.6 Notes and Further Reading |
|
|
92 | (1) |
|
|
93 | (39) |
|
|
93 | (19) |
|
|
112 | (11) |
|
4.3 Probability Distributions |
|
|
123 | (1) |
|
|
124 | (7) |
|
4.5 Notes and Further Reading |
|
|
131 | (1) |
|
|
132 | (70) |
|
|
132 | (22) |
|
5.2 Recognizing Integer Sequences |
|
|
154 | (11) |
|
5.3 Recognizing Floating-point Numbers |
|
|
165 | (11) |
|
5.4 The Mathematics of Inversion |
|
|
176 | (6) |
|
|
182 | (9) |
|
|
191 | (9) |
|
5.7 Notes and Further Reading |
|
|
200 | (2) |
|
|
202 | (31) |
|
|
202 | (1) |
|
6.2 True Randomness vs. Pseudorandomness |
|
|
203 | (1) |
|
6.3 Pseudorandom Number Generators |
|
|
204 | (5) |
|
6.4 Pseudorandomness in Maple |
|
|
209 | (5) |
|
6.5 Using Pseudorandomness in Experiments |
|
|
214 | (9) |
|
6.6 Randomness in Algorithms |
|
|
223 | (4) |
|
|
227 | (4) |
|
6.8 Notes and Further Reading |
|
|
231 | (2) |
|
7 Time, Memory and Precision |
|
|
233 | (31) |
|
|
233 | (7) |
|
7.2 Balancing Time and Memory |
|
|
240 | (2) |
|
7.3 Maple-specific Efficiency Tips |
|
|
242 | (4) |
|
7.4 Floating-point Precision |
|
|
246 | (11) |
|
|
257 | (6) |
|
7.6 Notes and Further Reading |
|
|
263 | (1) |
|
8 Applications of Linear Algebra and Graph Theory |
|
|
264 | (27) |
|
|
264 | (6) |
|
|
270 | (4) |
|
8.3 Generalizations and Variations of Graphs |
|
|
274 | (3) |
|
8.4 Generic Linear Algebra in Maple |
|
|
277 | (3) |
|
8.5 Isomorphism and Equivalence |
|
|
280 | (4) |
|
|
284 | (4) |
|
8.7 Notes and Further Reading |
|
|
288 | (3) |
Illustration notes |
|
291 | (2) |
References |
|
293 | (6) |
Index |
|
299 | |