Calculus - PDFSEARCH.IO - Document Search Engine

Calculus
Results: 11790

#	Item
781	Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 04:44:10 Mathematical analysis Mathematics Arithmetic Computer arithmetic Interval arithmetic Numerical analysis Inverse trigonometric functions Boolean algebra Holomorphic functional calculus
782	MATH1056 Calculus Volume II Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2016-02-01 06:28:12 Mathematics Mathematical analysis Calculus Differential calculus Functions and mappings Multivariable calculus Generalizations of the derivative Derivative Integral Differential Partial derivative Complex analysis
783	Equilibre de Nash & transport optimal Add to Reading List Source URL: tommi.imag.fr Language: English - Date: 2014-04-22 07:16:21 Mathematical analysis Mathematics Analysis Measure theory Mathematical economics Game theory Calculus of variations Transportation theory Nash equilibrium
784	How Euler Did It by Ed Sandifer Sums of powers June 2009 Many people have been interested in summing powers of integers. Most readers of this column know, for example, that Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Mathematical analysis Mathematics Asymptotic analysis Summability methods Number theory Calculus Bernoulli number Topology EulerMaclaurin formula Series 1 2 + 3 4 + Divisor function
785	Worksheet on Truth Tables and Boolean Algebra September 24, Write a truth table for the logical statement ¬(P ∨ Q) =⇒ (¬P ∧ Q). Do it step by step (i.e. include columns for ¬P and P ∨ Q etc., building Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Mathematics Abstraction Boolean algebra Semantics Mathematical logic Propositional calculus Logical truth Tautology Truth table Boolean Negation
786	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
787	44 Monday, July 2, 16:00PM-18:30PM Monday, July 2 Special Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:35:12 Calculus Physics Mathematical analysis Aerodynamics NavierStokes equations Partial differential equation Nonlinear system
788	Classical Mechanics, Homework 5 February 12, 2008 John Baez Homework by Michael Maroun Solution to 4: Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-02-17 12:06:03 Functions and mappings Derivative Differential calculus Mathematical analysis Rates
789	This draft: OctoberSome Notes on CE(S) Production Functions PAOLO BERTOLETTI§ Dipartimento di economia politica e metodi quantitativi Add to Reading List Source URL: economia.unipv.it Language: English - Date: 2009-05-13 15:17:50 Functions and mappings Production economics Differential calculus Linear algebra Homogeneous function Constant elasticity of substitution Elasticity of a function CobbDouglas production function Derivative Ordinary differential equation Homothetic preferences
790	453 Documenta Math. Andreotti–Mayer Loci and the Schottky Problem Ciro Ciliberto, Gerard van der Geer Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2008-08-03 09:00:24 Differential geometry Differential topology Vector calculus Vector field Quadric Divisor Xi Moduli space

UPDATE