[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]