[95-48] Peter Hirt "AIPC: An Assitant for Interactive Proof Construction Using Natural Deduction" [95-29] Carl Van Geem "Counting Cells in a Grid" [95-49] J. Pfalzgraf, U.C. Sigmund, V. Sofronie, K. Stokkermans "Towards a Cooperating Robots Demonstrator" [95-29] Carl Van Geem "Counting Cells in a Grid" [95-31] George E. Collins "Application of Quantifier Elimination to Solotareff's Approximation Problem" [95-45] Carl Van Geem "Path Planning for Manipulators with Many Degrees of Freedom Using a Discrete Representation of Configuration Space Extensively" [95-01] Thomas Fahringer, Hoon Hong "On Using Volume Computation to Estimate the Work Distribution for Parallel Programs" [95-19] George E. Collins, Mark J. Encarnacion "Improved Techniques for Factoring Univariate Polynomials" [95-25] Hoon Hong, Stefan Ratschan "RISC-CLP (Tree$(\Delta)$): A Constraint Logic Programming System with Parametric Domain" [95-02] J. Rafael Sendra, Juana Sendra "On the Rationality of Offset Curves" [95-26] Jochen Pfalzgraf "Graph Products of Groups and Group Spaces" [95-03] Olga Caprotti, Alois Ferscha, Hoon Hong "Reachability Test in Petri Nets by Gr\"obner Bases" [95-50] Hoon Hong, Wolfgang Stöcher "Implementing Real Root Count with Polynomial Constraints for the Multivariate Case with one Constraint Polynomial" [95-28] Sabine Stifter "Technological Aspects in Geometric Problems: A Case Study for the Nesting Problem" [95-04] Thomas Fahringer, Hoon Hong, Franz Kriftner, Volker Stahl "Computing the Volume of a Convex Polytope Using Interval Arithmetic" [95-51] Hoon Hong, Josef Schicho, Wolfgang Stöcher "Structure and Efficient Computation of Multiplication Tables and Associated Quadratic Forms" [95-52] Peter Stadelmeyer "Ordered Completion with Selection for Horn Clauses" [95-05] Michal Mnuk, Bernhard Wall, Franz Winkler "CASA Reference Manual (Version 2.2)" [95-06] Hoon Hong "The Exact Region of Stability for MacCormack Scheme" [95-53] Karel Stokkermans "A Categorical Framework and Calculus for Critical Pair Completion" [95-07] Wolfgang Schreiner "Application of a Para-Functional Language to Computer Algebra Problems" [95-32] George E. Collins, Scott Mccallum "Adjacency Algorithms for Cylindrical Algebraic Decomposition of Three and Higher Dimensional Space I: Adjacencies Over a Non-nullifying $\{0,1\}$ Adjacency" [95-54] Giovanna Roda "Linear Algebra Methods for the Transformation of Gr\"obner Bases" [95-08] Roberto Pirastu, Volker Strehl "Rational Summation and Gosper-Petkovsek Representation" [95-55] Hoon Hong "Gr\"obner Bases Under Composition" [95-40] Elena Tomuta, Edward S. Blurock "Use of Machine Learning in Economic Studies: A Tutorial Study" [95-14] Carl Van Geem "Preparations with Workspace Information for Meaningful Robot Motion Planning in Configuration Space" [95-35] Ziming Li "A Subresultant Theory for Linear Ordinary Differential Polynomials" [95-56] Hoon Hong "Multivariate Resultants Under Composition" [95-57] P.G. Bertoli, H. Hong "The Design and Implementation of the Distributed Shared-Memory Sturm Kernel" [95-37] Edward S. Blurock "Reaction: System for Modeling Chemical Reactions I. Generation of Reaction Mechanisms" [95-58] Michal Mnuk "Algebraic and Geometric Approach to Parametrization of Rational Curves" [95-09] Roberto Pirastu "Algorithms for Indefinite Summation of Rational Functions in Maple" [95-10] Peter Paule, Markus Schorn "A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities" [95-38] Edward S. Blurock "Reaction: System for Modeling Chemical Reactions II. Analysing and Using the Generated Reaction Mechanism" [95-11] Peter Paule, Volker Strehl "Symbolic Summation -- Some Recent Developments" [95-39] Edward S. Blurock "Reaction: System for Modeling Chemical Reactions III. Notes on Applications and Basis for Future Work" [95-12] Peter Paule "Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type" [95-13] Edward S. Blurock "Analysis 4.0: An Interactive System for the Analysis of Data" [95-41] Edward S. Blurock "REACTION: Symbolic Methods in the Generation and Analysis of Complex Reaction Systems" [95-42] Sabine Stifter "Characterization of Contour Elements that Generate Abstract Voronoi Diagrams" [95-15] Manfred Minimair "Design, Analysis and Implementation of an Adder by Ladner and Fisher" [95-16] A.Y. Utesev, T.M. Cherkasov "On the Search of the Maximum of a Polynomial" [95-17] Edward S. Blurock "REACTION: System for Modeling Chemical Reactions" [95-46] Michal Mnuk "Computing Adjoint Curves (An algebraic approach)" [95-34] Hoon Hong "A Basis for Multivariate Hermite Interpolation" [95-18] Edward S. Blurock "Automatic Learning of Chemical Concepts: Research Octane Number and Molecular Substructures" [95-47] Hoon Hong "Subresultants Under Composition"

Maintained by the RISC-Linz Library Administration
Last modified: February 18, 1998

[Up] [RISC-Linz] [University] [Search]