Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,217,192 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Automated theorem proving
Computational geometry
Computer algebra system
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
An S-type eigenvalue localization set for tensors
Chaoqian Li
,
Aiquan Jiao
,
Yaotang Li
2015
Corpus ID: 119156348
2014
2014
Symmetrized Summation Polynomials: Using Small Order Torsion Points to Speed Up Elliptic Curve Index Calculus
J. Faugère
,
Louise Huot
,
A. Joux
,
G. Renault
,
Vanessa Vitse
International Conference on the Theory and…
2014
Corpus ID: 14400935
Decomposition-based index calculus methods are currently efficient only for elliptic curves E defined over non-prime finite…
Expand
2013
2013
Recovering and Utilizing Partial Duality in QBF
Alexandra Goultiaeva
,
F. Bacchus
International Conference on Theory and…
2013
Corpus ID: 16929067
Quantified Boolean Formula (QBF) solvers that utilize non-CNF representations are able to reason dually about conflicts and…
Expand
Review
2008
Review
2008
A Survey of Statistical Approaches to Preserving Confidentiality of Contingency Table Entries
S. Fienberg
,
A. Slavkovic
Privacy-Preserving Data Mining
2008
Corpus ID: 726053
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical…
Expand
2008
2008
Functions and Polynomials over Finite Groups from the Computational Perspective
G. Horváth
2008
Corpus ID: 117010140
In the thesis we investigate the connections between arbitrary functions and their realizing polynomials over nite algebras. We…
Expand
Highly Cited
2005
Highly Cited
2005
Preserving the Confidentiality of Categorical Statistical Data Bases When Releasing Information for Association Rules*
S. Fienberg
,
A. Slavkovic
Data mining and knowledge discovery
2005
Corpus ID: 1360575
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
2001
2001
A Theory of Observables for Logic Programs
M. Comini
,
G. Levi
,
M. Meo
Information and Computation
2001
Corpus ID: 890071
We define a semantic framework to reason about properties of abstractions of SLD-derivations. The framework allows us to address…
Expand
1996
1996
Turchin's Supercompiler Revisited - An operational theory of positive information propagation
M. Sørensen
1996
Corpus ID: 115475047
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the…
Expand
1996
1996
Globalization and Employment
1996
Corpus ID: 15786771
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE