The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

International Symposium on Symbolic and Algebraic Computation (ISSAC) (issac)
1990 (conf/issac/90)

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