Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problem computing » problems computing
function theorems » function theorem, function theories, function theory
https function » its function, sites function, ups function
theorems https » theory https, theorems sets, theorems notes
problem computing » problems computing
function theorems » function theorem, function theories, function theory
https function » its function, sites function, ups function
theorems https » theory https, theorems sets, theorems notes
1
Table of Contents:
“...Problems -- Operations on sets -- Countability -- Equivalence -- Continuum -- Sets of reals...”
View full text
View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... statistics for the multidimensional Farey sequence -- S. G. Bobkov, M. M. Madiman: On the problem...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“.... Krantz) -- Corona-Type Theorems and Division in Some Function Algebras on Planar Domains (R. Mortini, R...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...”View full text
Electronic
eBook
8
Table of Contents:
“... Problems and Functional Analysis -- Problems with A Priori Bounds -- Asymptotically Linear Problems...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... and Properties of Function Spaces -- 2. Solutions of Problems 001-500 -- 3. Bonus Results: Some Hidden statements...”
View full text
View full text
Electronic
eBook
10
by Brudnyi, Alexander., Brudnyi, Alexander., Technion R&D Foundation Ltd, Prof. Yuri Brudnyi.
Published 2012
Table of Contents:
“...Preface -- Basic Terms and Notation -- Part 1. Classical Extension-Trace Theorems and Related...”Published 2012
View full text
Electronic
eBook
11
Table of Contents:
“... complex variable -- 5 C-differentiable functions -- 6 Cauchy's theorem -- 7 First applications -- 8...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...Preface -- Introduction -- The central limit theorem from laplace to cauchy: changes in stochastic...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“... integrals -- Chapter 3. Classical covering theorems -- Chapter 4. Spaces of smooth functions and operators...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...”
View full text
View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Optimization for Solving Nonlinear Constrained Optimization Problems -- Some Fixed Point (Vertex) Theorems...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
19
Table of Contents:
“... Theorem -- Separation Results -- The Immerman-Szelepcsényi Theorem -- Logspace Computability...”
View full text
View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...”View full text
Electronic
eBook