Mathematica - PDFSEARCH.IO - Document Search Engine

Mathematica
Results: 1526

#	Item
601	RUS S EL L A ND M AC C O L L: RE P LY T O ´ SK I, A ND G RATTAN- GUI NNE S S , WO L EN REA D JA N DEJ N O ZÆKA In the December 1999 special edition of Nordic Journal of Philosophical Add to Reading List Source URL: www.members.tripod.com Language: English - Date: 2010-07-17 21:31:01 Mathematical logic Propositional calculus Logical syntax Hugh MacColl Modal operator Entailment Proposition Interpretation Principia Mathematica Logic Modal logic Philosophical logic
602	Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation† Add to Reading List Source URL: philmat.oxfordjournals.org Language: English Sheaf theory Topos Category of sets Set theory William Lawvere Class Sheaf Category Axiom of choice Mathematics Mathematical logic Category theory
603	Logique & Analyse 183–[removed]), x–x LOGICAL CONSEQUENCE AS TRUTH-PRESERVATION STEPHEN READ Abstract It is often suggested that truth-preservation is insufficient for logical Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-05-15 09:20:19 Philosophical logic Mathematical logic Non-classical logic Paradoxes of material implication Entailment Material conditional Validity Relevance logic Principia Mathematica Logic Propositional calculus Logical consequence
604	RaftLib: A C++ Template Library for High Performance Stream Parallel Processing Jonathan C. Beard, Peng Li and Roger D. Chamberlain Dept. of Computer Science and Engineering Washington University in St. Louis Add to Reading List Source URL: www.cs.wustl.edu Language: English - Date: 2015-01-28 23:26:16 GPGPU Graphics hardware Video cards Kernel Stream processing Thread Operating system Mathematica Linux kernel Computing Software Mathematical software
605	Papers on Supercomputer SX Series Effects Outline of High-Speed Quad-Precision Arithmetic Package ASLQUAD OGATA Ryusei, KUBO Yoshiyuki, TAKEI Toshifumi Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:43:37 Software Floating point Arbitrary-precision arithmetic Fortran Numerical analysis Rounding Computer NaN Mathematica Computing Mathematical software Computer arithmetic
606	Modern Logic Volume 8, Number 3 & 4 (May 2000-October 2001), pp. 21–30. ORIGIN OF RUSSELL’S EARLY THEORY OF LOGICAL TRUTH AS PURELY GENERAL TRUTH: BOLZANO, PEIRCE, FREGE, VENN, OR MACCOLL? Add to Reading List Source URL: www.members.tripod.com Language: English - Date: 2010-07-17 21:31:01 Philosophical logic Philosophy of logic Modal logic Truth Entailment Analytic–synthetic distinction Gottlob Frege Bernard Bolzano Principia Mathematica Logic Philosophy Analytic philosophy
607	4. Mathematica Programming Science is what we understand well enough to explain to a computer. Art is everything else we do. — Donald Knuth — Foreword to the book A=B. 4.1 Introduction Mathematica is a high-level com Add to Reading List Source URL: ftp.pd.uwa.edu.au Language: English - Date: 2009-05-26 22:49:32 Functions and mappings Pattern matching Mathematica Function Factorial Expression Exponentiation Map Type theory Mathematics Mathematical software Computing
608	[removed]Computing Mathematics with Applications Spring 2014 Swart Computer Lab 229: MWF 3:00-4:00 Instructor: Zoubir Benzaid Phone: 424 – 7354 Office: Swart 238 Office Hours: 9:00-10:20 MTWF and by appointment Requi Add to Reading List Source URL: www.uwosh.edu Language: English - Date: 2014-05-22 14:12:29 Cross-platform software Functional languages Maplesoft Maple Computer algebra systems Calculus Mathematics Linear algebra Mathematica Software Mathematical software Application software
609	Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 31, 2006, 39–46 CHARACTERIZATION OF REARRANGEMENT INVARIANT SPACES WITH FIXED POINTS Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2006-02-16 09:19:27 Mathematics Calculus Continuous function Weight Spectral theory Spectral theory of ordinary differential equations Mathematical analysis Abstract algebra Representation theory of Lie groups
610	A Tour of Mathematica p. 1 Mathematica as a Calculator Power Computing with Mathematica Add to Reading List Source URL: www.gbv.de Language: English - Date: 2010-12-21 05:15:03 Array programming languages Computer algebra systems Functional languages Functions and mappings Mathematica Polynomial Calculus APL Function Mathematical software Software Computing

UPDATE