| | International Conference on Symbolic and Algebraic Computation archiveProceedings of the international symposium on Symbolic and algebraic computation citation1990, Tokyo, Japan August 20 - 24, 1990 | |
| Table of Contents | |
| | Normal forms in function fields
K. Aberer
Pages: 1 - 7
Full text available:  Pdf(575 KB) | |
| | A test for λ-confluence for certain prefix rewriting systems with applications to the generalized word problem
N. Kuhn, K. Madlener, F. Otto
Pages: 8 - 15
Full text available: Pdf(804 KB) | |
| | PRECOMAS an implementation of constructive matching methodology
M. Franová
Pages: 16 - 23
Full text available: Pdf(938 KB) | |
| | A decidable fragment of the elementary theory of relations and some applications
D. Cantone, V. Cutello
Pages: 24 - 29
Full text available: Pdf(666 KB) | |
| | A strong problem reduction method based on function introduction
M. Baaz, A. Leitsh
Pages: 30 - 37
Full text available: Pdf(623 KB) | |
| | Resolution proof systems with weak transformation rules
Z. Stachniak
Pages: 38 - 43
Full text available: Pdf(667 KB) | |
| | Dataflow for logic program as substitution manipulator
S. Yamasaki
Pages: 44 - 51
Full text available: Pdf(658 KB) | |
| | Reexamining intractability of tableau methods
N. V. Murray, E. Rosenthal
Pages: 52 - 59
Full text available: Pdf(844 KB) | |
| | Advances and trends in the design and construction of algebraic manipulation systems
R. J. Fateman
Pages: 60 - 67
Full text available: Pdf(984 KB) | |
| | Algebraic programming in the APS system
A. A. Letichevsky, J. V. Kapitonova
Pages: 68 - 75
Full text available: Pdf(795 KB) | |
| | A delivery system for REDUCE
J. Fitch
Pages: 76 - 81
Full text available: Pdf(724 KB) | |
| | Univariate power series expansions in REDUCE
J. Padget, A. Barnes
Pages: 82 - 87
Full text available: Pdf(660 KB) | |
| | SUI: a system independent user interface for an integrated scientific computing environment
Y. Doleh, P. S. Wang
Pages: 88 - 95
Full text available: Pdf(814 KB) | |
| | Progress report on a system for general-purpose parallel symbolic algebraic computation
B. W. Char
Pages: 96 - 103
Full text available: Pdf(758 KB) | |
| | How to test in subexponential time whether two points can be connected by a curve in a semialgebraic set
D. Y. Grigoriev
Pages: 104 - 105
Full text available: Pdf(208 KB) | |
| | On the isomorphism problem for finite-dimensional binomial algebras
K. Shirayanagi
Pages: 106 - 111
Full text available: Pdf(601 KB) | |
| | Symbolic solution polynomial equation systems with symmetry
K. Gatemann
Pages: 112 - 119 | |
| | Arithmetic with real algebraic numbers is in NC
B. Mishra, P. Pedersen
Pages: 120 - 126
Full text available: Pdf(684 KB) | |
| | On determining the solvability of polynomials
K. Yokoyama, M. Noro, T. Takeshima
Pages: 127 - 134
Full text available: Pdf(798 KB) | |
| | Modular rational sparse multivariate polynomial interpolation
E. Kaltofen, Y. N. Lakshman, J.-M. Wiley
Pages: 135 - 139
Full text available: Pdf(447 KB) | |
| | Polynomials over finite fields with large images
J. von zur Gathen
Pages: 140 - 144 | |
| | Parallel univariate polynomial factorization on shared-memory multiprocessors
P. S. Wang
Pages: 145 - 151
Full text available: Pdf(843 KB) | |
| | Gröbner basis, integration and transcendental functions
N. Takayama
Pages: 152 - 156
Full text available: Pdf(399 KB) | |
| | Computation of Catalan's constant using Ramanujan's formula
G. J. Fee
Pages: 157 - 160
Full text available: Pdf(302 KB) | |
| | A random base change algorithm for permutation groups
G. Cooperman, L. Finkelstein, N. Sarawagi
Pages: 161 - 168
Full text available: Pdf(939 KB) | |
| | FIDE: a REDUCE package for automation of FInite difference method for solving pDE
R. Liska, L. Drsda
Pages: 169 - 176
Full text available: Pdf(760 KB) | |
| | Symbolic—numerical computations in the stability analyses of difference schemes
S. I. Mazurik, E. V. Vorozhtsov
Pages: 177 - 184
Full text available: Pdf(580 KB) | |
| | Local approximation study of difference operators by means of REDUCE system
V. G. Ganzha, M. Y. Shashkov
Pages: 185 - 192
Full text available: Pdf(457 KB) | |
| | Global theory of ordinary differential equations and formula manipulation
K. Okubo
Pages: 193 - 200
Full text available: Pdf(623 KB) | |
| | A Critical-pair/completion based integration algorithm
A. C. Norman
Pages: 201 - 205
Full text available: Pdf(637 KB) | |
| | An algorithm of constructing the integral of a module—an infinite dimensional analog of Gröbner basis
N. Takayama
Pages: 206 - 211
Full text available: Pdf(359 KB) | |
| | The algorithm for calculating integrals of hypergeometric type functions and its realization in REDUCE system
V. S. Adamchik, O. I. Marichev
Pages: 212 - 224
Full text available: Pdf(827 KB) | |
| | Complexity of irreducibility testing for a system of linear ordinary differential equations
D. Y. Grigoriev
Pages: 225 - 230
Full text available: Pdf(568 KB) | |
| | An algorithm for computing the formal solutions of differential systems in the neighborhood of an irregular singular point
G. Chen
Pages: 231 - 235
Full text available: Pdf(469 KB) | |
| | On Liouvillian solutions of homogeneous linear differential equations
F. Ulmer, J. Calmet
Pages: 236 - 243
Full text available: Pdf(659 KB) | |
| | Reduction problems in the theory of differential equations
M. Kohno
Pages: 244 - 249
Full text available: Pdf(482 KB) | |
| | Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems
V. P. Gerdt, A. Y. Zharkov
Pages: 250 - 254
Full text available: Pdf(452 KB) | |
| | Automated reasoning in geometries using the characteristic set method and Gröbner basis method
S-C. Chou
Pages: 255 - 260
Full text available: Pdf(791 KB) | |
| | An improvement of the projection operator in cylindrical algebraic decomposition
H. Hong
Pages: 261 - 264
Full text available: Pdf(416 KB) | |
| | Methods for mechanical geometry formula deriving
S-C. Chou, X-S. Gao
Pages: 265 - 270
Full text available: Pdf(677 KB) | |
| | Regular curves and proper parametrizations
D. Manocha
Pages: 271 - 276
Full text available: Pdf(640 KB) | |
| | Refutational proofs of geometry theorems via characteristic set computation
D. Kapur, H. K. Wan
Pages: 277 - 284
Full text available: Pdf(862 KB) | |
| | An algebraic model for the parallel interpretation of equationally defined functions (abstract)
F. Cherief
Page: 285
Full text available: Pdf(94 KB) | |
| | Application of metasystem transition to function inversion and transformation
R. Glueck, V. F. Turchin
Pages: 286 - 287
Full text available: Pdf(231 KB) | |
| | An execution model for exploiting and-or parallelism in logic programs (abstract)
M. Belmesk
Page: 288
Full text available: Pdf(102 KB) | |
| | Equations, disequations and unsolvable subsets (abstract)
P. Codognet
Page: 289
Full text available: Pdf(117 KB) | |
| | A Meta simplifier
C. Faure
Page: 290
Full text available: Pdf(110 KB) | |
| | Systems for symbolic computations in boolean algebra
S. V. Kolyada
Page: 291
Full text available: Pdf(80 KB) | |
| | Detecting algebraic dependencies between unnested radicals (extended abstract)
T. J. Smedley
Pages: 292 - 293
Full text available: Pdf(184 KB) | |
| | Parallel polynomial computations by recursive processes
D. Bini, V. Pan
Page: 294
Full text available: Pdf(74 KB) | |
| | Solving systems of bivariate algebraic equations by using primitive polynomial remainder sequences
M. Kalkbrener
Page: 295
Full text available: Pdf(88 KB) | |
| | A parallelization of the Buchberger algorithm
R. Bradford
Page: 296
Full text available: Pdf(93 KB) | |
| | On factoring multi-variate polynomials over algebraically closed fields (abstract)
K. Yokoyama, M. Noro, T. Takeshima
Page: 297
Full text available: Pdf(79 KB) | |
| | A modular approach to the computation of the number of real roots
J. Llovet, J. R. Sendra
Page: 298
Full text available: Pdf(99 KB) | |
| | Solving algebraic systems which arise as necessary integrability conditions for polynomial-nonlinear evolution equations
V. P. Gerdt, N. V. Khutornoy, A. Y. Zharkov
Page: 299
Full text available: Pdf(99 KB) | |
| | An algorithm for finding all isolated zeros of polynomial systems
Z-J. Liu
Page: 300
Full text available: Pdf(85 KB) | |
| | Application of REDUCE system for analyzing consistency of systems of P.D.E.'s
V. G. Ganzha, S. V. Meleshko, V. P. Shelest
Page: 301
Full text available: Pdf(74 KB) | |
| | Some applications of Maple symbolic computation to scientific and engineering problems
T. C. Scott, G. J. Fee
Pages: 302 - 303
Full text available: Pdf(209 KB) | |
| | On the symbolic/numeric hybrid integration
M. T. Noda, E. Miyahiro
Page: 304
Full text available: Pdf(112 KB) | |
| | Optimization techniques for symbolic equation solver in engineering applications
H. Q. Tan, X. Dong
Page: 305
Full text available: Pdf(84 KB) | |
| | Symbolic and algebraic manipulation for formulae of interpolation and quadrature
Q.-S. Tao
Page: 306
Full text available: Pdf(80 KB) | |
| | The implementation of an algorithm in Macsyma: computing the formal solutions of differential systems in the neighborhood of regular singular point
G. Chen, I. Gil
Page: 307 | |
QuickTime
Windows Media Player
Real Player