nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A CAS aid to the elaboration of the expert system supporting the managing the monolitic construction
|
Marlewski, Adam |
|
2000 |
51 |
5 |
p. 483-488 6 p. |
artikel |
2 |
Boole’s logic revisited from computer algebra
|
Laita, Luis M. |
|
2000 |
51 |
5 |
p. 419-439 21 p. |
artikel |
3 |
Computer-aided modelling and simulation of the thermodynamics of stream reforming
|
Grotendorst, J. |
|
2000 |
51 |
5 |
p. 451-471 21 p. |
artikel |
4 |
Defining degenerate robots symbolically
|
Gutierrez, Jaime |
|
2000 |
51 |
5 |
p. 441-449 9 p. |
artikel |
5 |
Non-standard Applications of Computer Algebra II
|
Steinberg, Stanly |
|
2000 |
51 |
5 |
p. 417-418 2 p. |
artikel |
6 |
On the data structure straight-line program and its implementation in symbolic computation
|
Castaño, Bonifacio |
|
2000 |
51 |
5 |
p. 497-528 32 p. |
artikel |
7 |
Railway interlocking systems and Gröbner bases
|
Roanes-Lozano, Eugenio |
|
2000 |
51 |
5 |
p. 473-481 9 p. |
artikel |
8 |
Simplification of the Laplace–Beltrami operator
|
Hashiguchi, Hiroki |
|
2000 |
51 |
5 |
p. 489-496 8 p. |
artikel |
9 |
Social structures and speeding trucks
|
Faia, Michael A. |
|
2000 |
51 |
5 |
p. 529-545 17 p. |
artikel |