Mathematica - PDFSEARCH.IO - Document Search Engine

Mathematica
Results: 1526

#	Item
111	Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-28 12:04:25 Model theory Interpretation First-order logic Symbol Structure operator Principia Mathematica
112	Task Force Co-Chairs from the ACCI David Keyes, KAUST and Columbia Valerie Taylor, TAMU ACCI Members Tony Hey, Microsoft Stuart Feldman, Google Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 E-Science Computing Application software Software Cyberinfrastructure Data-intensive computing Component-based software engineering System software Wolfram Mathematica Middleware ICME cyberinfrastructure CyberGIS
113	Documenta Mathematica Extra Volume: John H. Coates’ Sixtieth Birthday, 2006 Preface 1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-24 17:49:13 Number theorists Cyclotomic fields Field theory Galois theory Number theory Galois module Ralph Greenberg P-adic L-function Iwasawa theory Haruzo Hida P-adic number John H. Coates
114	Production and Research Development Tools for Current and Future Platforms Presenter: Martin Schulz, LLNL LLNL has a long history in developing a wide range of debugging, code correctness and performance analysis and Add to Reading List Source URL: xpacc.illinois.edu Language: English - Date: 2016-01-25 17:09:24 Parallel computing Supercomputer Cell Multi-core processor Wolfram Mathematica Computing Graphics processing unit OpenCL SIMD Draft:High Performance Computing Software Development Tools Data-intensive computing
115	Introduction to the R Project for Statistical Computing for use at ITC D G Rossiter University of Twente Faculty of Geo-information Science & Earth Observation (ITC) Add to Reading List Source URL: www.css.cornell.edu Language: English - Date: 2015-10-21 13:33:24 Free statistical software Mathematical software Array programming languages R Literate programming S-PLUS Statistica SPSS DAP Plot Stata Wolfram Mathematica
116	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung BandISSNPrint Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-15 07:11:21 Algebraic geometry Sheaf theory Cohomology theories Homological algebra Vector bundles tale cohomology tale morphism Sheaf Grothendieck topology Base change Analytic space Rigid analytic space
117	With the advent of massive data sets, statistical learning and information processing techniques are expected to enable unprecedented possibilities for better decision making. However, existing algorithms for mathematica Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Mathematical optimization Cybernetics Operations research Machine learning Convex optimization Global optimization Book:Optimization
118	Documenta Mathematica Band 15, 2010 Jianqiang Zhao Standard Relations of Multiple Polylogarithm Values at Roots of Unity Indranil Biswas and Norbert Hoffmann Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-12-30 05:24:09 Algebraic geometry Group scheme Duality Algebraic variety Scheme Stack Galois module
119	Computer Methods and Programs in Biomedicine– 236 www.elsevier.com/locate/cmpb Software design for analysis of multichannel intracardial and body surface electrocardiograms Mark Potse a,, Andre´ C. Linn Add to Reading List Source URL: www.potse.nl Language: English* - Date: 2002-08-28 05:51:18 Computer programming Software Visual programming languages Mathematical software Cross-platform software Software documentation Literate programming Documentation generator Wolfram Mathematica Event Computing User interface
120	Documenta Mathematica Band 12, 2007 Benoˆıt Collins, James A. Mingo, ´ Piotr Sniady, Roland Speicher Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2008-03-06 09:52:35 Algebraic groups Group actions Homological algebra Cohomological invariant Cohomological dimension Cumulant Equivariant map

UPDATE