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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

This paper describes an algorithm that can be used to effectively solve polynomial constraints over finite domains. Such…

2014

2012

1 Introduction 31.1 Classes of Numbers . . . . . . . . . . . . . . . . . . . . . . . . . 31.1.1 Countable Sets of Numbers: N, Z…

2010

It is well known that formally defining and reasoning about languages with binding (such as logics and λ-calculii) is problematic…

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

Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…

1998

We present a parallel implementation of Schonhage's integer GCD algorithm on distributed memory architectures. Results are…

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…

1993