Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsc/jsc46.bht:"
download as .bib file
@article{DBLP:journals/jsc/AbramovBHP11,
author = {Sergei A. Abramov and
Moulay A. Barkatou and
Mark van Hoeij and
Marko Petkovsek},
title = {Subanalytic solutions of linear difference equations and multidimensional
hypergeometric sequences},
journal = {J. Symb. Comput.},
volume = {46},
number = {11},
pages = {1205--1228},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.003},
doi = {10.1016/J.JSC.2011.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AbramovBHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AdrovicV11,
author = {Danko Adrovic and
Jan Verschelde},
title = {Tropical algebraic geometry in Maple: {A} preprocessing algorithm
for finding common factors for multivariate polynomials with approximate
coefficients},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {755--772},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.011},
doi = {10.1016/J.JSC.2010.08.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AdrovicV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AlvanosP11,
author = {Paraskevas Alvanos and
Dimitrios Poulakis},
title = {Solving genus zero Diophantine equations over number fields},
journal = {J. Symb. Comput.},
volume = {46},
number = {1},
pages = {54--69},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.002},
doi = {10.1016/J.JSC.2010.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AlvanosP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ArnoldKR11,
author = {Elizabeth Arnold and
Ilias S. Kotsireas and
Markus Rosenkranz},
title = {Bruno Buchberger and the world of Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {495--497},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.001},
doi = {10.1016/J.JSC.2010.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArnoldKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ArriP11,
author = {Alberto Arri and
John Perry},
title = {The {F5} criterion revised},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {1017--1029},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.004},
doi = {10.1016/J.JSC.2011.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArriP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaileyB11,
author = {David H. Bailey and
Jonathan M. Borwein},
title = {High-precision numerical integration: Progress and challenges},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {741--754},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.010},
doi = {10.1016/J.JSC.2010.08.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BaileyB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaldanBCHK11,
author = {Paolo Baldan and
Filippo Bonchi and
Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig},
title = {A lattice-theoretical perspective on adhesive categories},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {222--245},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.006},
doi = {10.1016/J.JSC.2010.09.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BaldanBCHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BallisK11,
author = {Demis Ballis and
Temur Kutsia},
title = {Foreword},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {93--94},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.003},
doi = {10.1016/J.JSC.2010.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BallisK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BantiPT11,
author = {Federico Banti and
Rosario Pugliese and
Francesco Tiezzi},
title = {An accessible verification environment for {UML} models of services},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {119--149},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.005},
doi = {10.1016/J.JSC.2010.08.005},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BantiPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BarkatouCB11,
author = {Moulay A. Barkatou and
Thomas Cluzeau and
Carole El Bacha},
title = {Simple forms of higher-order linear differential systems and their
applications in computing regular solutions},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {633--658},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.001},
doi = {10.1016/J.JSC.2011.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BarkatouCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BederMNSSS11,
author = {Jesse Beder and
Jason McCullough and
Luis N{\'{u}}{\~{n}}ez{-}Betancourt and
Alexandra Seceleanu and
Bart Snapp and
Branden Stone},
title = {Ideals with larger projective dimension and regularity},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1105--1113},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.011},
doi = {10.1016/J.JSC.2011.05.011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BederMNSSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BernardiGI11,
author = {Alessandra Bernardi and
Alessandro Gimigliano and
Monica Id{\`{a}}},
title = {Computing symmetric rank for symmetric tensors},
journal = {J. Symb. Comput.},
volume = {46},
number = {1},
pages = {34--53},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.001},
doi = {10.1016/J.JSC.2010.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BernardiGI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BigattiCR11,
author = {Anna Maria Bigatti and
Massimo Caboara and
Lorenzo Robbiano},
title = {Computing inhomogeneous Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {498--510},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.002},
doi = {10.1016/J.JSC.2010.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BigattiCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Bila11,
author = {Nicoleta Bila},
title = {On a new method for finding generalized equivalence transformations
for differential equations involving arbitrary functions},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {659--671},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.002},
doi = {10.1016/J.JSC.2011.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Bila11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BlancoE11,
author = {Roc{\'{\i}}o Blanco and
Santiago Encinas},
title = {Embedded desingularization of toric varieties},
journal = {J. Symb. Comput.},
volume = {46},
number = {11},
pages = {1229--1241},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.005},
doi = {10.1016/J.JSC.2011.08.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BlancoE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BlancoP11,
author = {V{\'{\i}}ctor Blanco and
Justo Puerto},
title = {Some algebraic methods for solving multiobjective polynomial integer
programs},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {511--533},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.003},
doi = {10.1016/J.JSC.2010.10.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BlancoP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BostanCHS11,
author = {Alin Bostan and
Muhammad F. I. Chowdhury and
Joris van der Hoeven and
{\'{E}}ric Schost},
title = {Homotopy techniques for multiplication modulo triangular sets},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1378--1402},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.015},
doi = {10.1016/J.JSC.2011.08.015},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BostanCHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BraatzGS11,
author = {Benjamin Braatz and
Ulrike Golas and
Thomas Soboll},
title = {How to delete categorically - Two pushout complement constructions},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {246--271},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.007},
doi = {10.1016/J.JSC.2010.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BraatzGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BrettoF11,
author = {Alain Bretto and
Alain Faisant},
title = {Cayley graphs and G-graphs: Some applications},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1403--1412},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.016},
doi = {10.1016/J.JSC.2011.08.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BrettoF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CaboaraCT11,
author = {Massimo Caboara and
Fabrizio Caruso and
Carlo Traverso},
title = {Lattice Polly Cracker cryptosystems},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {534--549},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.004},
doi = {10.1016/J.JSC.2010.10.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CaboaraCT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CastlePR11,
author = {Mari F. Castle and
Victoria Powers and
Bruce Reznick},
title = {P{\'{o}}lya's Theorem with zeros},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {1039--1048},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.006},
doi = {10.1016/J.JSC.2011.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CastlePR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CastryckV11,
author = {Wouter Castryck and
Frederik Vercauteren},
title = {Toric forms of elliptic curves and their arithmetic},
journal = {J. Symb. Comput.},
volume = {46},
number = {8},
pages = {943--966},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.02.003},
doi = {10.1016/J.JSC.2011.02.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CastryckV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CioffiR11,
author = {Francesca Cioffi and
Margherita Roggero},
title = {Flat families by strongly stable ideals and a generalization of Gr{\"{o}}bner
bases},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {1070--1084},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.009},
doi = {10.1016/J.JSC.2011.05.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/CioffiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DAlfonsoJOSS11,
author = {Lisi D'Alfonso and
Gabriela Jeronimo and
Fran{\c{c}}ois Ollivier and
Alexandre Sedoglavic and
Pablo Solern{\'{o}}},
title = {A geometric index reduction method for implicit systems of differential
algebraic equations},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1114--1138},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.012},
doi = {10.1016/J.JSC.2011.05.012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DAlfonsoJOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DarmianHM11,
author = {Mahdi Dehghani Darmian and
Amir Hashemi and
Antonio Montes},
title = {Erratum to "A new algorithm for discussing Gr{\"{o}}bner bases
with parameters" {[J.} Symbolic Comput. 33(1-2) {(2002)} 183-208]},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1187--1188},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.002},
doi = {10.1016/J.JSC.2011.05.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DarmianHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasDR11,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Jean{-}Claude Reynaud},
title = {Cartesian effect categories are Freyd-categories},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {272--293},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.008},
doi = {10.1016/J.JSC.2010.09.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DumasDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasFS11,
author = {Jean{-}Guillaume Dumas and
Laurent Fousse and
Bruno Salvy},
title = {Simultaneous modular reduction and Kronecker substitution for small
finite fields},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {823--840},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.015},
doi = {10.1016/J.JSC.2010.08.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DumasFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EllisS11,
author = {Graham Ellis and
Paul Smith},
title = {Computing group cohomology rings from the Lyndon-Hochschild-Serre
spectral sequence},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {360--370},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.001},
doi = {10.1016/J.JSC.2010.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EllisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EmirisK11,
author = {Ioannis Z. Emiris and
Christos Konaxis},
title = {Single-lifting Macaulay-type formulae of generalized unmixed sparse
resultants},
journal = {J. Symb. Comput.},
volume = {46},
number = {8},
pages = {919--942},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.02.002},
doi = {10.1016/J.JSC.2011.02.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EmirisK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaugereDS11,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {Gr{\"{o}}bner bases of bihomogeneous ideals generated by polynomials
of bidegree (1, 1): Algorithms and complexity},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {406--437},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.014},
doi = {10.1016/J.JSC.2010.10.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaugereDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaugereL11,
author = {Jean{-}Charles Faug{\`{e}}re and
Ye Liang},
title = {Artificial discontinuities of single-parametric Gr{\"{o}}bner
bases},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {459--466},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.11.001},
doi = {10.1016/J.JSC.2010.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaugereL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Fruhbis-Kruger11,
author = {Anne Fr{\"{u}}hbis{-}Kr{\"{u}}ger},
title = {A modified coefficient ideal for use with the strict transform},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {550--560},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.005},
doi = {10.1016/J.JSC.2010.10.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Fruhbis-Kruger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GiesbrechtR11,
author = {Mark Giesbrecht and
Daniel S. Roche},
title = {Detecting lacunary perfect powers and computing their roots},
journal = {J. Symb. Comput.},
volume = {46},
number = {11},
pages = {1242--1259},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.006},
doi = {10.1016/J.JSC.2011.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GiesbrechtR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GiesbrechtW11,
author = {Mark Giesbrecht and
Stephen M. Watt},
title = {In honour of Keith Geddes on his 60th birthday},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {735--740},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.009},
doi = {10.1016/J.JSC.2010.08.009},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GiesbrechtW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Graaf11,
author = {Willem A. de Graaf},
title = {Computing representatives of nilpotent orbits of {\texttheta}-groups},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {438--458},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.015},
doi = {10.1016/J.JSC.2010.10.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Graaf11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GreuelSW11,
author = {Gert{-}Martin Greuel and
Frank Seelisch and
Oliver Wienand},
title = {The Gr{\"{o}}bner basis of the ideal of vanishing polynomials},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {561--570},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.006},
doi = {10.1016/J.JSC.2010.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GreuelSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HebischR11,
author = {Waldemar Hebisch and
Martin Rubey},
title = {Extended rate, more {GFUN}},
journal = {J. Symb. Comput.},
volume = {46},
number = {8},
pages = {889--903},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.004},
doi = {10.1016/J.JSC.2011.01.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HebischR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HemelGKV11,
author = {Zef Hemel and
Danny M. Groenewegen and
Lennart C. L. Kats and
Eelco Visser},
title = {Static consistency checking of web applications with WebDSL},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {150--182},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.006},
doi = {10.1016/J.JSC.2010.08.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/HemelGKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HemmerDPS11,
author = {Michael Hemmer and
Laurent Dupont and
Sylvain Petitjean and
Elmar Sch{\"{o}}mer},
title = {A complete, exact and efficient implementation for computing the edge-adjacency
graph of an arrangement of quadrics},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {467--494},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.11.002},
doi = {10.1016/J.JSC.2010.11.002},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HemmerDPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HerasPRS11,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio and
Francis Sergeraert},
title = {fKenzo: {A} user interface for computations in Algebraic Topology},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {685--698},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.005},
doi = {10.1016/J.JSC.2011.01.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/HerasPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hoeven11,
author = {Joris van der Hoeven},
title = {Meta-expansion of transseries},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {339--359},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.019},
doi = {10.1016/J.JSC.2010.08.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hoeven11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/IdaKGT11,
author = {Tetsuo Ida and
Asem Kasem and
Fadoua Ghourabi and
Hidekazu Takahashi},
title = {Morley's theorem revisited: Origami construction and automated proof},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {571--583},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.007},
doi = {10.1016/J.JSC.2010.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/IdaKGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/IdreesPS11,
author = {Nazeran Idrees and
Gerhard Pfister and
Stefan Steidel},
title = {Parallelization of Modular Algorithms},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {672--684},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.003},
doi = {10.1016/J.JSC.2011.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/IdreesPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Jambor11,
author = {Sebastian Jambor},
title = {Computing minimal associated primes in polynomial rings over the integers},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1098--1104},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.010},
doi = {10.1016/J.JSC.2011.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Jambor11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kalorkoti11,
author = {K. Kalorkoti},
title = {Model checking in the modal {\(\mu\)}-calculus and generic solutions},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {584--594},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.008},
doi = {10.1016/J.JSC.2010.10.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kalorkoti11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KawazoeN11,
author = {Taro Kawazoe and
Masayuki Noro},
title = {Algorithms for computing a primary ideal decomposition without producing
intermediate redundant components},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1158--1172},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.06.001},
doi = {10.1016/J.JSC.2011.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KawazoeN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LangarMA11,
author = {Mahjoub Langar and
Mohamed Mejri and
Kamel Adi},
title = {Formal enforcement of security policies on concurrent systems},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {997--1016},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.003},
doi = {10.1016/J.JSC.2011.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LangarMA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LemaireMPX11,
author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
title = {When does {\textless}T{\textgreater} equal sat(T)?},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1291--1305},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.010},
doi = {10.1016/J.JSC.2011.08.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LemaireMPX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LevandovskyyS11,
author = {Viktor Levandovskyy and
Kristina Schindelar},
title = {Computing diagonal form and Jacobson normal form of a matrix using
Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {595--608},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.009},
doi = {10.1016/J.JSC.2010.10.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LevandovskyyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LevandovskyyZS11,
author = {Viktor Levandovskyy and
Eva Zerz and
Kristina Schindelar},
title = {Exact linear modeling using Ore algebras},
journal = {J. Symb. Comput.},
volume = {46},
number = {11},
pages = {1189--1204},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.001},
doi = {10.1016/J.JSC.2011.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LevandovskyyZS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LiMRS11,
author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
title = {The modpn library: Bringing fast polynomial arithmetic into Maple},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {841--858},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.016},
doi = {10.1016/J.JSC.2010.08.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LiMRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LoeraLMM11,
author = {Jes{\'{u}}s A. De Loera and
Jon Lee and
Peter N. Malkin and
Susan Margulies},
title = {Computing infeasibility certificates for combinatorial problems through
Hilbert's Nullstellensatz},
journal = {J. Symb. Comput.},
volume = {46},
number = {11},
pages = {1260--1283},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.007},
doi = {10.1016/J.JSC.2011.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LoeraLMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MaggioloP11,
author = {Stefano Maggiolo and
Nicola Pagani},
title = {Generating stable modular graphs},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1087--1097},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.008},
doi = {10.1016/J.JSC.2011.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MaggioloP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MalechaMW11,
author = {Gregory Malecha and
Greg Morrisett and
Ryan Wisnesky},
title = {Trace-based verification of imperative programs with {I/O}},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {95--118},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.004},
doi = {10.1016/J.JSC.2010.08.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MalechaMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MarceloS11,
author = {Agust{\'{\i}}n Marcelo and
Peter Schenzel},
title = {Non-Cohen-Macaulay unique factorization domains in small dimensions},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {609--621},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.010},
doi = {10.1016/J.JSC.2010.10.010},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MarceloS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MehlhornS11,
author = {Kurt Mehlhorn and
Michael Sagraloff},
title = {A deterministic algorithm for isolating real roots of a real polynomial},
journal = {J. Symb. Comput.},
volume = {46},
number = {1},
pages = {70--90},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.004},
doi = {10.1016/J.JSC.2010.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MehlhornS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MonaganP11,
author = {Michael B. Monagan and
Roman Pearce},
title = {Sparse polynomial division using a heap},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {807--822},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.014},
doi = {10.1016/J.JSC.2010.08.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MonaganP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Moroz11,
author = {Guillaume Moroz},
title = {Properness defects of projection and minimal discriminant variety},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1139--1157},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.013},
doi = {10.1016/J.JSC.2011.05.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Moroz11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MurrayR11,
author = {Scott H. Murray and
Colva M. Roney{-}Dougal},
title = {Constructive homomorphisms for classical groups},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {371--384},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.003},
doi = {10.1016/J.JSC.2010.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MurrayR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Nagasaka11,
author = {Kosaku Nagasaka},
title = {Approximate polynomial {GCD} over integers},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1306--1317},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.011},
doi = {10.1016/J.JSC.2011.08.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Nagasaka11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/NgoW11,
author = {Lam Xuan Ch{\^{a}}u Ng{\^{o}} and
Franz Winkler},
title = {Rational general solutions of planar rational systems of autonomous
ODEs},
journal = {J. Symb. Comput.},
volume = {46},
number = {10},
pages = {1173--1186},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.06.002},
doi = {10.1016/J.JSC.2011.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NgoW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Orejas11,
author = {Fernando Orejas},
title = {Symbolic graphs for attributed graph constraints},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {294--315},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.009},
doi = {10.1016/J.JSC.2010.09.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Orejas11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PfalzgrafEGS11,
author = {Jochen Pfalzgraf and
Hartmut Ehrig and
Ulrike Golas and
Thomas Soboll},
title = {Foreword},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {219--221},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.005},
doi = {10.1016/J.JSC.2010.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PfalzgrafEGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PilehroodP11,
author = {Khodabakhsh Hessami Pilehrood and
Tatiana Hessami Pilehrood},
title = {A q-analogue of the Bailey-Borwein-Bradley identity},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {699--711},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.006},
doi = {10.1016/J.JSC.2011.01.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/PilehroodP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PlaumannSV11,
author = {Daniel Plaumann and
Bernd Sturmfels and
Cynthia Vinzant},
title = {Quartic curves and their bitangents},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {712--733},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.007},
doi = {10.1016/J.JSC.2011.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PlaumannSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Pommaret11,
author = {Jean{-}Fran{\c{c}}ois Pommaret},
title = {Macaulay inverse systems revisited},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {1049--1069},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.007},
doi = {10.1016/J.JSC.2011.05.007},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Pommaret11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PooleH11,
author = {Douglas Poole and
Willy Hereman},
title = {Symbolic computation of conservation laws for nonlinear partial differential
equations in multiple space dimensions},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1355--1377},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.014},
doi = {10.1016/J.JSC.2011.08.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PooleH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Raum11,
author = {Martin Raum},
title = {How to implement a modular form},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1336--1354},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.013},
doi = {10.1016/J.JSC.2011.08.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Raum11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoccoEPS11,
author = {Sandra Di Rocco and
David Eklund and
Chris Peterson and
Andrew J. Sommese},
title = {Chern numbers of smooth varieties via homotopy continuation and intersection
theory},
journal = {J. Symb. Comput.},
volume = {46},
number = {1},
pages = {23--33},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.06.026},
doi = {10.1016/J.JSC.2010.06.026},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RoccoEPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Roche11,
author = {Daniel S. Roche},
title = {Chunky and equal-spaced polynomial multiplication},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {791--806},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.013},
doi = {10.1016/J.JSC.2010.08.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Roche11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoyS11,
author = {Marie{-}Fran{\c{c}}oise Roy and
Aviva Szpirglas},
title = {Sylvester double sums and subresultants},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {385--395},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.012},
doi = {10.1016/J.JSC.2010.10.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RoyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Rueda11,
author = {Sonia L. Rueda},
title = {A perturbed differential resultant based implicitization algorithm
for linear DPPEs},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {977--996},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.001},
doi = {10.1016/J.JSC.2011.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Rueda11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RuedaS11,
author = {Sonia L. Rueda and
J. Rafael Sendra},
title = {Corrigendum to "Linear complete differential resultants and the implicitization
of linear DPPEs" {[J.} Symbolic Comput. 45(3) March {(2010)} 324-341]},
journal = {J. Symb. Comput.},
volume = {46},
number = {1},
pages = {91--92},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.002},
doi = {10.1016/J.JSC.2010.08.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RuedaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SalvySSSV11,
author = {Bruno Salvy and
Bob Sedgewick and
Mich{\`{e}}le Soria and
Wojciech Szpankowski and
Brigitte Vall{\'{e}}e},
title = {Obituary. Philippe Flajolet},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {1085--1086},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.06.003},
doi = {10.1016/J.JSC.2011.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SalvySSSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SatoISNS11,
author = {Yosuke Sato and
Shutaro Inoue and
Akira Suzuki and
Katsusuke Nabeshima and
K{\^{o}} Sakai},
title = {Boolean Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {46},
number = {5},
pages = {622--632},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.011},
doi = {10.1016/J.JSC.2010.10.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SatoISNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SchonbergWF11,
author = {Christian Sch{\"{o}}nberg and
Franz Weitl and
Burkhard Freitag},
title = {Verifying the consistency of web-based technical documentations},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {183--206},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.007},
doi = {10.1016/J.JSC.2010.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SchonbergWF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SchulzLK11,
author = {Christoph Schulz and
Michael L{\"{o}}we and
Harald K{\"{o}}nig},
title = {A categorical framework for the transformation of object-oriented
systems: Models and data},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {316--337},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.010},
doi = {10.1016/J.JSC.2010.09.010},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SchulzLK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Sekigawa11,
author = {Hiroshi Sekigawa},
title = {Computing the nearest polynomial with a zero in a given domain by
using piecewise rational functions},
journal = {J. Symb. Comput.},
volume = {46},
number = {12},
pages = {1318--1335},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.012},
doi = {10.1016/J.JSC.2011.08.012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Sekigawa11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SendraS11,
author = {J. Rafael Sendra and
David Sevilla},
title = {Radical parametrizations of algebraic curves by adjoint curves},
journal = {J. Symb. Comput.},
volume = {46},
number = {9},
pages = {1030--1038},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.05.005},
doi = {10.1016/J.JSC.2011.05.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SendraS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Stoutemyer11,
author = {David R. Stoutemyer},
title = {Ten commandments for good default expression simplification},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {859--887},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.017},
doi = {10.1016/J.JSC.2010.08.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Stoutemyer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Strzebonski11,
author = {Adam W. Strzebonski},
title = {Cylindrical decomposition for systems transcendental in the first
variable},
journal = {J. Symb. Comput.},
volume = {46},
number = {11},
pages = {1284--1290},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.08.009},
doi = {10.1016/J.JSC.2011.08.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Strzebonski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Tabera11,
author = {Luis Felipe Tabera},
title = {Optimal affine reparametrization of rational curves},
journal = {J. Symb. Comput.},
volume = {46},
number = {8},
pages = {967--976},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.04.001},
doi = {10.1016/J.JSC.2011.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Tabera11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/TriguerosTTPRS11,
author = {Marino Linaje Trigueros and
Adolfo Lozano Tello and
Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
Juan Carlos Preciado and
Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a and
Fernando S{\'{a}}nchez{-}Figueroa},
title = {Providing {RIA} user interfaces with accessibility properties},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {207--217},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.008},
doi = {10.1016/J.JSC.2010.08.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/TriguerosTTPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Valibouze11,
author = {Annick Valibouze},
title = {Gr{\"{o}}bner basis of the alternating galoisian ideal},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {396--405},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.013},
doi = {10.1016/J.JSC.2010.10.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Valibouze11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Villard11,
author = {Gilles Villard},
title = {Kaltofen's division-free determinant algorithm differentiated for
matrix adjoint computation},
journal = {J. Symb. Comput.},
volume = {46},
number = {7},
pages = {773--790},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.012},
doi = {10.1016/J.JSC.2010.08.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Villard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/WilkeningY11,
author = {Jon Wilkening and
Jia Yu},
title = {A local construction of the Smith normal form of a matrix polynomial},
journal = {J. Symb. Comput.},
volume = {46},
number = {1},
pages = {1--22},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.06.025},
doi = {10.1016/J.JSC.2010.06.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/WilkeningY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ZhaoWH11,
author = {Ting Zhao and
Dongming Wang and
Hoon Hong},
title = {Solution formulas for cubic equations without or with constraints},
journal = {J. Symb. Comput.},
volume = {46},
number = {8},
pages = {904--918},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.02.001},
doi = {10.1016/J.JSC.2011.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ZhaoWH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 20:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
