×

Found 619 Documents (Results 1–100)

An intuitive automated modelling interface for systems biology. (English) Zbl 1456.92071

Cooper, S. Barry (ed.) et al., Fifth workshop on developments in computational models – computational models from nature, Rhodes, Greece, July 11, 2009. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 9, 73-86 (2009).
PDFBibTeX XMLCite
Full Text: Link

LS-LIB: a library of tools for solving production planning problems. (English) Zbl 1359.90004

Cook, William J. (ed.) et al., Research trends in combinatorial optimization. Papers based on the presentations at the workshop Bonn, Germany, 2008. Dedicated to Bernard Korte on the occasion of the 70th birthday. Berlin: Springer (ISBN 978-3-540-76795-4/hbk). 317-346 (2009).
MSC:  90-04 90B30 90C11
PDFBibTeX XMLCite
Full Text: DOI

Algorithms for sequencing multileaf collimators. (English) Zbl 1341.92028

Pardalos, Panos M. (ed.) et al., Handbook of optimization in medicine. New York, NY: Springer (ISBN 978-0-387-09769-5/hbk; 978-1-4419-3532-8/pbk). Springer Optimization and Its Applications 26, 169-212 (2009).
MSC:  92C50 78A40 92-04
PDFBibTeX XMLCite
Full Text: DOI

The shallow water model: the relevance of geometry and turbulence. (English) Zbl 1325.76103

Díaz, Jesús Ildefonso (ed.) et al., Maths and water. Selected papers based on the presentations at the international congress on mathematics and water, Zaragoza, Spain, May 19–21, 2008. Zaragoza: Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza. Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza 31, 217-236 (2009).
MSC:  76F60 76M12
PDFBibTeX XMLCite

Validated computations for fundamental solutions of linear ordinary differential equations. (English) Zbl 1266.34006

Bandle, Catherine (ed.) et al., Inequalities and applications. Proceedings of the conference on inequalities and applications, Noszvaj, Hungary, September 9–15, 2007. Basel: Birkhäuser (ISBN 978-3-7643-8772-3/hbk). ISNM. International Series of Numerical Mathematics 157, 43-50 (2009).
MSC:  34A05 34A30 34-04
PDFBibTeX XMLCite
Full Text: DOI

Computation schemes for splitting fields of polynomials. (English) Zbl 1237.68259

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 279-286 (2009).
MSC:  68W30 12-04 12Y05 12F99
PDFBibTeX XMLCite
Full Text: DOI HAL

Computations modulo regular chains. (English) Zbl 1237.13004

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 239-246 (2009).
MSC:  13-04 13P15 68W30
PDFBibTeX XMLCite
Full Text: DOI

Principal intersection and Bernstein-Sato polynomial of an affine variety. (English) Zbl 1237.14004

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 231-238 (2009).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Biased tadpoles: a fast algorithm for centralizers in large matrix groups. (English) Zbl 1237.68256

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 223-230 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Variant real quantifier elimination: algorithm and application. (English) Zbl 1237.14005

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 183-190 (2009).
MSC:  14-04 14Q15 68W30
PDFBibTeX XMLCite
Full Text: DOI

Analyzing group based matrix multiplication algorithms. (English) Zbl 1237.65044

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 159-165 (2009).
MSC:  65F30 15-04 68W30 15A99
PDFBibTeX XMLCite
Full Text: DOI

Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases. (English) Zbl 1237.13052

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 151-158 (2009).
MSC:  13P10 13-04 68W30
PDFBibTeX XMLCite
Full Text: DOI

Size of coefficients of lexicographical Gröbner bases: the zero-dimensional, radical and bivariate case. (English) Zbl 1237.13003

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 119-126 (2009).
MSC:  13-04 13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI

A non-holonomic systems approach to special function identities. (English) Zbl 1237.33001

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 111-118 (2009).
MSC:  33-04 33F10 68W30
PDFBibTeX XMLCite
Full Text: DOI Link

Liouvillian solutions of irreducible linear difference equations. (English) Zbl 1237.39001

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 87-93 (2009).
MSC:  39-04 68W30 39A06
PDFBibTeX XMLCite
Full Text: DOI

Computation of the \((n-1)\)-st Koszul homology of monomial ideals and related algorithms. (English) Zbl 1237.13002

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 31-37 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Comparative analysis of the Burnside groups \(B(2,5)\) and \(B_0(2,5)\). (English. Russian original) Zbl 1238.20056

Proc. Steklov Inst. Math. 267, Suppl. 1 (2009, Suppl. 3), S111-S117 (2009); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 15, No. 2, 125-132 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Lexicographically smallest minimum weight vectors in binary codes. (English) Zbl 1216.94002

Abascal, Policarpo (ed.) et al., Nuevos avances en criptografía y codificación de la información. Sesión especial congreso de la Real Sociedad Matemática RSME 2009, Oviedo, 4–7 de febrero de 2009. Lleida: Ediciones i Publicaciones de la UDL (ISBN 978-84-8409-277-3/pbk). 13-18 (2009).
MSC:  94-04 94B05
PDFBibTeX XMLCite

Journal ratings and their consensus ranking. (English) Zbl 1209.90274

Fleischmann, Bernhard (ed.) et al., Operations research proceedings 2008. Selected papers of the annual international conference of the German Operations Research Society (GOR), University of Augsburg, September 3–5, 2008. Berlin: Springer (ISBN 978-3-642-00141-3/pbk; 978-3-642-00142-0/ebook). 401-406 (2009).
MSC:  90C10 90-04
PDFBibTeX XMLCite
Full Text: DOI

MEFISTO: A pragmatic metaheuristic framework for adaptive search with a special application to pickup and delivery transports. (English) Zbl 1209.90032

Fleischmann, Bernhard (ed.) et al., Operations research proceedings 2008. Selected papers of the annual international conference of the German Operations Research Society (GOR), University of Augsburg, September 3–5, 2008. Berlin: Springer (ISBN 978-3-642-00141-3/pbk; 978-3-642-00142-0/ebook). 253-258 (2009).
MSC:  90B06 90-04 90C27
PDFBibTeX XMLCite
Full Text: DOI

Easy finite element method with software. With CD-ROM. (English) Zbl 1213.65005

New Delhi: Narosa Publishing House; Oxford Alpha Science International (ISBN 978-1-84265-536-8/hbk). 361 p. (2009).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software