calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
621	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
622	An Analysis of Unsolvable Linear Partial Differential Equations of Order One Add to Reading List Source URL: inquiry.uark.edu Language: English - Date: 2012-06-25 17:18:24 Calculus Mathematical analysis Mathematics Differential equations Partial differential equations Differential calculus Equation Ordinary differential equation Linear differential equation Method of characteristics SturmLiouville theory
623	Revisiting discrete logarithms in medium/small characteristic Antoine Joux CryptoExperts Chaire de Cryptologie de la Fondation de l’UPMC — LIP6 Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English - Date: 2013-09-21 07:48:03 Abstract algebra Algebra Group theory Mathematics Logarithms Computational hardness assumptions Finite fields Modular arithmetic Index calculus algorithm Discrete logarithm Baby-step giant-step Elliptic curve
624	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
625	Eikonal tomography: surface wave tomography by phase front tracking across a regional broad-band seismic array Add to Reading List Source URL: noise.earth.utah.edu Language: English - Date: 2015-06-29 13:54:57 Wave mechanics Physics Mechanics Calculus Seismology Waves Geophysics Geophysical imaging Seismic tomography Eikonal equation Seismic anisotropy Surface wave inversion
626	SIAM J. NUM..R. ANAL. Downloadedto. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php Vol. 30, No. 3, pp, June 1993 Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2016-07-12 21:57:27 Mathematical analysis Calculus Mathematics Partial differential equations Computational fluid dynamics Multivariable calculus Finite differences Differential operators NavierStokes equations Projection method Incompressible flow Laplace operator
627	Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-02-14 20:56:25 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur
628	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
629	THICK POINTS FOR INTERSECTIONS OF PLANAR SAMPLE PATHS AMIR DEMBO∗ YUVAL PERES† JAY ROSEN‡ OFER ZEITOUNI§ 2 Abstract. Let LX n (x) denote the number of visits to x ∈ Z of the Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:58:36 Mathematical analysis Mathematics Calculus Continuous function Analysis Operator theory Conjectures Analytic number theory Table of stars with Bayer designations Symbol

UPDATE