E-LIB Suche - Ergebnisse für: Watt, Stephen M.

1

Telescopers for differential forms with one parameter:

Chen, Shaoshi ; Feng, Ruyong ; Li, Ziming..
Selecta Mathematica. 30 (2024) 3 - p. , 2024

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

2

Extracting Theory Graphs from Aldor Libraries:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Rabe, Florian ; Watt, Stephen M. - p. 315-320 , 2023

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

3

Hybrid Intervals and Symbolic Block Matrices:

, In: 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Ghesquiere, Mike ; Watt, Stephen M. - p. 32-39 , 2023

Link: https://doi.org/10.1109/..

4

Efficient Quotients of Non-commutative Polynomials:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,

Watt, Stephen M. - p. 370-392 , 2023

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

5

The Inverse of the Complex Gamma Function:

, In: 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Jeffrey, D. J. ; Watt, Stephen M. - p. 26-31 , 2023

Link: https://doi.org/10.1109/..

6

Working with Families of Inverse Functions:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Jeffrey, David J. ; Watt, Stephen M. - p. 222-237 , 2022

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

7

Detecting Implicit Indeterminates in Symbolic Computation:

, In: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Watt, Stephen M. - p. 43-50 , 2022

Link: https://doi.org/10.1109/..

8

The LegendreSobolev Package and Its Applications in Handwri..:

, In: Communications in Computer and Information Science; Maple in Mathematics Education and Research,

Alvandi, Parisa ; Watt, Stephen M. - p. 13-29 , 2020

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

9

TCS SNC Preface:

Verschelde, Jan ; Watt, Stephen M. ; Zhi, Lihong
Theoretical Computer Science. 681 (2017) - p. 1-2 , 2017

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

10

Proceedings of the 2014 Symposium on Symbolic-Numeric Compu..:

Watt, Stephen M. ; Verschelde, Jan ; Zhi, Lihong.. , 2014

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

11

Distance-based High-frequency Trading:

Felker, Travis ; Mazalov, Vadim ; Watt, Stephen M.
Procedia Computer Science. 29 (2014) - p. 2055-2064 , 2014

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

12

Guest Editors' foreword:

Koepf, Wolfram ; Watt, Stephen M.
Journal of Symbolic Computation. 49 (2013) - p. 1-2 , 2013

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

13

Polynomial approximation in handwriting recognition:

, In: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation,

Watt, Stephen M. - p. 3-7 , 2012

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

14

In honour of Keith Geddes on his 60th birthday:

Giesbrecht, Mark W. ; Watt, Stephen M.
Journal of Symbolic Computation. 46 (2011) 7 - p. 735-740 , 2011

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

15

An architecture for generic extensions:

Oancea, Cosmin E. ; Watt, Stephen M.
Science of Computer Programming. 76 (2011) 4 - p. 258-277 , 2011

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