Skip to search formSkip to main contentSkip to account menu

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 (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
This paper describes an algorithm that can be used to effectively solve polynomial constraints over finite domains. Such… 
2012
2012
1 Introduction 31.1 Classes of Numbers . . . . . . . . . . . . . . . . . . . . . . . . . 31.1.1 Countable Sets of Numbers: N, Z… 
2010
2010
It is well known that formally defining and reasoning about languages with binding (such as logics and λ-calculii) is problematic… 
2008
2008
The discovery of invariants and ranking functions plays a central role in program verification. In our previous work, we… 
Highly Cited
2005
Highly Cited
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… 
1998
1998
We present a parallel implementation of Schonhage's integer GCD algorithm on distributed memory architectures. Results are… 
1996
1996
reduction: approximation: e; e! # e0 ej e0 C[e]; e nf-terminates C[e] j C[Te] context-skip: branching: f e1 : : : en; (f nf…