default search action
ISSAC 1990: Tokyo, Japan
- Shunro Watanabe, Morio Nagata:
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990. ACM 1990, ISBN 0-201-54892-5 - Karl Aberer:
Normal Forms in Function Fields. 1-7 - Norbert Kuhn, Klaus Madlener, Friedrich Otto:
A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem. 8-15 - Marta Franová:
PRECOMAS an Implementation of Constructive Matching Methodology. 16-23 - Domenico Cantone, Vincenzo Cutello:
A Decidable Fragment of the Elementary Theory of Relations and Some Applications. 24-29 - Matthias Baaz, Alexander Leitsch:
A Strong Problem Reduction Method Based on Function Introduction. 30-37 - Zbigniew Stachniak:
Resolution Proof Systems with Weak Transformation Rules. 38-43 - Susumu Yamasaki
:
Dataflow for Logic Program as Substitution Manipulator. 44-51 - Neil V. Murray, Erik Rosenthal:
Reexamining Intractability of Tableau Methods. 52-59 - Richard J. Fateman:
Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. 60-67 - Alexander A. Letichevsky, Julia V. Kapitonova:
Algebraic Programming in the APS System. 68-75 - John P. Fitch:
A Delivery System for REDUCE. 76-81 - Julian A. Padget
Univariate Power Series Expansions in REDUCE. 82-87 - Y. Doleh, Paul S. Wang:
SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. 88-95 - Bruce W. Char:
Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. 96-103 - Dima Grigoriev:
How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set. 104-105 - Kioshi Shirayanagi:
On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. 106-111 - K. Gatemann:
Symbolic Solution Polynomial Equation Systems with Symmetry. 112-119 - Bhubaneswar Mishra, Paul Pedersen:
Arithmetic with Real Algebraic Numbers is in NC. 120-126 - Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
On Determining the Solvability of Polynomials. 127-134 - Erich L. Kaltofen
Modular Rational Sparse Multivariate Polynomial Interpolation. 135-139 - Joachim von zur Gathen:
Polynomials over Finite Fields with Large Images. 140-144 - Paul S. Wang:
Parallel Univariate Polynomial Factorization on Shared-Memory Multiprocessors. 145-151 - Nobuki Takayama:
Gröbner Basis, Integration and Transcendental Functions. 152-156 - Gregory J. Fee:
Computation of Catalan's Constant Using Ramanujan's Formula. 157-160 - Gene Cooperman, Larry Finkelstein, N. Sarawagi:
A Random Base Change Algorithm for Permutation Groups. 161-168 - Richard Liska, L. Drsda:
FIDE: a REDUCE package for automation of FInite difference method for solving pDE. 169-176 - S. I. Mazurik, Evgenii V. Vorozhtsov:
Symbolic-Numerical Computations in the Stability Analyses of Difference Schemes. 177-184 - Victor G. Ganzha, Mikhail Yu. Shashkov:
Local Approximation Study of Difference Operators by Means of REDUCE System. 185-192 - K. Okubo:
Global Theory of Ordinary Differential Equations and Formula Manipulation. 193-200 - A. C. Norman:
A Critical-Pair/Completion Based Integration Algorithm. 201-205 - Nobuki Takayama:
An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Gröbner Basis. 206-211 - Victor Adamchik, O. I. Marichev:
The Algorithm for Calculating Integrals of Hypergeometric Type Functions and Its Realization in REDUCE System. 212-224 - Dima Grigoriev:
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations. 225-230 - Guoting Chen:
An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point. 231-235 - Felix Ulmer, Jacques Calmet:
On Liouvillian Solutions of Homogeneous Linear Differential Equations. 236-243 - Mitsuhiko Kohno:
Reduction Problems in the Theory of Differential Equations. 244-249 - Vladimir P. Gerdt, A. Yu. Zharkov:
Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems. 250-254 - Shang-Ching Chou:
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. 255-260 - Hoon Hong:
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. 261-264 - Shang-Ching Chou, Xiao-Shan Gao:
Methods for Mechanical Geometry Formula Deriving. 265-270 - Dinesh Manocha:
Regular Curves and Proper Parametrizations. 271-276 - Deepak Kapur, H. K. Wan:
Refutational Proofs of Geometry Theorems via Characteristic Set Computation. 277-284 - Ferroudj Cherief:
An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract). 285 - Robert Glück, Valentin F. Turchin:
Application of Metasystem Transition to Function Inversion and Transformation. 286-287 - Mounira Belmesk:
An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). 288 - Philippe Codognet:
Equations, Disequations and Unsolvable Subsets (abstract). 289 - C. Faure:
A Meta Simplifier. 290 - S. V. Kolyada:
Systems for Symbolic Computations in Boolean Algebra. 291 - Trevor J. Smedley:
Detecting Algebraic Dependencies Between Unnested Radicals (abstract). 292-293 - Dario Bini, Victor Y. Pan:
Parallel Polynomial Computations by Recursive Processes. 294 - Michael Kalkbrener:
Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences. 295 - Russell J. Bradford:
A Parallelization of the Buchberger Algorithm. 296 - Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract). 297 - Juan Llovet, J. Rafael Sendra:
A Modular Approach to the Computation of the Number of Real Roots. 298 - Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov:
Solving Algebraic Systems which Arise as Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Equations. 299 - Zhuo-jun Liu:
An Algorithm for Finding all Isolated Zeros of Polynomial Systems. 300 - Victor G. Ganzha, Sergey V. Meleshko
Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s. 301 - Tony C. Scott, Gregory J. Fee:
Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems. 302-303 - M. T. Noda, E. Miyahiro:
On the Symbolic/Numeric Hybrid Integration. 304 - H. Q. Tan, X. Dong:
Optimization Techniques for Symbolic Equation Solver in Engineering Applications. 305 - Q.-S. Tao:
Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature. 306 - Guoting Chen, I. Gil:
The Implementation of an Algorithm in Macsyma: Computing the Formal Solutions of Differential Systems in the Neighborhood of Regular Singular Point. 307
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-12-17 20:46 CET 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: