Searching for "Computer Mathematics" – sorted by Relevance.
3,026 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
