Mathematica - PDFSEARCH.IO - Document Search Engine

Mathematica
Results: 1526

#	Item
101	Joint Journals Catalogue EMS / MSP 2017 Super eal package d Add to Reading List Source URL: www.ems-ph.org Language: English - Date: 2016-06-27 05:35:12 European Mathematical Society ETH Zurich Algebra & Number Theory Portugaliae Mathematica Mathematical Sciences Publishers Institute of Mathematics Combinatorics and physics Combinatorics Differential geometers
102	/Volumes/hd0e/v10i1/2print/02_graph_draw_PressPDF.nb Add to Reading List Source URL: www.mathematica-journal.com Language: English - Date: 2006-01-26 15:31:27 Graph drawing Graph theory Matroid theory Force-directed graph drawing Graph Line graph Ear decomposition Book:Graph Theory Tutte embedding
103	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
104	manuscripta mathematica manuscriptamath. 93,) Springcr-Vcrlag 1997 Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-07 09:16:44 Quadratic forms Linear algebra Algebraic structures Ring theory Lie groups Sesquilinear form Ring Integral element -quadratic form Symmetric cone
105	Documenta Mathematica Extra Volume: Andrei A. Suslin’s Sixtieth Birthday, 2010 Preface 1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-22 06:14:55 Quadratic forms Isotropic quadratic form Vladimir Voevodsky K-theory Cohomology Alexander Merkurjev
106	Peter RIEDLBERGER, Domninus of Larissa. Encheiridion and spurious works. Introduction, critical text, English translation, and commentary. Mathematica Graeca Antiqua Bd. 2. Pisa/Rom: Fabrizio Serra 2013, 279 S. I was del Add to Reading List Source URL: gfa.gbv.de Language: English - Date: 2013-10-25 05:05:31 Ancient Greek mathematicians Domninus of Larissa Domninus Euclid Nicomachus Proclus Plato Aratus Greek mathematics
107	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung BandISSNPrint Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:11 Operator theory Complex manifolds Plurisubharmonic function Moment map Stein manifold Contraction
108	Documenta Mathematica Gegr¨ undet 1996 durch die Deutsche Mathematiker-Vereinigung Extra Volume Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2002-01-03 09:32:12 Quadratic forms Algebraic number theory Alexander Merkurjev Isotropic quadratic form Witt equivalence Witt group Quaternion algebra Hasse principle Quadratic Binary quadratic form Brauer group
109	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
110	Documenta Mathematica ¨ ndet 1996 durch die Gegru Deutsche Mathematiker-Vereinigung Phase portrait, cf. page 467 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2005-02-22 06:20:33 Convex analysis Convex geometry Topological vector spaces Convex set Convex function Convex hull Convex cone Bounded set

UPDATE