Follow
John Abbott
John Abbott
Ricercatore di Algebra, Universita` di Genova
Verified email at dima.unige.it
Title
Cited by
Cited by
Year
Understanding and managing the unknown: The nature of uncertainty in planning
J Abbott
Journal of Planning Education and Research 24 (3), 237-251, 2005
2602005
CoCoA-5: a system for doing Computations in Commutative Algebra
J Abbott, AM Bigatti, L Robbiano
1822019
Computing ideals of points
J Abbott, A Bigatti, M Kreuzer, L Robbiano
Journal of Symbolic Computation 30 (4), 341-356, 2000
1192000
Fast deterministic computation of determinants of dense matrices
J Abbott, M Bronstein, T Mulders
Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999
921999
Objectives of openmath
J Abbott, A Van Leeuwen, A Strotman
Journal of Symbolic Computation 11 (1), 1-17, 1995
76*1995
CoCoALib: a C++ library for doing Computations in Commutative Algebra
J Abbott, AM Bigatti
742019
Planning for complex metropolitan regions: a better future or a more certain one?
J Abbott
Journal of Planning Education and Research 28 (4), 503-517, 2009
682009
Quadratic interval refinement for real roots
J Abbott
ACM communications in computer algebra 48 (1/2), 3-12, 2014
532014
Stable border bases for ideals of points
J Abbott, C Fassino, ML Torrente
Journal of symbolic computation 43 (12), 883-894, 2008
502008
Objectives of openmath
J Abbott, A Van Leeuwen, A Strotman
Journal of Symbolic Computation 11 (1), 1-17, 1995
481995
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
412016
Collaborative governance and metropolitan planning in South East Queensland-1990 To 2010: From a voluntary to a statutory model
J Abbott
UTSeScholarship, UTS Library, 2012
402012
Computing zero-dimensional schemes
J Abbott, M Kreuzer, L Robbiano
Journal of Symbolic Computation 39 (1), 31-49, 2005
402005
A report on OpenMath: a protocol for the exchange of mathematical information
J Abbott, A Diaz, RS Sutor
ACM SIGSAM Bulletin 30 (1), 21-24, 1996
381996
A partnership approach to regional planning in South East Queensland: Ten years of SEQ 2001
J Abbott
Australian Planner 38 (3-4), 114-120, 2001
282001
The Bath algebraic number package
JA Abbott, RJ Bradford, JH Davenport
Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986
281986
Planning as managing uncertainty: Making the 1996 livable region strategic plan for greater Vancouver
J Abbott
Planning Practice & Research 27 (5), 571-593, 2012
272012
Factorization in Z [x] the searching phase
J Abbott, V Shoup, P Zimmermann
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
272000
Factorization in Z [x] the searching phase
J Abbott, V Shoup, P Zimmermann
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
272000
Texts and Monographs in Symbolic Computation
R Corless, H Hong, T Ida, M Kreuzer
262009
The system can't perform the operation now. Try again later.
Articles 1–20