Constructible number - PDFSEARCH.IO - Document Search Engine

Constructible number
Results: 311

#	Item
1	Constrained Minimisation1 1 Here we investigate the different ways of writing a constrained minimisation problem. Just to remind you, minimising f (x) is equivalent to maximising −f (x). In a lagrange type formulation Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Constructible universe NC Isocost Ordinal number Theoretical computer science Numerical software Mathematics
2	How Euler Did It by Ed Sandifer Formal Sums and Products July 2006 Two weeks ago at our MAA Section meeting, George Andrews gave a nice talk about the delicate and beautiful relations among infinite sums, infinite produc Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Mathematics Mathematical analysis Analysis Meromorphic functions Integer sequences Infinite product Multiplication Gamma function Series Riemann zeta function Constructible universe Prime number
3	Exercises 3: unconstrained maximization Let’s investigate Fact 1 from Daniel Wilhelm’s lecture notes. Fact 1: 1. if f has a local max (min) at point x∗ , then Df (x∗ ) = 0 and D2 f (x∗ ) is negative (positive) Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Probability distributions Mathematical analysis Statistics Probability Constructible universe Ordinal number Power laws Beta distribution Stable distribution
4	arXiv:1201.0473v1 [math-ph] 2 JanA UNIVERSALITY THEOREM FOR RATIOS OF RANDOM CHARACTERISTIC POLYNOMIALS JONATHAN BREUER AND EUGENE STRAHOV Abstract. We consider asymptotics of ratios of random characteristic Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-01-03 20:57:09 Mathematical analysis Mathematics Functional analysis Ordinal number Wellfoundedness Constructible universe Distribution Probability distributions Differential forms on a Riemann surface Isotope lists 73-96
5	711 Documenta Math. Divisibility Sequences and Powers of Algebraic Integers Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-21 15:14:34 Mathematics Integer sequences Field theory Number theory Constructible universe Elliptic divisibility sequence Sequence Splitting field Divisibility sequence
6	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
7	IMAGINARIES AND DEFINABLE TYPES IN ALGEBRAICALLY CLOSED VALUED FIELDS EHUD HRUSHOVSKI This manuscript is largely an exposition of material from [1], [2] and [3], regarding definable types in the model completion of the t Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2014-03-26 03:46:35 Algebra Abstract algebra Mathematics Field theory Algebraic geometry Valuation Sheaf Constructible universe Transcendental number Approximately finite-dimensional C*-algebra Differential forms on a Riemann surface
8	Frobenioids Frobenioids Weronika Czerniawska The Univeristy of Nottingham Add to Reading List Source URL: www.maths.nottingham.ac.uk Language: English - Date: 2015-12-12 14:59:11 Algebra Abstract algebra Mathematics Algebraic geometry Field theory Vector bundles Divisor Algebraic number field Frobenioid Constructible universe Valuation Homomorphism
9	577 Documenta Math. Computation of p-Adic Heights and Log Convergence In celebration of John Coates’ 60th birthday Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-24 17:49:13 Mathematics Abstract algebra Algebra Field theory Modular forms Algebraic geometry Valuation P-adic modular form Constructible universe P-adic number P-adic L-function Elliptic curve
10	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor