MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Franz Kriftner" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Computing the Volume of a Convex Polytope Using Interval Arithmetic
by Hoon Hong, Franz Kriftner, Volker Stahl, Thomas Fahringer — 1994 — Linz, Johannes Kepler University Linz, and Institute for Software Technology and Parallel Systems, University Vienna
…Computing the Volume of a Convex Polytope Using Interval Arithmetic Hoon Hong Franz Kriftner…
Cited by 1 (0 self) – Add To MetaCart

A Survey on the Theorema Project
by Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru, A Schlo Hagenberg — 1997 — In International Symposium on Symbolic and Algebraic Computation
…A Survey on the Theorema Project Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin…
Cited by 40 (8 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB