Calculus - PDFSEARCH.IO - Document Search Engine

Calculus
Results: 11790

#	Item
581	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
582	ASC Report NoEntropy-stable and entropy-dissipative approximations of a fourth-order quantum diffusion equation M. Bukal, E. Emmrich, and A. Ju¨ngel Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-10-21 08:07:49 Mathematical analysis Calculus Physics Information theory Partial differential equations Statistical theory Randomness Philosophy of thermal and statistical physics Entropy Finite element method NavierStokes equations Wave equation
583	PDF Document Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2016-02-03 00:11:57 Mathematics Mathematical analysis Mathematics education Analysis Calculus Exercise Chain rule Multivariable calculus Derivative
584	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan
585	A Safe Screening Rule for Sparse Logistic Regression Jie Wang1 , Jiayu Zhou1 , Jun Liu2 , Peter Wonka1 , and Jieping Ye1 arXiv:1307.4145v2 [cs.LG] 18 Jul Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:10:32 Operator theory Ordinary differential equations Spectral theory Logic in computer science Lambda calculus
586	I/O-Efficient Contour Queries on Terrains Pankaj K. Agarwal∗ Thomas Mølhave† Abstract Add to Reading List Source URL: users.cs.duke.edu Language: English - Date: 2015-07-24 06:57:57 Mathematics Graph theory Multivariable calculus Cartography Contour line Curves Topography Matching Methods of contour integration
587	ES 111 Mathematical Methods in the Earth Sciences Problem Set 1 - Due Fri 2nd Oct ’15 Warmup (NPC) 1a) Prove that θ Add to Reading List Source URL: www.es.ucsc.edu Language: English - Date: 2015-09-29 14:47:07 Mathematical analysis Mathematics Special functions Differential calculus Ratios Trigonometric functions Trigonometry Sine Derivative Geopotential model Differentiation of trigonometric functions
588	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:57:52 Software engineering Computer programming Computing Functional programming Data types Control flow Eval Lambda calculus Subroutines Interpreter Higher-order function ECL programming language
589	An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:59 Algebra Abstract algebra Mathematics Polynomials Ring theory Algebras Differential operator Multivariable calculus Operator theory Associative algebra D-module Differential algebra
590	VECTOR-VALUED FUNCTIONS MATH 195, SECTION 59 (VIPUL NAIK) Corresponding material in the book: SectionsWhat students should definitely get: Definition of vector-valued function, relation with parametric descr Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Mathematics Algebra Mathematical analysis Vectors Linear algebra Vector calculus Multivariable calculus Vector-valued function Vector space Position Derivative Euclidean vector

UPDATE