Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.
Journal of Symbolic Computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
Transforming a matrix over a field to echelon form, or decomposing the matrix as a product of structured matrices that reveal the…
2012
2012
We present a method for finding optimal controlled variables, which are polynomial combinations of measurements. Controlling…
2009
2009
In this paper we initiate a study on comparing artifact-centric workflow schemas, in terms of the ability of one schema to…
Review
2008
Review
2008
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical…
2008
2008
I discuss notations for some styles of mathematical reasoning that include analogy. These notations extend the conventions of the…
Highly Cited
2006
Highly Cited
2006
We show the following two universality statements on the entry-ranges and Markov bases of spaces of 3-way contingency tables with…
2006
2006
In addition to data storage and indexing systems, computational grids are used for solving computationally demanding tasks…
2005
2005
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical…
2002
2002
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
2001
2001
We define a semantic framework to reason about properties of abstractions of SLD-derivations. The framework allows us to address…