<--- Back to Details
First PageDocument Content
Automated planning and scheduling / Combinatorial optimization / Mathematical logic / Planning Domain Definition Language / SAS / Symmetry in mathematics / FO / Symmetry / S0 / Theoretical computer science / Mathematics / Applied mathematics
Date: 2009-03-25 09:27:15
Automated planning and scheduling
Combinatorial optimization
Mathematical logic
Planning Domain Definition Language
SAS
Symmetry in mathematics
FO
Symmetry
S0
Theoretical computer science
Mathematics
Applied mathematics

Add to Reading List

Source URL: www.cis.strath.ac.uk

Download Document from Source Website

File Size: 124,21 KB

Share Document on Facebook

Similar Documents

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

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

DocID: 1xVWv - View Document

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

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,

DocID: 1xVSx - View Document

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

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

DocID: 1xVRE - View Document

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

DocID: 1xVOd - View Document

Mathematics 7-12, BS "DBEFNJD.BQ  5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT

DocID: 1xVH0 - View Document