E-LIB Suche - Ergebnisse für: Char, Bruce W.

1

Moving forward with LogicWriter Actual, A Web App for Early..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2,

Char, Bruce W. ; Johnson, Jeremy ; Earth, Steve - p. 1931 ff. , 2024

Link: https://dl.acm.org/doi/1..

2

The Purpose of Proof:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2,

Char, Bruce W. ; Osera, Peter-Michael ; Wonnacott, David G. - p. 1256 ff. , 2023

Link: https://dl.acm.org/doi/1..

3

Retention and Transfer of Mathematical Thinking in the CS C..:

, In: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2,

Char, Bruce W. ; Earth, Steve - p. 1183 ff. , 2022

Link: https://dl.acm.org/doi/1..

4

A first year common course on computational problem solving..:

, In: Proceedings of the 45th ACM technical symposium on Computer science education,

Char, Bruce W. ; Hewett, Thomas T. - p. 713 ff. , 2014

Link: https://dl.acm.org/doi/1..

5

LinBox and future high performance computer algebra:

, In: Proceedings of the 2007 international workshop on Parallel symbolic computation,

Char, Bruce W. ; Saunders, B. David ; Youse, Bryan - p. 102-103 , 2007

Link: https://dl.acm.org/doi/1..

6

Developing the Soliton Explorer: A problem solving environm..:

Char, Bruce W. ; Harrison, Anthony ; Hewett, Thomas..
ACM SIGSAM Bulletin. 33 (1999) 3 - p. 22-23 , 1999

Link: https://doi.org/10.1145/..

7

Developing the Soliton Explorer : A problem solving envi..:

Char, Bruce W. ; Harrison, Anthony ; Hewett, Thomas..
ACM SIGSAM Bulletin. 33 (1999) 3 - p. 22-23 , 1999

Link: https://dl.acm.org/doi/1..

8

Automatic identification of time scales in enzyme kinetics ..:

, In: Proceedings of the international symposium on Symbolic and algebraic computation,

Char, Bruce W. ; Russo, Mark F. - p. 74-83 , 1994

Link: https://dl.acm.org/doi/1..

9

An approach for floating-point error analysis using compute..:

, In: Papers from the international symposium on Symbolic and algebraic computation,

Mutrie, Mark P. W. ; Bartels, Richard H. ; Char, Bruce W. - p. 284-293 , 1992

Link: https://dl.acm.org/doi/1..

10

, In:

Maple V / [Waterloo Maple]. Bruce W. Char ...Language refer..:

,

Char, Bruce W. - 1. ed . , 1991

Copies: Zentrale:E02 a inf 380 map/500

11

, In:

Maple V / [Waterloo Maple]. Bruce W. Char ...Library refere..:

,

Char, Bruce W. - 1. ed . , 1991

Copies: Zentrale:E02 a inf 380 map/565

12

Report on the 7th annual maple workshop:

Char, Bruce W.
ACM SIGSAM Bulletin. 24 (1990) 1 - p. 18 ff. , 1990

Link: https://dl.acm.org/doi/1..

13

Report on the 7th annual maple workshop:

Char, Bruce W.
ACM SIGSAM Bulletin. 24 (1990) 1 - p. 18 , 1990

Link: https://doi.org/10.1145/..

14

GCDHEU: Heuristic polynomial GCD algorithm based on integer..:

Char, Bruce W. ; Geddes, Keith O. ; Gonnet, Gaston H.
Journal of Symbolic Computation. 7 (1989) 1 - p. 31-48 , 1989

Link: https://doi.org/10.1016/..

15

Discovering inequality conditions in the analytic solution ..:

Char, Bruce W. ; Macnaughton, Alan R. ; Strooper, Paul A.
Journal of Automated Reasoning. 5 (1989) 3 - p. 339-362 , 1989

Link: https://doi.org/10.1007/..