Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Yoichi Hayashi
Gaurvi Goyal
Asma Hassani
Home
/
Author
/
J. H. DAVENPORT
Author Info
Open Visualization
Name
Affiliation
Papers
J. H. DAVENPORT
School of Mathematics, University of Bath, Claverton Down, Bath BA2 7AY, England
16
Collaborators
Citations
PageRank
28
109
21.82
Referers
Referees
References
141
96
77
Search Limit
100
141
Publications (16 rows)
Collaborators (28 rows)
Referers (100 rows)
Referees (96 rows)
Title
Citations
PageRank
Year
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
0
0.34
2021
The CAD Conundrum: Lex-Least vs Order
0
0.34
2020
Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES
0
0.34
2020
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).
0
0.34
2020
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks.
1
0.35
2019
Scratchpad's view of algebra II: A categorical view of factorization
11
0.75
1991
Computer algebra applied to itself
0
0.34
1988
Factorisation of polynomials: old ideas and recent results
2
1.19
1987
The Bath algebraic number package
13
3.99
1986
PowerMath: a system for the Macintosh
2
0.66
1986
The Risch differential equation problem
15
2.27
1986
On the parallel Risch Algorithm (II)
8
0.80
1985
An application of factoring
2
3.42
1985
A remark on factorisation
9
1.11
1985
P-adic reconstruction of rational numbers
46
5.24
1982
Anatomy of an integral
0
0.34
1979
1