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)
1992 (conf/issac/92)

  1. Michael C. Dewar
    Using Computer Algebra to Select Numerical Algorithms. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:1-8 [Conf]
  2. Victor G. Ganzha, Evgenii V. Vorozhtsov, J. A. van Hulzen
    A New Symbolic-Numeric Approach to Stability Analysis of Difference Schemes. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:9-15 [Conf]
  3. Peter Kirrinnis
    Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational Functions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:16-26 [Conf]
  4. Grant O. Cook Jr.
    Code Generation in ALPAL Using Symbolic Techniques. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:27-35 [Conf]
  5. Keith O. Geddes, Gregory J. Fee
    Hybrid Symbolic-Numeric Integration in MAPLE. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:36-41 [Conf]
  6. Manuel Bronstein
    Linear Ordinary Differential Equations: Breaking Through the Order 2 Barrier. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:42-48 [Conf]
  7. Fritz Schwarz
    Reduction and Completion Algorithms for Partial Differential Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:49-56 [Conf]
  8. Michael F. Singer, Felix Ulmer
    Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:57-62 [Conf]
  9. Gregory J. Reid, Ian G. Lisle, A. Boulton, Allan D. Wittkopf
    Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:63-68 [Conf]
  10. M. Codutti
    NODES: Non Linear Ordinary Differential Equations Solver. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:69-79 [Conf]
  11. Mark F. Russo
    A Combined Symbolic/Numeric Approach for the Integration of Stiff Nonlinear Systems of ODE's. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:80-88 [Conf]
  12. P. E. Crouch, Robert L. Grossman
    The Explicit Computation of Integration Algorithms and First Integrals for Ordinary Differential Equations with Polynomial Coefficients Using Trees. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:89-94 [Conf]
  13. Honglin Ye, Robert M. Corless
    Solving Linear Integral Equations in Maple. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:95-102 [Conf]
  14. A. Burnel, Hubert Caprasse
    The Computation of 1-Loop Contributions in Y.M. Theories with Class III Nonrelativistic Gauges and REDUCE. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:103-107 [Conf]
  15. Daniel Richardson
    The Elementary Constant Problem. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:108-116 [Conf]
  16. Dima Grigoriev, Marek Karpinski, Andrew M. Odlyzko
    Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:117-122 [Conf]
  17. James H. Davenport
    Primality Testing Revisited. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:123-129 [Conf]
  18. Bruno Salvy, John Shackell
    Asymptotic Expansions of Functional Inverses. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:130-137 [Conf]
  19. Isabelle Gil
    Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language). [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:138-145 [Conf]
  20. Jürgen Weiss
    Homogeneous Decomposition of Polynomials. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:146-151 [Conf]
  21. Jaime Gutierrez, Tomás Recio
    A Practical Implementation of Two Rational Function Decomposition Algorithms. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:152-157 [Conf]
  22. Dinesh Manocha, John F. Canny
    Multipolynomial Resultants and Linear Algebra. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:158-167 [Conf]
  23. Paul S. Wang
    Parallel Univariate p-adic Lifting on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:168-176 [Conf]
  24. Hoon Hong
    Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:177-188 [Conf]
  25. George E. Collins, Werner Krandick
    An Efficient Algorithm for Infallible Polynomial Complex Root Isolation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:189-194 [Conf]
  26. Jeremy R. Johnson
    Real Algebraic Number Computation Using Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:195-205 [Conf]
  27. Renaud Rioboo
    Real Algebraic Closure of an Ordered Field: Implementation in Axiom. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:206-215 [Conf]
  28. Richard J. Fateman
    Honest Plotting, Global Extrema, and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:216-223 [Conf]
  29. Gene Cooperman, Larry Finkelstein
    A Fast Cyclic Base Change for Permutation Groups. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:224-232 [Conf]
  30. W. Lempken, R. Staszewski
    The Structure of the PIMs of SL(3, 4) in Characteristic 2. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:233-239 [Conf]
  31. Norbert Kuhn, Klaus Madlener, Friedrich Otto
    Computing Presentations for Subgroups of Context-Free Groups. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:240-250 [Conf]
  32. Gregory Butler
    Experimental Comparison of Algorithms for Sylow Subgroups. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:251-262 [Conf]
  33. François Morain
    Easy Numbers for the Elliptic Curve Primality Proving Algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:263-268 [Conf]
  34. Gilles Villard
    Parallel Lattice Basis Reduction. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:269-277 [Conf]
  35. Cetin Cetinkaya
    On Stability Analysis of Linear Stochastic and Time-Varying Deterministic Systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:278-283 [Conf]
  36. Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char
    An Approach for Floating-Point Error Analysis Using Computer Algebra. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:284-293 [Conf]
  37. Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank
    ADIFOR: Automatic Differentiation in a Source Translator Environment. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:294-302 [Conf]
  38. Francesco Marinuzzi, Stefano Soliani
    LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:303-311 [Conf]
  39. Jeffrey F. Painter
    The Matrix Editor for Symbolic Jacobians in ALPAL. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:312-319 [Conf]
  40. H. Michael Möller, Teo Mora, Carlo Traverso
    Gröbner Bases Computation Using Syzygies. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:320-328 [Conf]
  41. Volker Weispfenning
    Finite Gröbner Bases in Non-Noetherian Skew Polynomial Rings. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:329-334 [Conf]
  42. Xiao-Shan Gao, Shang-Ching Chou
    Solving Parametric Algebraic Systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:335-341 [Conf]
  43. Erich Kaltofen
    On Computing Determinants of Matrices without Divisions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:342-349 [Conf]
  44. Jarmo Hietarinta
    Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing Gröbner Basis Computations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:350-357 [Conf]
  45. Edmund A. Lamagna, Michael B. Hayden, Catherine W. Johnson
    The Design of a User Interface to a Computer Algebra System for Introductory Calculus. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:358-368 [Conf]
  46. Stéphane Dalmas
    A Polymorphic Functional Language Applied to Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:369-375 [Conf]
  47. Norbert Kajler
    CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:376-386 [Conf]
  48. Masayuki Noro, Taku Takeshima
    Risa/Asir - a Computer Algebra System. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:387-396 [Conf]
  49. Lars Viklund, Peter Fritzson
    An Object-Oriented Language for Symbolic Computation - Applied to Machine Element Analysis. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:397-405 [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