Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Davenport, J.H.
3920  Ergebnisse:
Personensuche X
?
1

The DEWCAD project : pushing back the doubly exponential..:

Bradford, R. ; Davenport, J. H. ; England, M...
ACM Communications in Computer Algebra.  55 (2022)  3 - p. 107-111 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

The DEWCAD project: pushing back the doubly exponential wal..:

Bradford, R. ; Davenport, J. H. ; England, M...
ACM Communications in Computer Algebra.  55 (2021)  3 - p. 107-111 , 2021
Link: https://doi.org/10.1145/..
 
?
3

Regular cylindrical algebraic decomposition:

Davenport, J. H. ; Locatelli, A. F. ; Sankaran, G. K.
Journal of the London Mathematical Society.  101 (2019)  1 - p. 43-59 , 2019
Link: https://doi.org/10.1112/..
 
?
4

Satisfiability checking and symbolic computation:

Ábrahám, E. ; Abbott, J. ; Becker, B....
ACM Communications in Computer Algebra.  50 (2017)  4 - p. 145-147 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

Satisfiability checking and symbolic computation:

Ábrahám, E. ; Abbott, J. ; Becker, B....
ACM Communications in Computer Algebra.  50 (2017)  4 - p. 145-147 , 2017
Link: https://doi.org/10.1145/..
 
?
6

Cylindrical Algebraic Sub-Decompositions:

Wilson, D. J. ; Bradford, R. J. ; Davenport, J. H..
Mathematics in Computer Science.  8 (2014)  2 - p. 263-288 , 2014
Link: https://doi.org/10.1007/..
 
?
7

Branch cuts in maple 17:

England, M. ; Cheb-Terrab, E. ; Bradford, R...
ACM Communications in Computer Algebra.  48 (2014)  1/2 - p. 24-27 , 2014
Link: https://dl.acm.org/doi/1..
 
?
8

Branch cuts in maple 17:

England, M. ; Cheb-Terrab, E. ; Bradford, R...
ACM Communications in Computer Algebra.  48 (2014)  1/2 - p. 24-27 , 2014
Link: https://doi.org/10.1145/..
 
?
9

A national survey of instrument sharpening guidelines:

Singh, J. ; Davenport, J.H. ; Pegg, D.J.
The Surgeon.  8 (2010)  3 - p. 136-139 , 2010
Link: https://doi.org/10.1016/..
 
?
10

On Waring's Problem : Two Cubes and One Square:

Davenport, H. ; Heilbronn, H.
Proceedings of the London Mathematical Society.  s2-43 (2009)  2 - p. 81-104 , 2009
Link: https://doi.org/10.1112/..
 
?
11

Fast recognition of alternating and symmetric Galois groups:

Davenport, J.H. ; Smith, G.C.
Journal of Pure and Applied Algebra.  153 (2000)  1 - p. 17-25 , 2000
Link: https://doi.org/10.1016/..
 
?
12

Primality testing revisited:

, In: Papers from the international symposium on Symbolic and algebraic computation,
Davenport, J. H. - p. 123-129 , 1992
Link: https://dl.acm.org/doi/1..
 
?
13

Scratchpad's view of algebra II : A categorical view of ..:

, In: Proceedings of the 1991 international symposium on Symbolic and algebraic computation,
Davenport, J. H. ; Gianni, P. ; Trager, B. M. - p. 32-38 , 1991
Link: https://dl.acm.org/doi/1..
 
?
14

Geometric reasoning:

Davenport, J.H.
Science of Computer Programming.  14 (1990)  1 - p. 103-105 , 1990
Link: https://doi.org/10.1016/..
 
?
15

Computer algebra applied to itself:

Davenport, J.H.
Journal of Symbolic Computation.  6 (1988)  1 - p. 127-132 , 1988
Link: https://doi.org/10.1016/..
 
1-15