calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
351	179 Doc. Math. J. DMV Differen e S heme for the Vlasov-Manev System Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:41 Mathematical analysis Mathematics Analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Exponentiation Distribution Derivative
352	A fast algorithm for computing the p-curvature Alin Bostan joint work with ´ Schost (Univ. Waterloo) Xavier Caruso (Univ. Rennes 1) and Eric Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 04:38:30 Algebra Mathematics Abstract algebra Differential geometry Differential operator Multivariable calculus Operator theory Quasigroup Morphism of algebraic varieties J-structure
353	San Francisco State University Mathematics Department Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2011-06-20 16:40:36 Education Quiz Calculus Educational technology
354	C:/Users/Giorgio/Documents/VERIFY_SVN/GAP_PDS/PDA-gap-order/main.dvi Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2012-11-14 06:01:07 Mathematics Algebra Calculus Syntax Variable Valuation Symbol Indexed grammar
355	Support Vector Machine The Linearly Non-Separable Case Ling Zhu Fall 2013 Add to Reading List Source URL: www.pstat.ucsb.edu Language: English - Date: 2014-11-07 15:19:49 Algebra Mathematics Vectors Statistical classification Linear algebra Mathematical optimization Vector calculus Support vector machine Linear separability Vector space KarushKuhnTucker conditions Euclidean vector
356	SummerCalculus I (Math 226) Week: Introduction. Real numbers. Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2006-08-09 13:28:28 Mathematics Mathematical analysis Geometry Differential geometry Curves Functions and mappings Calculus Tangent Curve sketching Differential geometry of curves Integral Derivative
357	Composing ComposingContracts: contracts: An Adventure in Financial Engineering Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2001-11-22 11:58:10 Lambda calculus Quantum mechanics Combinatory logic Logic in computer science Futures contract Forward contract Government procurement in the United States Derivative Observable
358	LAGRANGE MULTIPLIERS MATH 195, SECTION 59 (VIPUL NAIK) Corresponding material in the book: Section 14.8 What students should definitely get: The Lagrange multiplier condition (one constraint, two constraints and in princ Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Mathematical analysis Mathematics Analysis Differential geometry Differential calculus Multivariable calculus Generalizations of the derivative Mathematical optimization Derivative Tangent space Directional derivative Lagrange multiplier
359	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
360	INTRODUCTION TO MEANING AND THE DYNAMICS OF INTERPRETATION Alice ter Meulen and Klaus von Heusinger This selection of original papers written by Hans Kamp—philosopherlinguist-logician-cognitive-scientist and computer-s Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2016-01-26 05:29:24 Philosophy Logic Semantics Abstraction Philosophical logic Grammar Meaning Lambda calculus Hans Kamp Presupposition Montague grammar Temporal logic

UPDATE