Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSAC 1988: Rome, Italy
- Patrizia M. Gianni:
Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings. Lecture Notes in Computer Science 358, Springer 1989, ISBN 3-540-51084-2
Invited Talks
- Giorgio Ausiello, Alberto Marchetti-Spaccamela, Umberto Nanni
:
Dynamic Maintenance of Paths and Path Expressions on Graphs. 1-12 - David R. Musser, Alexander A. Stepanov:
Generic Programming. 13-25 - Francis Sergeraert:
From a Noncomputability Result to new interesting Definitions and Computability Results. 26-32 - Naveen Sharma, Paul S. Wang:
Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis. 33-56
Differential Algebra
- Michael F. Singer:
Liouvillian First Integrals of Differential Equations. 57-63 - Manuel Bronstein:
Fast Reduction of the Risch Differential Equation. 64-72
Applications
- Claudine Chaffy-Camus:
An Application of Reduce to the Approximation of F(X, Y). 73-84 - F. Vinette, J. Cízek:
The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems. 85-95 - S. Kamal Abdali, David S. Wise:
Experiments with Quadtree Representation of Matrices. 96-108 - Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper:
Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). 109-115 - Hubert Caprasse, Jaques Demaret, Eberhard Schrüfer:
Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? 116-124
Gröbner Bases
- Carlo Traverso:
Gröbner Trace Algorithms. 125-138 - Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan:
Solving Systems of Algebraic Equations. 139-149 - Teo Mora:
Groebner Bases in Non-Commutative Algebras. 150-161 - André Galligo, Loic Pottier, Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms. 162-176 - Stefan Arnborg:
Experiments with a Projection Operator for Algebraic Decomposition. 177-182
Differential Equations
- Moulay A. Barkatou:
Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. 183-195 - Malcolm A. H. MacCallum:
An Ordinary Differential Equation Solver for Reduce. 196-205 - Stephen M. Watt:
A Fixed Point Method for Power Series Computation. 206-217 - Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo García Franquelo:
An Algorithm for Symbolic Computation of Center Manifolds. 218-230
Algorithmic Number Theory
- Heinrich Rolletschek:
Shortest Division Chains in Imaginary Quadratic Number Fields. 231-243 - Russell J. Bradford, James H. Davenport:
Effective Tests for Cyclotonic Polynomials. 244-251 - George E. Collins, Jeremy R. Johnson:
The Probability of Relative Primality of Gaussian Integers. 252-258 - Alfred Menezes, Paul C. van Oorschot, Scott A. Vanstone:
Some Computational Aspects of Root Finding in GF(qm). 259-270 - Algimantas Juozapavicius:
Symbolic Computation for Witt Rings. 271-273
Algebraic Geometry
- Shreeram S. Abhyankar, Chandrajit L. Bajaj:
Computations with Algebraic Curves. 274-284 - Jeremy Teitelbaum:
On the Computational Complexity of the Resolution of Plane Curve Singularities. 285-292 - John F. Canny:
Generalized Characteristic Polynomials. 293-299 - Patrizia M. Gianni, Victor Miller, Barry M. Trager:
Decomposition of Algebras. 300-308 - Marc Giusti, Daniel Lazard, Annick Valibouze:
Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. 309-314
Computational Geometry
- Herbert Edelsbrunner, Franco P. Preparata:
Tetrahedrizing Point Sets in Three Dimensions. 315-331 - Sabine Stifter:
A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. 332-343 - Philip H. Todd, George W. Cherry:
Symbolic Analysis of Planar Drawings. 344-355 - Franz Winkler:
A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. 356-363
Computational Logic
- Cynthia A. Brown, Gene Cooperman, Larry Finkelstein:
Solving Permutation Problems Using Rewriting Systems. 364-377 - Dieter Wissmann:
Applying Rewriting Techniques to Groups with Power-Communication-Presentations. 378-389 - Volker Weispfenning:
Efficient Decision Procedures for Locally Finite Theories II. 390-401 - Thierry Boy de la Tour, Ricardo Caferra:
A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. 402-406 - Domenico Cantone, Vincenzo Cutello, Alfredo Ferro:
Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. 407-422
Systems
- Jean-Louis Roch, Pascale Sénéchaud, Françoise Roch-Siebert, Gilles Villard:
Computer Algebra on MIMD Machine. 423-439 - Claire Dicrescenzo, Dominique Duval:
Algebraic Extensions and Algebraic Closure in Scratchpad II. 440-446 - Heinz Kredel:
Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. 447-455 - Gregory Butler, John J. Cannon:
Cayley, Version 4: The User Language. 456-466
Arithmetic
- Erich L. Kaltofen, Yagati N. Lakshman:
Improved Sparse Multivariate Polynomial Interpolation Algorithms. 467-474 - Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley:
Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract). 475-480 - John Shackell:
Asymptotic Estimation of Oscillating Functions Using an Interval Calculus. 481-489 - Keith O. Geddes, Gaston H. Gonnet:
A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. 490-495 - Irvin Roy Hentzel, David Pokrass Jacobs:
Verification of Non-Identities in Algebras. 496-507
Miscellaneous
- Habib Abdulrab:
Equations in Words. 508-520 - Neil L. White, Tim McMillan:
Cayley Factorization. 521-533 - D. Yu. Grigoryev:
Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. 534-543
a service of 
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-04-15 20:32 CEST 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:
