Skip to search formSkip to main contentSkip to account menu

SIGSAM

SIGSAM is the ACM Special Interest Group on Symbolic and Algebraic Manipulation. It publishes the ACM Communications in Computer Algebra and often… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
(CAMbridge ALgebra system)ISSACResearch Institute for Symbolic ComputationSymbolic Manipulation Program

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
THE BRING-JERRARD QUINTIC EQUATION, ITS SOLUTIONS AND A FORMULA FOR THE UNIVERSAL GRAVITATIONAL CONSTANT
In this research the Bring-Jerrard quintic polynomial equation is investigated for a formula. Firstly, an explanation given as to… 
2009
2009
Variant Narrowing and Extreme Termination
For narrowing with a set of rules ∆ modulo a set of axioms B almost nothing is known about terminating narrowing strategies, and… 
2008
2008
Program Verification by Reduction to Semi-algebraic Systems Solving
The discovery of invariants and ranking functions plays a central role in program verification. In our previous work, we… 
2004
2004
On the Expressive Power of Extended Process Rewrite Systems
We provide a unified view on three extensions of Process rewrite systems (PRS) and compare their and PRS's expressive power. We… 
1986
1986
Reconfigurable, retargetable bignums: a case study in efficient, portable Lisp system building
In the paper, use of names like '-F&' and '*&' will imply these semantics, and furthermore, the Lucid Common Lisp compiler ought… 
1977
1977
A solution to Kahan's problem (SIGSAM problem no. 9)
The problem was ([Kah75]) :Let the variables a,b,c,d (which are supposed to take real values) be interpreted as the center (c,d… 
1976
1976
Univariate power series expansions in algebraic manipulation
In this paper we present a complete algorithm for the determination of univariate power series expansions of meromorphic… 
Review
1976
Review
1976
SIGSAM (Tutorial Session)
This is the second in a series of two tutorial sessions featuring letures from the 1975-76 SIGSAM Lecture Program. Prof. Lipson's… 
1976
1976
A solution to SIGSAM problem #8
In SIGSAM Problem # 8, [1], is asked for a part of the power series expansion of[EQUATION]The presented solution, based on… 
1975
1975
Solution to SIGSAM problem no. 5 using schoonschip
The formulation of SIGSAM problem No. 5, "Construction of high-order Runge-Kutta-Nyström formulae" is given by Campbell). We… 
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)