MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Computing and Proving." – sorted by Relevance.

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

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

368 documents found, showing 1 through 10. Next 10 →

ATOM

Forty “Strange” computer-discovered [and computer-proved (of course!)] hypergeometric series
by Shalosh B. Ekhad — Journal of Ekhad and Zeilberger, http://www.math.rutgers.edu/~zeilberg/pj.html, Oct
…FORTY “STRANGE” COMPUTER-DISCOVERED [and COMPUTER-PROVED (of course!)] HYPERGEOMETRIC SERIES…
Cited by 2 (0 self) – Add To MetaCart

Proving and Computing: a certified version of the Buchberger's algorithm
by Laurent Théry — 1997
… AUTOMATIQUE Proving and Computing: a certified version of the Buchberger's algorithm Laurent Thry N 3275…
Cited by 5 (0 self) – Add To MetaCart

Combining Theorem Proving and Symbolic Mathematical Computing
by Karsten Homann, J. Calmet — 1995 — Integrating Symbolic Mathematical Computation and Arti Intelligence, volume 958 of Lecture Notes in Computer Science
… Computing (AISMC-2), Karlsruhe, Springer, LNCS 958, pp. 18--29, 1995. Combining Theorem Proving and Symbolic…
Cited by 13 (1 self) – Add To MetaCart

Projection Vectors and Fibonacci and Lucas Cubes
by Sandi Klavzar, Iztok Peterin
…PROJECTION VECTORS AND FIBONACCI AND LUCAS CUBES Sandi Klavˇzar Dept. Mathematics and Computer…
Cited by 1 (0 self) – Add To MetaCart

Hash Based Adaptive Parallel Multilevel Methods with Space-Filling Curves
by Michael Griebel, Gerhard Zumbusch — 2002 — NIC Series
… grid refinement. Numerical experiments on two massively parallel computers prove the efficiency…
Cited by 3 (0 self) – Add To MetaCart

Linkage Of Fields In Characteristic 2
by Roberto Aravire, Ricardo Baeza
… I F # W (F ) is the maximal ideal in the Witt ring W (F ) of F . We use this computation to prove…
Cited by 1 (0 self) – Add To MetaCart

Abstract Infrastructure for Load Balancing on Mosix Cluster
by Madhusudhan Reddy Tera
… in build time and execution times. Cluster computing is proving to be an effective way to reduce…
Add To MetaCart

Stereoscopic Augmented Reality System for Computer Assisted Surgery
by Marc Liévin, Erwin Keeve — 2001 — In: Proceedings Computer Assisted Radiology and Surgery, CARS’01
… is required. Registration, rigid bodies location and 3D volume computation are proved to respect real…
Cited by 3 (0 self) – Add To MetaCart

A consistent semantics of self-adjusting computation
by Umut A. Acar, Matthias Blume, Jacob Donham — 2006
… semantics of self-adjusting computation and proves that the semantics is correct and consistent…
Add To MetaCart

The challenge of computer mathematics
by Henk Barendregt, Freek Wiedijk — 2005 — Royal Society of London Transactions Series A
… of defining, computing and proving are based on this. The human defines concepts, constructs algorithms…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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