<--- Back to Details
First PageDocument Content
James Anderson / Place of birth missing / Year of birth missing / Functions and mappings / Golden ratio / Function / Constructible universe / Model theory / Multiplicative order / Mathematics / Modular arithmetic / Computer arithmetic
Date: 2010-09-28 16:35:40
James Anderson
Place of birth missing
Year of birth missing
Functions and mappings
Golden ratio
Function
Constructible universe
Model theory
Multiplicative order
Mathematics
Modular arithmetic
Computer arithmetic

Add to Reading List

Source URL: www.bookofparagon.com

Download Document from Source Website

File Size: 238,13 KB

Share Document on Facebook

Similar Documents

Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

DocID: 1xVM0 - View Document

Geometry / Algebra / Abstract algebra / Algebraic geometry / Chenyang Xu / Minimal model program / Fano variety / Canonical singularity / Birational geometry / Projective variety / Resolution of singularities / Canonical bundle

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

DocID: 1xVHX - View Document

Model theory / Mathematics / Mathematical logic / Metalogic / Non-standard analysis / Ultraproduct / Maryanthe Malliaris / Ultrafilter / Saturated model / O-minimal theory / Type / Finite set

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris

DocID: 1xTmh - View Document

Logic / Mathematical logic / Theoretical computer science / Model theory / Logic in computer science / Logical truth / Philosophy of logic / Satisfiability / Convex function / Universal quantification / Boolean satisfiability problem

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

DocID: 1xTeO - View Document

factor prices in general equilibrium factor prices in general equilibrium 1 Introduction At first glance, the Walrasian general equilibrium model does not offer a theory of factor prices. Factors are goods

DocID: 1vrRG - View Document