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

Known as: J. Symbolic Computation 
The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic… 
Wikipedia

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… 
  • figure 1
  • figure 2
2012
2012
We present a method for finding optimal controlled variables, which are polynomial combinations of measurements. Controlling… 
  • table 1
  • table 2
  • figure 1
  • table 3
  • figure 2
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… 
  • table 12.1
  • table 12.2
  • table 12.3
  • table 12.4
  • table 12.5
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… 
  • figure 4.1
  • figure 5.2
  • figure 5.4
  • figure 5.6
  • figure 5.7
2005
2005
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical… 
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
2002
2002
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
2001
2001
We define a semantic framework to reason about properties of abstractions of SLD-derivations. The framework allows us to address…