Searching for "Computer Mathematics" – sorted by Relevance.
-
Towards Limit Computable Mathematics
- Towards Limit Computable Mathematics Susumu Hayashi 1 and Masahiro Nakata 2 1 Department
- Add To MetaCart
-
The challenge of computer mathematics
- The Challenge of Computer Mathematics By Henk Barendregt and Freek Wiedijk Radboud University
- Cited by 7 (0 self) – Add To MetaCart
-
Architecture for Computational Mathematical Morphology
- header for SPIE use Architecture for computational mathematical morphology John C. Handley Digital
- Cited by 2 (0 self) – Add To MetaCart
-
On the Foundations of Computational Mathematics
- On the foundations of computational mathematics B.J.C. Baxter & A. Iserles Contents 1
- Add To MetaCart
-
Hidden Verification for Computational Mathematics
- with the dream of fully formal development of mathematical routines in a computational logic engine
- Cited by 1 (1 self) – Add To MetaCart
-
Information Technologies in Computational Mathematics
- Information Technologies in Computational Mathematics V.P. Zhitnikov N.M. Sherykhalina V
- Add To MetaCart
-
Department of Computer and Mathematical Sciences
- Department of Computer and Mathematical Sciences Mapping, Order-independent Genes and the Knapsack
- Add To MetaCart
-
Limit Computable Mathematics and Interactive Computation
- Limit Computable Mathematics and Interactive Computation Susumu Hayashi, Kobe University September
- Add To MetaCart
-
Non-Constructive Computational Mathematics
- Non-Constructive Computational Mathematics Kenneth Kunen 1 University of Wisconsin, Madison, WI
- Cited by 2 (0 self) – Add To MetaCart
-
manuscript submitted to Advances in Computational Mathematics
- manuscript submitted to Advances in Computational Mathematics July 2007 Helmut Pottmann · Philipp
- Add To MetaCart

