Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1

Source URL: scungao.github.io

• Computability theory
• Mathematics
• Mathematical logic
• Theory of computation
• Computable number
• Decision problem
• Computable function
• NC
• Continuous function
• First-order logic
• Real closed field
• Limit of a function

arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly

Source URL: arxiv.org

A Dynamic Computable General Equilibrium (CGE) Analysis of the Trans-Pacific Partnership Agreement: Potential Impacts on the New Zealand Economy

Source URL: tpp.mfat.govt.nz

Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract

Source URL: paul.rutgers.edu

• Mathematical analysis
• Computability theory
• Mathematics
• Theory of computation
• Theoretical computer science
• Martingale theory
• Stochastic processes
• Kakeya set
• Real analysis
• Computable function
• Martingale
• Computable number

Adv. Appl. Prob. 46, 766–Printed in Northern Ireland © Applied Probability Trust 2014 A TWO-SIDED LAPLACE INVERSION ALGORITHM WITH COMPUTABLE ERROR BOUNDS AND ITS

Source URL: www.rmi.nus.edu.sg

• Integral transforms
• Fourier analysis
• Mathematical physics
• Probability distributions
• Normal distribution
• Laplace transform
• Fourier transform
• Holomorphic functional calculus

Adaptation decisions and damage costs under uncertainty in an empirical general equilibrium framework Takafumi Usui∗ ∗ Laboratory 2nd

Source URL: www.simlab.ethz.ch

• Project management
• Flood
• Hydrology
• Computable general equilibrium
• Economic model
• Simulation
• Costbenefit analysis
• Economics
• cole Polytechnique Fdrale de Lausanne
• Physical geography
• Economy

DEGREES BOUNDING PRINCIPLES AND UNIVERSAL INSTANCES IN REVERSE MATHEMATICS LUDOVIC PATEY ABSTRACT. A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable soluti

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Theory of computation
• Computability theory
• Theoretical computer science
• Computation in the limit
• Computable function
• Differential forms on a Riemann surface
• Congruence lattice problem

Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme

Source URL: cca-net.de

• Computability theory
• Computable function
• Computable analysis
• Recursively enumerable set
• Oracle machine
• Computability
• High
• Reduction
• Mathematical logic

15 > 17 JUNE http://cca-net.de anfiteatro -1.A, Faculdade de Economia

Source URL: cca-net.de

• Computability theory
• Constructivism
• Theory of computation
• Computable analysis
• Mathematics
• Logic
• Computable number
• Realizability
• Academia
• Computable measure theory

Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Theory of computation
• Computable function
• Primitive recursive function
• operator
• Language identification in the limit
• Sequence
• Arithmetical hierarchy
• Cauchy sequence