• 554 Citations
  • 11 h-Index
1982 …2019
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Polynomials Engineering & Materials Science
Decomposition Engineering & Materials Science
Decompose Mathematics
Polynomial Mathematics
Adjacency Mathematics
Quantifier Elimination Mathematics
Greatest common divisor of polynomials Mathematics
Truth table Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2006 2013

Research Output 1982 2019

  • 554 Citations
  • 11 h-Index
  • 16 Article
  • 14 Conference proceeding contribution
  • 1 Other report

Motion-keying based dynamical scene layering with adaptive learning

Liu, Z., Kavakli-Thorne, M., McCallum, S. & Hamey, L., 18 Feb 2017, ICCAE 2017 : Proceedings of 2017 9th International Conference on Computer and Automation Engineering. Association for Computing Machinery, Vol. Part F127852. p. 111-115 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Stadiums
Consumer electronics

Validity proof of Lazard's method for CAD construction

McCallum, S., Parusiński, A. & Paunescu, L., 27 Dec 2017, In : Journal of Symbolic Computation. 92, May-June, p. 52-69 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Polynomials
Decomposition
Decompose
Valuation
Projection

On using Lazard's projection in CAD construction

McCallum, S. & Hong, H., 1 Jan 2016, In : Journal of Symbolic Computation. 72, p. 65-81 17 p.

Research output: Contribution to journalArticleResearchpeer-review

Projection
Decomposition
Decompose
Valuation
Puiseux Series

Truth table invariant cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 1 Sep 2016, In : Journal of Symbolic Computation. 76, p. 1-35 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Truth table
Projection Operator
Decomposition
Decompose
Invariant

Cylindrical algebraic decompositions for boolean combinations

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC 2013 - Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. Kauers, M. (ed.). New York: Association for Computing Machinery, p. 125-132 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Truth table
Decompose
Polynomial
Invariant
Quantifiers