3 May 1998 ITERATED RANDOM FUNCTIONS Persi Diaconis Department of Mathematics & ORIE Cornell University

Source URL: www.stat.berkeley.edu

• Mathematical analysis
• Probability theory
• Statistical theory
• Asymptotic theory
• Graph theory
• Markov chain
• Random variable
• Conditional probability distribution
• Stochastic processes
• Harris chain
• Law of large numbers

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

Source URL: scan2018.oishi.info.waseda.ac.jp

• Mathematics
• Computer arithmetic
• Numerical analysis
• Applied mathematics
• Arithmetic
• Interval arithmetic
• Computer-assisted proof
• Computational science
• Scan

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN

Source URL: cosweb1.fau.edu

• Algebra
• Mathematics
• Polynomials
• Computer algebra
• Polynomial
• General number field sieve
• Resultant
• Irreducible polynomial
• Factorization
• Polynomial greatest common divisor
• Degree of a polynomial

A characterization of Riemann integrability Cosmin Burtea Faculty of Mathematics, "Al. I. Cuza" University of Ia³i, Romania Abstract We prove a characterization of Riemann integrability by using some Darboux-like sums w

Source URL: math.univ-lyon1.fr

Mathematics 7-12, BS "DBEFNJD
.BQ
 5IF
"DBEFNJD
.BQ
TFSWFT
BT
B
TVHHFTUFE
DPVSTF
TFRVFODF
POMZ
4UVEFOUT
BSF
OPU
MJNJUFE
UP
UIJT
QMBO
JU
JT
NFBOU
UP
CF
VTFE
BT

Source URL: catalog.southernct.edu

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS

Source URL: www.lix.polytechnique.fr

• Mathematics
• Abstract algebra
• Mathematical analysis
• Algebraic number theory
• Discriminant of an algebraic number field
• Riemann hypothesis
• Algebraic number field
• Table of stars with Bayer designations
• Computational complexity of mathematical operations

Hierarchical Task Model with Alternatives for Predictive-reactive Scheduling Marek Vlk and Roman Barta´k (supervisor) Charles University in Prague, Faculty of Mathematics and Physics Malostranske´ na´m. 25, Pra

Source URL: icaps16.icaps-conference.org

• Business
• Economy
• Scheduling
• Information technology management
• Operations research
• Production planning
• Schedule
• Workflow
• Business process management
• Program evaluation and review technique
• Hierarchical task network
• Job shop scheduling

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Embedded systems
• Prosthetics
• Artificial cardiac pacemaker
• Cardiac electrophysiology
• Cybernetics
• Neuroprosthetics
• IP
• Analysis
• FO
• Dirac delta function

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: www.cl.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road,

Source URL: tointon.neocities.org

• Lie groups
• Mathematics
• Algebra
• Abstract algebra
• Nilpotent group
• Approximate group
• Lie algebra
• Exponential map
• BakerCampbellHausdorff formula
• Quotient group