The SCEAS System
Navigation Menu

Conferences in DBLP

International Symposium on Symbolic and Algebraic Computation (ISSAC) (issac)
1993 (conf/issac/93)

  1. Alexey Zharkov
    On Algebraic Solutions of First Order Riccatti Equation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:1-3 [Conf]
  2. Marius van der Put, Peter A. Hendriks
    A Rationality Result for Kovacic's Algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:4-8 [Conf]
  3. Victor G. Ganzha, Evgenii V. Vorozhtsov
    A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:9-13 [Conf]
  4. Victor F. Edneral
    Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:14-19 [Conf]
  5. Sergei A. Abramov
    On d'Alembert Substitution. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:20-26 [Conf]
  6. Marko Petkovsek, Bruno Salvy
    Finding all Hypergeometric Solutions of Linear Differential Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:27-33 [Conf]
  7. David J. Jeffrey
    Integration to Obtain Expressions Valid on Domains of Maximum Extent. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:34-41 [Conf]
  8. Eugene V. Zima
    Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:42-46 [Conf]
  9. George E. Collins, Werner Krandick
    A Hybrid Method for High Precision Calculation of Polynomial Real Roots. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:47-52 [Conf]
  10. D. M. Klimov, V. M. Rudenko, V. V. Leonov
    Symbolic Evaluation in the Nonlinear Mechanical Systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:53-54 [Conf]
  11. Alexander B. Godlevsky, Anatoly E. Doroshenko
    Parallelizing Programs with APs. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:55-62 [Conf]
  12. S. A. Gutnik
    Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:63-64 [Conf]
  13. Ivan I. Shevchenko, Andrej G. Sokolsky
    Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:65-67 [Conf]
  14. Michael B. Monagan, Walter M. Neuenschwander
    GRADIENT: Algorithmic Differentiation in Maple. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:68-76 [Conf]
  15. Philip S. Santas
    A Type System for Computer Algebra (abstract). [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:77- [Conf]
  16. Jinzhao Wu, Lian Li
    The Regular Problem and Green Equivalences for Special Monoids. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:78-85 [Conf]
  17. László Babai, Katalin Friedl, Markus Stricker
    Decomposition of *-closed Algebras in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:86-94 [Conf]
  18. Hongzhong Wu
    On the Assignment Complexity of Uniform Trees. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:95-104 [Conf]
  19. Domenico Cantone, Vincenzo Cutello
    Decision Procedures for Stratified Set-Theoretic Syllogistics. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:105-110 [Conf]
  20. Tudor Jebelean
    A Generalization of the Binary GCD Algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:111-116 [Conf]
  21. László Babai, Robert Beals, Daniel N. Rockmore
    Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:117-126 [Conf]
  22. Robert Beals
    An Elementary Algorithm for Computing the Composition Factors of a Permutation Group. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:127-134 [Conf]
  23. Marie-Françoise Roy
    Aspect Graphs of Algebraic Surfaces. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:135-143 [Conf]
  24. Daniel Richardson
    A Zero Structure Theorem for Exponential Polynomials. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:144-151 [Conf]
  25. Sergei A. Abramov, K. Yu. Kvashenko
    On the Greatest Common Divisor of Polynomials which Depend on a Parameter. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:152-156 [Conf]
  26. Manuel Bronstein, Bruno Salvy
    Full Partial Fraction Decomposition of Rational Functions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:157-160 [Conf]
  27. Michael Kalkbrener
    An Upper Bound on the Number of Monomials in the Sylvester Resultant. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:161-163 [Conf]
  28. Emil Volcheck
    Noether's S-Transformation Simplifies Curve Singularities Rationally: A Local Analysis. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:164-172 [Conf]
  29. Bernard Mourrain
    The 40 ``generic'' Positions of a Parallel Robot. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:173-182 [Conf]
  30. Ioannis Z. Emiris, John F. Canny
    A Practical Method for the Sparse Resultant. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:183-192 [Conf]
  31. Dario Bini, Victor Y. Pan
    Parallel Computations with Toeplitz-like and Hankel-like Matrices. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:193-200 [Conf]
  32. J. Rafael Sendra, Juan Llovet
    Efficient Algorithms for Hankel Matrices over Z[x1, ..., xr]. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:201-208 [Conf]
  33. Gilles Villard
    Computation of the Smith Normal Form of Polynomial Matrices. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:209-217 [Conf]
  34. Kazuhiro Yokoyama, Taku Takeshima
    On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:218-224 [Conf]
  35. L. Vallier
    An Algorithm for the Computation of Normal Forms and Invariant Manifolds. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:225-233 [Conf]
  36. John Shackell
    Nested Expansions and Hardy Fields. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:234-238 [Conf]
  37. Dominik Gruntz
    A New Algorithm for Computing Asymptotic Series. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:239-244 [Conf]
  38. Volker Weispfenning
    Differential Term-Orders. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:245-253 [Conf]
  39. Klaus Madlener, Birgit Reinert
    Computing Gröbner Bases in Monoid and Group Rings. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:254-263 [Conf]
  40. Hoon Hong
    Quantifier Elimination for Formulas Constrained by Quadratic Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:264-274 [Conf]
  41. Massimo Caboara
    A Dynamic Algorithm for Gröbner Basis Computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:275-283 [Conf]
  42. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
    Automated Geometry Theorem Proving by Vector Calculation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:284-291 [Conf]
  43. Dongdai Lin, Zhuojun Liu
    Some Results on Theorem Proving in Geometry over Finite Fields. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:292-300 [Conf]
  44. Sabine Stifter
    Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:301-310 [Conf]
  45. G. Keady, M. G. Richardson
    An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks.. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:311-320 [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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002