Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 31
Volume 31, Number 1, March 1997
- Siamack Bondari, Irvin Roy Hentzel:
The McCrimmon radical for identities of degree 3. 2-5 - S. I. Tertychniy, I. G. Obukhova:
GRGEC: computer algebra system for applications to gravity theory. 6-14 - Olaf Bachmann:
MPCR: an efficient and flexible chains of recurrences server. 15-21 - Gregory J. Fee, Michael B. Monagan:
Problems, puzzles, challenges. 22-23 - Emil J. Volcheck:
Technical report column. 24-25 - Cetin Cetinkaya:
Book Reviews. 26 - D. Dane Quinn:
Book Review: Topics in Nonlinear Dynamics with Computer Algebra by Richard H. Rand. 27-28
Volume 31, Number 2, June 1997
- Andreas Dolzmann, Thomas Sturm:
REDLOG: computer algebra meets computer logic. 2-9 - Horst Günter Zimmer:
Three examples of S-integral points of elliptic curves over Q. 10-21 - Emil J. Volcheck:
Technical Report Column. 22-31
Volume 31, Number 3, September 1997
- Tateaki Sasaki, Mutsuko K. Sasaki:
Polynomial remainder sequence and approximate GCD. 4-10 - George Nakos, Peter R. Turner, Robert M. Williams:
Fraction-free algorithms for linear and polynomial equations. 11-19 - Robert M. Corless, David J. Jeffrey:
The Turing factorization of a rectangular matrix. 20-30 - Mark J. Encarnación:
ISSAC '97 Poster Abstracts. 29-30 - Fujio Kako, Tateaki Sasaki:
Proposal of "effective floating-point number" for approximate algebraic computation. 31 - Tateaki Sasaki, Kousuke Shihara, Akira Terui
, Yuichi Ozaki, Fujio Kako:
Approximate algebraic computation: practice and problems. 32 - Scott McCallum:
Factors of iterated resultants and discriminants. 33-34 - Valerie Piehl, Jonathan Sorenson, Neil Tiedeman:
Genetic algorithms for the extended GCD problem (work in progress). 34-35 - Michio Sakakihara, Shigekazu Nakagawa:
Symbolic Newton method for two-parameter eigenvalue problem. 36 - Michio Sakakihara:
Iterative blow-up time approximation for initial value problems. 36 - Hiroshi Kai, Matu-Tarow Noda:
Cauchy principal value integral using hybrid integral. 37-38 - Arnold Knopfmacher:
Distinct degree factorizations for polynomials over a finite field. 38-39 - Mark Giesbrecht, Austin Lobo, David Saunders:
Certifying inconsistency of sparse linear systems. 40 - Mark Giesbrecht, David Saunders:
Parametric linear systems: the two parameter case. 40 - Yosuke Sato:
Set constraint solver - Gröbner bases for non-numerical domains. 41-42 - Kenny Hunt, James Cremer:
Refiner: a problem solving environment for ODE/DAE simulations. 42-43 - Vladimir P. Gerdt, Yuri A. Blinkov:
Minimal involutive bases. 44 - Neil Soiffer:
MathML: a proposal for representing mathematics in HTML. 44-45 - Andreas Sorgatz:
Dynamic modules: software integration in MuPAD. 45-47 - Christian Heckler, Oliver Kluge, Torsten Metzner, Andreas Sorgatz, Paul Zimmermann:
Parallelism in MuPAD. 48 - Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann:
SINGULAR-1.0: a computer algebra system for singularity theory, algebraic geometry and commutative algebra. 48-50 - Olaf Bachmann, Simon Gray:
A demonstration of exchanging mathematical expressions using MP. 50 - Matu-Tarow Noda:
Abstracts of Japanese Computer Algebra Meeting in Kyoto. 50-56 - Matu-Tarow Noda, Isao Makino, Toshiaki Saito:
Algebraic methods for computing a generalized inverse. 51-52 - Heinz Kredel, Michael Pesch:
MAS, the Modula-2 algebra system, version 1.00. 52-54 - Markus Maurer, Thomas Pfahler, Susanne Wetzel:
LiDIA - a library for computational number theory. 54-57 - Bruce W. Char, Thomas T. Hewett, Jeremy Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner:
Symbolic computation tools in scientific problem solving environments. 58 - V. Mitrofanov, Eugene V. Zima:
Standalone MCR-based numerical engine. 59-60 - Kohshi Okumura:
An application of Groebner bases to the classification of nonlinear circuits. 61
Volume 31, Number 4, December 1997
- Michael Trott:
Mathematica solutions to the ISSAC system challenge 1997. 2-35 - Philippe Flajolet, Bruno Salvy:
The SIGSAM challenges: symbolic asymptotics in practice. 36-47 - Gregory J. Fee, Michael B. Monagan:
Problems, puzzles, challenges. 48-49 - Emil J. Volcheck:
Technical report column. 50-53 - Gene Cooperman:
Abstracts of the 4th East Coast Computer Algebra Day, Northeastern University, Boston, MA, May 3, 1997. 54-59 - Richard J. Fateman:
Review of Gradshetyn and Ryzhik, CD-Rom version. 60-62
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
