%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.00",
%%% date = "09 July 2009",
%%% time = "16:01:47 MDT",
%%% filename = "math-comput-sci.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "41554 1485 5837 66362",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography; BibTeX; Mathematics in Computer
%%% Science",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a COMPLETE bibliography of the
%%% journal Mathematics in Computer Science
%%% (no CODEN, ISSN 1661-8270 (print), 1661-8289
%%% (electronic)), published by Springer-Verlag.
%%% Publication began with volume 1 in 2007, and
%%% the journal appears quarterly.
%%%
%%% The journal has a Web site reachable from
%%% links at
%%%
%%% http://link.springer.de/link/service/journals/
%%% http://link.springer-ny.com/link/service/journals/
%%%
%%% or directly from either of these:
%%%
%%% http://springerlink.metapress.com/content/120522/
%%% http://springerlink.metapress.com/openurl.asp?genre=journal&issn=1661-8270
%%%
%%% You can use the article Digital Object
%%% Identifier (DOI) values in a search box at
%%% the Web site to find articles quickly.
%%%
%%% At version 1.00, the COMPLETE year coverage
%%% looked like this:
%%%
%%% 2007 ( 18) 2008 ( 35) 2009 ( 10)
%%%
%%% Article: 63
%%%
%%% Total entries: 63
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{
"\ifx \undefined \circled \def \circled #1{(#1)}\fi" #
"\ifx \undefined \reg \def \reg {\circled{R}}\fi"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
Center for Scientific Computing,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-MATH-COMPUT-SCI = "Mathematics in Computer Science"}
%%% ====================================================================
%%% Bibliography entries:
@Article{Wang:2007:E,
author = "Dongming Wang and Zhiming Zheng",
title = "Editorial",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "1--2",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0007-5",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=1",
acknowledgement = ack-nhfb,
}
@Article{Yap:2007:F,
author = "Chee K. Yap and Hoon Hong",
title = "Foreword",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "3--7",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0009-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=3",
acknowledgement = ack-nhfb,
}
@Article{Trefethen:2007:CNF,
author = "Lloyd N. Trefethen",
title = "Computing Numerically with Functions Instead of
Numbers",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "9--19",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0001-y",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "41Axx (68W30)",
MRnumber = "MR2384813",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=9",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
41A10; Secondary 68W30",
}
@Article{Richardson:2007:ZTC,
author = "Daniel Richardson",
title = "Zero Tests for Constants in Simple Scientific
Computation",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "21--37",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0002-x",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=21",
acknowledgement = ack-nhfb,
keywords = "03D15; 11J85; 26A09; Mathematics Subject
Classification (2000)",
}
@Article{Ghosh:2007:ACS,
author = "Sunayana Ghosh and Sylvain Petitjean and Gert Vegter",
title = "Approximation by Conic Splines",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "39--69",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0004-8",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); Primary 65D07; 65D17;
Secondary 68Q25",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=39",
acknowledgement = ack-nhfb,
keywords = "affine curvature; affine spiral; Approximation;
complexity; conics; differential geometry; Hausdorff
distance; splines",
}
@Article{Sharma:2007:RAZ,
author = "Vikram Sharma",
title = "Robust Approximate Zeros in {Banach} Space",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "71--109",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0005-7",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=71",
acknowledgement = ack-nhfb,
keywords = "65G99; 65H10; 65Y20; 68Q25; Mathematics Subject
Classification (2000)",
}
@Article{vanderHoeven:2007:EAC,
author = "Joris van der Hoeven",
title = "On Effective Analytic Continuation",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "111--175",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0006-6",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=111",
acknowledgement = ack-nhfb,
keywords = "03F60; 30-04; 30B40; 30F99; Mathematics Subject
Classification (2000)",
}
@Article{Din:2007:TSC,
author = "Mohab Safey El Din",
title = "Testing Sign Conditions on a Multivariate Polynomial
and Applications",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "1",
pages = "177--207",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0003-9",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:39 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=177",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
14Q20; Secondary 14P10",
}
@Article{Wang:2007:F,
author = "Dongming Wang and Lihong Zhi",
title = "Foreword",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "209--210",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0008-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=209",
acknowledgement = ack-nhfb,
}
@Article{Zhou:2007:CGB,
author = "Meng Zhou and Franz Winkler",
title = "On Computing {Gr{\"o}bner} Bases in Rings of
Differential Operators with Coefficients in a Ring",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "211--223",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0015-5",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); 16; 04",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=211",
acknowledgement = ack-nhfb,
keywords = "Gr{\~A}\P{}bner basis; G-S-polynomials; rings of
differential operators",
}
@Article{Shemyakova:2007:PFS,
author = "Ekaterina Shemyakova",
title = "Parametric Factorizations of Second-, Third- and
{Fourth--Order} Linear Partial Differential Operators
with a Completely Factorable Symbol on the Plane",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "225--237",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0019-1",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=225",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
47F05; Secondary 68W30",
}
@Article{Feinsilver:2007:IAF,
author = "Philip Feinsilver and Ren{\'e} Schott",
title = "Inversion of Analytic Functions via Canonical
Polynomials: {A} Matrix Approach",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "239--251",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0011-9",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); Primary 30A99;
Secondary 68W30; 37C10; 30A06",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=239",
acknowledgement = ack-nhfb,
keywords = "analytic functions; canonical polynomials; dual vector
fields; Lagrange inversion; symbolic computation",
}
@Article{Romanovski:2007:BPP,
author = "Valery G. Romanovski",
title = "Bifurcations of Periodic Points of Some Algebraic
Maps",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "253--265",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0017-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=253",
acknowledgement = ack-nhfb,
keywords = "13P; 37G15; 37M20; Mathematics Subject Classification
(2000)",
}
@Article{Pearson:2007:SSC,
author = "Jane M. Pearson and Noel G. Lloyd",
title = "Space Saving Calculation of Symbolic Resultants",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "267--290",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0016-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); 68W30; 34C07; 13P05",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=267",
acknowledgement = ack-nhfb,
keywords = "multivariate resultants; Symbolic computation",
}
@Article{Gu:2007:UCA,
author = "Nong Gu and Daniel Lazard and Fabrice Rouillier and
Yong Xiang",
title = "Using Computer Algebra to Certify the Global
Convergence of a Numerical Optimization Process",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "291--304",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0021-7",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=291",
acknowledgement = ack-nhfb,
keywords = "14P10; 65K99; Mathematics Subject Classification
(2000); Primary 94A12; secondary 13P10",
}
@Article{Zhang:2007:NMR,
author = "Ting Zhang and Bican Xia",
title = "A New Method for Real Root Isolation of Univariate
Polynomials",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "305--320",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0022-6",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=305",
acknowledgement = ack-nhfb,
keywords = "68W30; Mathematics Subject Classification (2000)",
}
@Article{Sekigawa:2007:LPC,
author = "Hiroshi Sekigawa and Kiyoshi Shirayanagi",
title = "On the Location of Pseudozeros of a Complex Interval
Polynomial",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "321--335",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0018-2",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=321",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
12D10; Secondary 30C15",
}
@Article{Graillat:2007:PSR,
author = "Stef Graillat",
title = "Pseudozero Set of Real Multivariate Polynomials",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "2",
pages = "337--352",
month = dec,
year = "2007",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0012-8",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:46 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=337",
acknowledgement = ack-nhfb,
keywords = "12D10; 26C10; 30C10; 30C15; Mathematics Subject
Classification (2000)",
}
@Article{Kotsireas:2008:F,
author = "Ilias S. Kotsireas",
title = "Foreword",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "3",
pages = "439--439",
month = mar,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0041-y",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:54 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=439",
acknowledgement = ack-nhfb,
}
@Article{Chen:2008:CSN,
author = "William Y. C. Chen and Andreas W. M. Dress and Winking
Q. Yu",
title = "Community Structures of Networks",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "3",
pages = "441--457",
month = mar,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0035-1",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:54 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=441",
acknowledgement = ack-nhfb,
keywords = "68W25; 90C35; 90C90; Mathematics Subject
Classification (2000)",
}
@Article{Ganzha:2008:ESH,
author = "Elena I. Ganzha and Valery M. Loginov and Sergey P.
Tsarev",
title = "Exact Solutions of Hyperbolic Systems of Kinetic
Equations. Application to {Verhulst} Model with Random
Perturbation",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "3",
pages = "459--472",
month = mar,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0036-0",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:54 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=459",
acknowledgement = ack-nhfb,
keywords = "60-08; 65C20; 68W30; Mathematics Subject
Classification (2000)",
}
@Article{Yoshida:2008:IPS,
author = "Hiroshi Yoshida and Katsuhisa Horimoto and Hirokazu
Anai",
title = "Inference of Probabilities over a Stochastic
{IL}-System by Quantifier Elimination",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "3",
pages = "473--485",
month = mar,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0037-z",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:54 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=473",
acknowledgement = ack-nhfb,
keywords = "03C10; 03D05; 62M99; 65H10; Mathematics Subject
Classification (2000)",
}
@Article{Kosub:2008:DRF,
author = "Sven Kosub",
title = "Dichotomy Results for Fixed-Point Existence Problems
for {Boolean} Dynamical Systems",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "3",
pages = "487--505",
month = mar,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0038-y",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:54 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=487",
acknowledgement = ack-nhfb,
keywords = "68Q17; 68Q80; 68Q85; 68R10; Mathematics Subject
Classification (2000)",
}
@Article{Niu:2008:AAS,
author = "Wei Niu and Dongming Wang",
title = "Algebraic Approaches to Stability Analysis of
Biological Systems",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "3",
pages = "507--539",
month = mar,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0039-x",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:54 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=507",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
34D20; Secondary 68W30; Tertiary 78A70",
}
@Article{Chan:2008:F,
author = "Joseph Wun-Tat Chan and Maxime Crochemore",
title = "Foreword",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "541--542",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0034-2",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=541",
acknowledgement = ack-nhfb,
}
@Article{Chan:2008:NOC,
author = "H. L. Chan and T. W. Lam and W. K. Sung and P. W. H.
Wong and S. M. Yiu",
title = "Non-overlapping Common Substrings Allowing Mutations",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "543--555",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0030-6",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=543",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
92-08; Secondary 68W05",
}
@Article{Iliopoulos:2008:NAP,
author = "Costas S. Iliopoulos and Laurent Mouchard and M. Sohel
Rahman",
title = "A New Approach to Pattern Matching in Degenerate
{DNA\slash RNA} Sequences and Distributed Pattern
Matching",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "557--569",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0029-z",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=557",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
68W05; Secondary 68Q25",
}
@Article{Tiskin:2008:SLS,
author = "Alexander Tiskin",
title = "Semi-local String Comparison: Algorithmic Techniques
and Applications",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "571--603",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0033-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=571",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
68W05; Secondary 68R15",
}
@Article{Chen:2008:LZF,
author = "Gang Chen and Simon J. Puglisi and W. F. Smyth",
title = "{Lempel--Ziv} Factorization Using Less Time {\&}
Space",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "605--623",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0024-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=605",
acknowledgement = ack-nhfb,
keywords = "68W05; Mathematics Subject Classification (2000)",
}
@Article{Beal:2008:UA,
author = "Marie-Pierre B{\'e}al and Eugen Czeizler and Jarkko
Kari and Dominique Perrin",
title = "Unambiguous Automata",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "625--638",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0027-1",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=625",
acknowledgement = ack-nhfb,
keywords = "20M35; 68Q45; 68R15; 94A45; Mathematics Subject
Classification (2000)",
}
@Article{Apostolico:2008:SUW,
author = "Alberto Apostolico and Cinzia Pizzi",
title = "Scoring Unusual Words with Varying Mismatch Errors",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "639--653",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0032-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=639",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
68R15; Secondary 68W40",
}
@Article{Giancarlo:2008:TCC,
author = "Raffaele Giancarlo and Davide Scaturro and Filippo
Utro",
title = "A Tutorial on Computational Cluster Analysis with
Applications to Pattern Discovery in Microarray Data",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "655--672",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0025-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=655",
acknowledgement = ack-nhfb,
keywords = "68Q05; Mathematics Subject Classification (2000);
Primary 68Q25",
}
@Article{Banerjee:2008:EAV,
author = "Satyajit Banerjee and Atish Datta Chowdhury and Subhas
Kumar Ghosh",
title = "Efficient Algorithms for Variants of Weighted Matching
and Assignment Problems",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "673--688",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0028-0",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=673",
acknowledgement = ack-nhfb,
keywords = "68W25; Mathematics Subject Classification (2000);
Primary 68R10; Secondary 05C85",
}
@Article{Farago:2008:GTD,
author = "Andr{\'a}s Farag{\'o}",
title = "A General Tractable Density Concept for Graphs",
journal = j-MATH-COMPUT-SCI,
volume = "1",
number = "4",
pages = "689--699",
month = jun,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0026-2",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:43:59 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=689",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
05C85; Secondary 68Q25",
}
@Article{Plaice:2008:HBW,
author = "John Plaice and Mehmet A. Orgun",
title = "In Honour of {Bill Wadge}",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "1--3",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0061-7",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=1",
acknowledgement = ack-nhfb,
}
@Article{Selivanov:2008:WRI,
author = "Victor Selivanov",
title = "{Wadge} Reducibility and Infinite Computations",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "5--36",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0042-x",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=5",
acknowledgement = ack-nhfb,
keywords = "03D10; 03E60; Mathematics Subject Classification
(2000); Primary 03D05; Secondary 03E15",
}
@Article{Plaice:2008:LTI,
author = "John Plaice and Blanca Mancilla and Gabriel Ditu",
title = "From {Lucid} to {TransLucid}: Iteration, Dataflow,
Intensional and {Cartesian} Programming",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "37--61",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0043-9",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=37",
acknowledgement = ack-nhfb,
keywords = "68N15; Mathematics Subject Classification (2000)",
}
@Article{Mancilla:2008:PWV,
author = "Blanca Mancilla and John Plaice",
title = "Possible Worlds Versioning",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "63--83",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0044-8",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=63",
acknowledgement = ack-nhfb,
keywords = "68N19; Mathematics Subject Classification (2000)",
}
@Article{Finkel:2008:WDI,
author = "Olivier Finkel",
title = "{Wadge} Degrees of Infinitary Rational Relations",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "85--102",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0045-7",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=85",
acknowledgement = ack-nhfb,
keywords = "03B70; 03D05; 03E15; 68Q15; 68Q45; Mathematics Subject
Classification (2000)",
}
@Article{Orchard:2008:ILD,
author = "Dominic A. Orchard and Steve Matthews",
title = "Integrating {Lucid}'s Declarative Dataflow Paradigm
into Object-Orientation",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "103--122",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0046-6",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=103",
acknowledgement = ack-nhfb,
keywords = "68N15; 68N19; 68Q55; Mathematics Subject
Classification (2000)",
}
@Article{Charalambidis:2008:EII,
author = "Angelos Charalambidis and Athanasios Grivas and
Nikolaos S. Papaspyrou and Panos Rondogiannis",
title = "Efficient Intensional Implementation for Lazy
Functional Languages",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "123--141",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0047-5",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=123",
acknowledgement = ack-nhfb,
keywords = "68N15; 68N18; 68N20; Mathematics Subject
Classification (2000)",
}
@Article{Orgun:2008:KRR,
author = "Mehmet A. Orgun and Chuchang Liu and Abhaya C. Nayak",
title = "Knowledge Representation, Reasoning and Integration
Using Temporal Logic with Clocks",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "143--163",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0048-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); 68T30; 68T27",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=143",
acknowledgement = ack-nhfb,
keywords = "Multiple granularity of time; temporal knowledge
representation; temporal logics",
}
@Article{Orgun:2008:QHD,
author = "Mehmet A. Orgun",
title = "Querying Historical Data Over Multiple Time-Lines",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "1",
pages = "165--191",
month = nov,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0049-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); 68P15; 68U35",
bibdate = "Thu Jul 9 15:44:07 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=165",
acknowledgement = ack-nhfb,
keywords = "Historical databases; multiple time-lines; temporal
algebras; temporal splicing",
}
@Article{Kerber:2008:F,
author = "Manfred Kerber",
title = "Foreword",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "193--194",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0050-x",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=193",
acknowledgement = ack-nhfb,
}
@Article{Aly:2008:ISS,
author = "Walaa Aly and Seiichi Uchida and Masakazu Suzuki",
title = "Identifying Subscripts and Superscripts in
Mathematical Documents",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "195--209",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0051-9",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=195",
abstract = "In mathematical OCR, it is necessary to analyze
two-dimensional structures of the component characters
and symbols in mathematical expressions printed in
scientific documents. In this paper, we analyze the
positional relationships between adjacent characters
for the purpose of automatic discrimination between
baseline characters, subscripts, and superscripts,
which is one of the most important and delicate parts
of structure analysis. It has been proven through a
large-scale experiment that this discrimination can be
carried out almost perfectly ($\approx 99.89\%$) by
using the relative size and position of adjacent
characters.",
acknowledgement = ack-nhfb,
keywords = "68T05; 68T10; Mathematics Subject Classification
(2000)",
}
@Article{Cohen:2008:APG,
author = "Arjeh M. Cohen and Jan Willem Knopper and Scott H.
Murray",
title = "Automatic Proof of Graph Nonisomorphism",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "211--229",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0052-8",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=211",
acknowledgement = ack-nhfb,
keywords = "03B35; 05C25; 05C60; 68R10; Mathematics Subject
Classification (2000)",
}
@Article{Urban:2008:ABC,
author = "Josef Urban and Geoff Sutcliffe",
title = "{ATP}-based {Cross--Verification} of {Mizar} Proofs:
Method, Systems, and First Experiments",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "231--251",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0053-7",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=231",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
03E99; Secondary 68T15",
}
@Article{Autexier:2008:OTP,
author = "Serge Autexier and Christoph Benzm{\"u}ller and
Dominik Dietrich and Marc Wagner",
title = "Organization, Transformation, and Propagation of
Mathematical Knowledge in {$\Omega$mega}",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "253--277",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0054-6",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=253",
acknowledgement = ack-nhfb,
keywords = "68T30; 68T35; Mathematics Subject Classification
(2000)",
}
@Article{Kohlhase:2008:USM,
author = "Michael Kohlhase",
title = "Using {\LaTeX} as a Semantic Markup Format",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "279--304",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0055-5",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); 68U15",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=279",
abstract = "One of the great problems of Mathematical Knowledge
Management (MKM) systems is to obtain access to a
sufficiently large corpus of mathematical knowledge to
allow the management/search/navigation techniques
developed by the community to display their strength.
Such systems usually expect the mathematical knowledge
they operate on in the form of semantically enhanced
documents, but mathematicians and publishers in
Mathematics have heavily invested into the
{\TeX}/{\LaTeX} format and workflow.\par
We analyze the current practice of semi-semantic markup
in {\LaTeX} documents and extend it by a markup
infrastructure that allows to embed semantic
annotations into {\LaTeX} documents without changing
their visual appearance. This collection of {\TeX}
macro packages is called {s\TeX} (semantic {\TeX}) as
it allows to markup documents semantically without
leaving the time-tried workflow, essentially turning
{\LaTeX} into an MKM format. At the heart of {s\TeX} is
a definition mechanism for semantic macros for
mathematical objects and a non-standard scoping
construct for them, which is oriented at the semantic
dependency relation rather than the document structure.
We evaluate the {s\TeX} macro collection on a large
case study: the course materials of a two-semester
course in Computer Science was annotated semantically
and converted to the OMDoc MKM format by Bruce Miller's
{\LaTeX}ML system.",
acknowledgement = ack-nhfb,
keywords = "elision; Knowledge representation; semantics;
typography",
}
@Article{Altamimi:2008:MQL,
author = "Moody Ebrahem Altamimi and Abdou Youssef",
title = "A Math Query Language with an Expanded Set of
Wildcards",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "305--331",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0056-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=305",
abstract = "Math search is a new area of research with many
enabling technologies but also many challenges. Some of
the enabling technologies include XML, XPath, XQuery,
and MathML. Some of the challenges involve enabling
search systems to recognize mathematical symbols and
structures. Several math search projects have made
considerable progress in meeting those challenges. One
of the remaining challenges is the creation and
implementation of a math query language that enables
the general users to express their information needs
intuitively yet precisely. This paper will present such
a language and detail its features. The new math query
language offers an alternative way to describe
mathematical expressions that is more consistent and
less ambiguous than conventional mathematical notation.
In addition, the language goes beyond the Boolean and
proximity query syntax found in standard text search
systems. It defines a powerful set of wildcards that
are deemed important for math search. These wildcards
provide for more precise structural search and
multi-levels of abstractions. Three new sets of
wildcards and their implementation details will also be
discussed.",
acknowledgement = ack-nhfb,
keywords = "68N99; Mathematics Subject Classification (2000)",
}
@Article{Youssef:2008:RRH,
author = "Abdou S. Youssef",
title = "Relevance Ranking and Hit Description in Math Search",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "333--353",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0057-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=333",
acknowledgement = ack-nhfb,
keywords = "68N99; Mathematics Subject Classification (2000)",
}
@Article{Coen:2008:SDE,
author = "Claudio Sacerdoti Coen and Stefano Zacchiroli",
title = "Spurious Disambiguation Errors and How to Get Rid of
Them",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "355--378",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0058-2",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=355",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
68T99; Secondary 03B70",
}
@Article{Davenport:2008:FEO,
author = "James H. Davenport and Paul Libbrecht",
title = "The Freedom to Extend {OpenMath} and its Utility",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "2",
pages = "379--398",
month = dec,
year = "2008",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0059-1",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:16 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=379",
abstract = "OpenMath is a standard for representing the semantics
of mathematical objects. It differs from Presentation
MathML in not being directly concerned with the
presentation of the object, and from Content MathML 2
in being extensible.\par
How should these extensions be performed so as to
maximize the utility (which includes presentation) of
OpenMath? How could publishers have the freedom to
extend and let consumers find their way with
expressions discovered on the Web? The answer up to now
has been, too often, to say `this is not specified'
whereas the existing content dictionary mechanism of
OpenMath allows it to include formal properties which
state mathematical facts that should stay
uncontradicted while manipulating the symbols.\par
The contribution of this paper is to propose methods to
exploit the content dictionaries so as to allow an
OpenMath-consuming tool to process expressions even if
containing symbols it did not know about before. This
approach is generalized to allow such newly discovered
symbol to be, for example, rendered or input.",
acknowledgement = ack-nhfb,
keywords = "00A22; 00A35; 68M14; 68P20; 68T30; Mathematics Subject
Classification (2000)",
}
@Article{Anai:2009:F,
author = "Hirokazu Anai and Katsuhisa Horimoto",
title = "Foreword",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "399--400",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-009-0070-1",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=399",
acknowledgement = ack-nhfb,
}
@Article{Tamura:2009:ASA,
author = "Takeyuki Tamura and Tatsuya Akutsu",
title = "Algorithms for Singleton Attractor Detection in Planar
and Nonplanar {AND\slash OR} {Boolean} Networks",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "401--420",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0063-5",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=401",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
11Y16; Secondary 68Q25",
}
@Article{Siebert:2009:DBB,
author = "Heike Siebert",
title = "Deriving Behavior of Boolean Bioregulatory Networks
from Subnetwork Dynamics",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "421--442",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0064-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=421",
acknowledgement = ack-nhfb,
keywords = "92C99; Mathematics Subject Classification (2000)",
}
@Article{Boulier:2009:TAR,
author = "Fran{\c{c}}ois Boulier and Fran{\c{c}}ois Lemaire and
Alexandre Sedoglavic and Asli {\"U}rg{\"u}pl{\"u}",
title = "Towards an Automated Reduction Method for Polynomial
{ODE} Models of Biochemical Reaction Systems",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "443--464",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0062-6",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=443",
acknowledgement = ack-nhfb,
keywords = "12H05; 37N25; 62P10; Mathematics Subject
Classification (2000)",
}
@Article{Bortolussi:2009:HDS,
author = "Luca Bortolussi and Alberto Policriti",
title = "Hybrid Dynamics of Stochastic $\pi$-Calculus",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "465--491",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0065-3",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
MRclass = "subject classification (2000); 92C99; 68U20; 93A99",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=465",
acknowledgement = ack-nhfb,
keywords = "Stochastic $\pi$-calculus; conservation laws; hybrid
automata;",
}
@Article{Sturm:2009:IAL,
author = "Thomas Sturm and Andreas Weber and Essam O.
Abdel-Rahman and M'hammed El Kahoui",
title = "Investigating Algebraic and Logical Algorithms to
Solve {Hopf} Bifurcation Problems in Algebraic
Biology",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "493--515",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0067-1",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=493",
acknowledgement = ack-nhfb,
keywords = "03C10; 37G10; 92C45; Mathematics Subject
Classification (2000)",
}
@Article{Kahoui:2009:SDF,
author = "M\'hammed El Kahoui and Adamou Otto",
title = "Stability of Disease Free Equilibria in
Epidemiological Models",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "517--533",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0068-0",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=517",
acknowledgement = ack-nhfb,
keywords = "13P10; 92D30; Mathematics Subject Classification
(2000)",
}
@Article{McCaig:2009:IPS,
author = "Chris McCaig and Rachel Norman and Carron Shankland",
title = "From Individuals to Populations: {A} Symbolic Process
Algebra Approach to Epidemiology",
journal = j-MATH-COMPUT-SCI,
volume = "2",
number = "3",
pages = "535--556",
month = mar,
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0066-2",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:24 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=535",
acknowledgement = ack-nhfb,
keywords = "68Q85; Mathematics Subject Classification (2000);
Primary 92D25; Secondary 92D30",
}
%%% Online articles that have not yet been assigned a journal volume and number [09-Jul-2009]
@Article{Ilie:2009:CCE,
author = "Silvana Ilie and Robert M. Corless and Chris Essex",
title = "The Computational Complexity of Extrapolation
Methods",
journal = j-MATH-COMPUT-SCI,
volume = "??",
number = "??",
pages = "??--??",
month = "????",
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-007-0040-4",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:30 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=0&issue=0",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=0&issue=0&spage=??",
acknowledgement = ack-nhfb,
keywords = "65L06; 68Q25; Mathematics Subject Classification
(2000)",
}
@Article{Nabeshima:2009:RGB,
author = "Katsusuke Nabeshima",
title = "Reduced {Gr{\"o}bner} Bases in Polynomial Rings over a
Polynomial Ring",
journal = j-MATH-COMPUT-SCI,
volume = "??",
number = "??",
pages = "??--??",
month = "????",
year = "2009",
CODEN = "????",
DOI = "http://dx.doi.org/10.1007/s11786-008-0060-8",
ISSN = "1661-8270 (print), 1661-8289 (electronic)",
bibdate = "Thu Jul 9 15:44:30 MDT 2009",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=0&issue=0",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=0&issue=0&spage=??",
acknowledgement = ack-nhfb,
keywords = "Mathematics Subject Classification (2000); Primary
16-04; secondary 16U10",
}