Search results for: David J. Jeffrey
Mathematics in Computer Science > 2017 > 11 > 3-4 > 341-350
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to Calculemus 2007 > 116-127
Lecture Notes in Computer Science > Computer Algebra and Geometric Algebra with Applications > Computer Algebra and Applications > 31-43
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 234-246
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Contributed Papers and Poster Summaries > 115-126
Numerical Algorithms > 2011 > 56 > 1 > 93-106
Computers and Mathematics with Applications > 2010 > 59 > 1 > 247-253
Communications in Nonlinear Science and Numerical Simulation > 2009 > 14 > 12 > 4057-4064
Computer Physics Communications > 2009 > 180 > 11 > 2034-2040
Journal of Symbolic Computation > 2009 > 44 > 10 > 1487-1501
Computer Physics Communications > 2009 > 180 > 9 > 1429-1433
Computer Physics Communications > 2008 > 178 > 9 > 700-712
Frontiers of Computer Science > 2008 > 2 > 1 > 67-80
Applied Mathematics Letters > 2005 > 18 > 1 > 55-59
Annals of Mathematics and Artificial Intelligence > 2002 > 36 > 3 > 303-318