calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
801	4th AIP International Conference and the 1st Congress of the IPIA Journal of Physics: Conference SeriesIOP Publishing doi: Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-05-06 08:17:12 Multivariable calculus Inverse Conductivity Operator theory Partial differential equations
802	Iso-level tool path planning for free-form surfaces Qiang Zoua,c , Juyong Zhanga,∗, Bailin Dengb , Jibin Zhaoc a School of Mathematical Sciences, University of Science and Technology of China, Anhui, 230026, China; Add to Reading List Source URL: www.bdeng.me Language: English - Date: 2016-04-27 10:38:10 Differential geometry Curves Multivariable calculus Computer-aided engineering Mathematical optimization Differential geometry of surfaces Curvature Parallel curve Image segmentation Differential geometry of curves G-code Level set method
803	Arithmetic, Geometry and Calculus III by Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-07 11:01:16 Mathematics education Calculus Mathematics Arithmetic Michael Spivak Geometry Mathematics competitions United States of America Mathematical Olympiad
804	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
805	Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-01-29 07:07:24 Group theory Lie groups Non-associative algebras Lie algebras Constructible universe Equivalence relation Model theory Mutation Order Group action Vertex operator algebra Lambda calculus
806	AMOEBAS AND SDP JAN FONIOK AND DANIEL JOHANNSEN Abstract. The hypersurface amoeba membership problem is the problem to decide whether for an input point λ ∈ Rn , the point λ is an element of the amoeba of the hypersu Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2009-01-25 05:07:56 Lambda calculus Matrices Positive-definite matrix Combinatory logic Spectral theory Ordinary differential equations
807	Encapsulation and Dynamic Modularity in the π-calculus Daniel Hirschkoff, Tom Hirschowitz, Samuel Hym, Aur´elien Pardon and Damien Pous Oslo, June 7th, 2008 Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Process calculi Theoretical computer science -calculus Distribution
808	Master’s thesis in Mathematics The use of elliptic curves in cryptography by Gijsbert van Vliet Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2016-04-18 16:34:53 Group theory Finite fields Public-key cryptography Cryptography Key management Discrete logarithm Index calculus algorithm ElGamal encryption Key XTR DiffieHellman key exchange RSA
809	435 Documenta Math. On Connecting Orbits of Semilinear Parabolic Equations on S 1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-12-01 13:45:03 Differential equations Multivariable calculus Partial differential equation SturmLiouville theory Flow Wave equation Heat equation
810	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml

UPDATE