David J. Wilson
发表
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
pdf
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ICMS.
James H. Davenport,
Russell J. Bradford,
David J. Wilson,
2013,
ACCA.
Kirk L. Johnson,
David J. Wilson,
Bruce A. Hoo,
2007
.
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
pdf
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2014,
CICM.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
ISSAC '13.
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
pdf
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ICMS.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CICM.
David J. Wilson,
D. Wilson,
2014
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
David J. Wilson,
2011
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2012,
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CASC.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2018,
Mathematics in Computer Science.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ACCA.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2015,
ACCA.
David J. Wilson,
Parikhit Sinha,
C. J. Kriegner,
2008
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
Math. Comput. Sci..
Matthew England,
David J. Wilson,
2015,
ArXiv.
James H. Davenport,
Russell J. Bradford,
David J. Wilson,
2012,
AISC/MKM/Calculemus.
David J. Wilson,
Ynte H Schukken,
Y. Schukken,
2003,
Veterinary research.
David J. Wilson,
1995
.
David J. Wilson,
P. Herer,
P. Sears,
1991
.
David J. Wilson,
K. Rood,
J. Britten,
2021,
Animals : an open access journal from MDPI.
David J. Wilson,
B. Mallard,
Y. Schukken,
2007,
Clinical and Vaccine Immunology.
David J. Wilson,
R. Gonzalez,
D. Wilson,
2003,
The Veterinary clinics of North America. Food animal practice.
David J. Wilson,
L. McFarlane,
D. Wilson,
2012
.
David J. Wilson,
P. Sears,
1992
.
David J. Wilson,
P. Sears,
C. Rossiter,
1995
.
David J. Wilson,
D. Wilson,
1990
.