default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd Computers and Mathematics 1989: Cambridge, MA, USA
- Erich L. Kaltofen, Stephen M. Watt:
Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989. Springer 1989, ISBN 978-0-387-97019-6 - Deepak Kapur, Klaus Madlener:
A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra. 1-11 - Dominic Y. Savio, Edmund A. Lamagna, Shing-Min Liu:
Summation of Harmonic Numbers. 12-20 - Nicholas Strauss:
Algorithm and Implementation for Computation of Jordan Form over A[x 1, ..., x m ]. 21-26 - Gene Cooperman, Larry Finkelstein, Paul Walton Purdom Jr.:
Fast Group Membership Using a Strong Generating Test for Permutation Groups. 27-36 - Michael R. Fellows, Nancy G. Kinnersley, Michael A. Langston:
Finite-Basis Theorems and a Computation-Integrated Approach to Obstruction Set Isolation. 37-45 - André Galligo, Carlo Traverso:
Practical Determination of the Dimension of an Algebraic Variety. 46-52 - Martin Hildebrand, Jeffrey R. Weeks:
A Computer Generated Census of Cusped Hyperbolic 3-Manifolds. 53-59 - Paulo Viana:
Classicality of Trigonal Curves of Genus Five. 60-65 - Abramo Hefez, Anders Thorup:
Symmetric Matrices with Alternating Blocks. 66-72 - D. Leites, G. Post:
Cohomology to Compute. 73-81 - Hale F. Trotter:
Use of symbolic methods in analyzing an integral operator. 82-90 - Dongming Wang:
Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type. 91-99 - Peter J. Costa, Ruth Hampton Westlake:
An Example of Computer Enhanced Analysis. 100-108 - Emilio Freire, Estanislao Gamero, Enrique Ponce:
An Algorithm for Symbolic Computation of Hopf Bifurcation. 109-118 - Victor G. Ganzha, Richard Liska:
Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemes. 119-129 - Takis Sakkalis:
Signs of Algebraic Numbers. 130-134 - Neil W. Rickert:
Efficient Reduction of Quadratic Forms. 135-139 - François Bergeron:
A Story About Computing with Roots of Unity. 140-144 - Alkiviadis G. Akritas:
Exact Algorithms for the Matrix-Triangularization Subresultant PRS Method. 145-155 - Daniel Rockrmore:
Computation of Fourier Transforms on the Symmetric Group. 156-165 - Jamil Baddoura:
Integration in Finite Terms and Simplification with Dilogarithms: A Progress Report. 166-171 - H. James Hoover:
Why Integration is Hard. 172-181 - Michael F. Singer:
Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients. 182-191 - Keith O. Geddes, Tony C. Scott
:
Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms. 192-201 - Michael J. Beeson:
Logic and Computation in MATHPERT: An Expert System for Learning Mathematics. 202-214 - Tryg A. Ager, R. A. Ravaglia, Sam Dooley:
Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring. 215-227 - Craig Graci, Jack Narayan, Randy Odendahl:
Bunny Numerics. 228-239 - Wallace Feurzeig, Paul Horwitz, Albert Boulanger:
Advanced Mathematics from an Elementary Viewpoint: Chaos, Fractal Geometry, and Nonlinear Systems. 240-249 - Edward R. Vrscay, Christopher J. Roehrig:
Iterated Function Systems and the Inverse Problem of Fractal Construction Using Moments. 250-259 - John K. Johnstone:
Working with ruled surfaces in solid modeling. 260-268 - Harry S. D. Mills, Micheal H. Vernon:
Using MACSyma to Calculate the Extrinsic Geometry of a Tube in a Riemannian Manifold. 269-278 - Vladimir P. Gerdt, N. A. Kostov:
Computer Algebra in the Theory of Ordinary Differential Equations of Halphen Type. 279-288 - H. Q. Tan:
Symbolic Derivation of Equations for Mixed Formulation in Finite Element Analysis. 289-298 - D. L. Rector:
Semantics in Algebraic Computation. 299-307 - Annick Valibouze:
Symbolic Computation with Symmetric Polynomials an Extension to MACSYMA. 308-320 - Dominique Duval:
Simultaneous Computations in Fields of Different Characteristics. 321-326
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-22 19:30 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:
