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