YEAR 1996 ========= [96-25] Naoto Niki, Shigekazu Nakagawa, Hiroki Hashiguchi "Computer Algebra Application to the Distribution of Sample Correlation Coefficient" [96-27] Roberto Pirastu "On Combinatorial Identities: Symbolic Summation and Umbral Calculus" [96-01] Carl Van Geem "Enclosing Robot Links by Superellipses and Superellipsoids" [96-15] Carl Van Geem "Fast Planning of a Good Path for a Manipulator Using Potential Fields on a Non-Uniform Grid in C-Space" [96-02] Dalibor Jakus, Hoon Hong "Testing Positiveness of Polynomials" [96-03] Hoon Hong "Gr\"obner Bases Under Composition II" [96-24] Ana Maria Mandache "On the Relationship between Involutive Basis and Gr\"obner Basis Algorithms" [96-04] Hoon Hong, Daniela Vasaru "Survey on Nonlinear Optimization" [96-26] Hoon Hong "Characterization of Bernstein Coefficients" [96-05] Wolfgang Schreiner "A Para-Functional Programming Interface for a Parallel Computer Algebra Package" [96-06] Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans "On a Semantics for Cooperative Agent Scenarios" [96-07] Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans "Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios" [96-08] Franz Winkler, J. Rafael Sendra "Real Parametrization of Algebraic Curves" [96-09] Wolfgang Schreiner "RT++ -- Higher Order Threads for C++ : Tutorial and Reference Manual (Version 1.0)" [96-10] Hoon Hong, Wolfgang Schreiner "HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors" [96-31] Tudor Jebelean "Exact Division with Karatsuba Complexity" [96-39] Bruno Buchberger "Introduction to Groebner Bases" [96-30] Carl Van Geem "Manipulation of a Data Structure for Potential Fields on a Non-Uniform Grid on C-Space for a Robot Arm Motion Planning Problem" [96-34] Erik Hillgarter "Rational Points on Conics" [96-33] Tran Quoc-Nam "A Hybrid Symbolic-Numerical Approach in Computer Aided Geometric Design (CAGD) and Visualization" [96-35] Tran Quoc-Nam "A Note on Irreducible Decomposition of Algebraic Sets and Automatic Theorem Proving" [96-14] Ziming Li "A Subresultant Theory for Linear Differential, Linear Difference and Ore Polynomials, with Applications" [96-16] Eugen Ardeleanu "Invariant Theory of Finite Groups and Applications" [96-17] Volker Stahl "Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations" [96-18] J. Pfalzgraf, V. Sofronie, K. Stokkermans "A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios" [96-20] Michael Joswig "Translation Generalized Quadrangles" [96-21] Michael Joswig "Towards Modeling the Topology of Homogeneous Manifolds by Means of Symbolic Computation" [96-22] Michael Joswig "Deciding the Exactness of Sequences of Finitely Generated Abelian Groups" [96-23] Michael Joswig "Quadratic Forms (Lecture Notes)" [96-19] George E. Collins, Christopher W. Brown "Simple Truth Invariant CAD's and Solution Formula Construction" [96-13] Hoon Hong, Josef Schicho "A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials"