Daniel Richardson

26 papers B 10C 2Journal 14
YearRankTypeTitle / Venue / Authors
2020 B conf
Relative deprivation and social identity in laboratory based riots: A model.
CogSci
James Allen, Guillaume Dezecache, Daniel Richardson
2007 J jnl
Parallel computation in spiking neural nets.
Theor. Comput. Sci.
Andrew Carnell, Daniel Richardson
2007 J jnl
Zero Tests for Constants in Simple Scientific Computation.
Math. Comput. Sci.
Daniel Richardson
2006 J jnl
Counterexamples to the uniformity conjecture.
Comput. Geom.
Daniel Richardson, Ahmed El-Sonbaty
2005 J jnl
Spiking neural nets with symbolic internal state.
Inf. Process. Lett.
Carl O'Dwyer, Daniel Richardson
2005 B conf
linear algebra for time series of spikes.
ESANN
Andrew Carnell, Daniel Richardson
2003 J jnl
Use of algebraically independent numbers for zero recognition of polynomial terms.
J. Complex.
Daniel Richardson, Ahmed El-Sonbaty
2002 B conf
Some observations on familiar numbers.
ISSAC
Daniel Richardson, Simon Langley
2002 C conf
What can we do with a Solution?
CCA
Simon Langley, Daniel Richardson
2000 C conf
The Uniformity Conjecture.
CCA
Daniel Richardson
1999 J jnl
Weak Wu Stratification in R
J. Symb. Comput.
Daniel Richardson
1997 J jnl
How to Recognize Zero.
J. Symb. Comput.
Daniel Richardson
1996 B conf
Asymptotic Expansions of exp-log Functions.
ISSAC
Daniel Richardson, Bruno Salvy, John Shackell, Joris van der Hoeven
1996 B conf
Solution of Elementary Systems of Equations in a Box in
ISSAC
Daniel Richardson
1995 B conf
A Simplified Method of Recognizing Zero Among Elementary Constants.
ISSAC
Daniel Richardson
1994 B conf
The Identity Problem for Elementary Functions and Constants.
ISSAC
Daniel Richardson, John P. Fitch
1993 B conf
A Zero Structure Theorem for Exponential Polynomials.
ISSAC
Daniel Richardson
1992 J jnl
Computing the Topology of a Bounded Non-Algebraic Curve in the Plane.
J. Symb. Comput.
Daniel Richardson
1992 B conf
The Elementary Constant Problem.
ISSAC
Daniel Richardson
1991 B conf
Towards Computing Non Algebraic Cylindrical Decompositions.
ISSAC
Daniel Richardson
1991 J jnl
Wu's Method and the Khovanskii Finiteness Theorem.
J. Symb. Comput.
Daniel Richardson
1988 J jnl
Non Standard Models of the Theory of Elementary Functions of a Real Variable.
Math. Log. Q.
Daniel Richardson
1976 J jnl
Continuous Self-Reproduction.
J. Comput. Syst. Sci.
Daniel Richardson
1974 J jnl
Sets of Theorems with Short Proofs.
J. Symb. Log.
Daniel Richardson
1972 J jnl
Tessellations with Local Transformations.
J. Comput. Syst. Sci.
Daniel Richardson
1968 J jnl
Some Undecidable Problems Involving Elementary Functions of a Real Variable.
J. Symb. Log.
Daniel Richardson