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/jsc45.bht:"
download as .bib file
@article{DBLP:journals/jsc/AbadiRS10,
author = {Aharon Abadi and
Alexander Rabinovich and
Mooly Sagiv},
title = {Decidable fragments of many-sorted logic},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {153--172},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.03.003},
doi = {10.1016/J.JSC.2009.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AbadiRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Abo10,
author = {Hirotachi Abo},
title = {On non-defectivity of certain Segre-Veronese varieties},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1254--1269},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.008},
doi = {10.1016/J.JSC.2010.06.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Abo10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AbramovP10,
author = {Sergei A. Abramov and
Marko Petkovsek},
title = {Polynomial ring automorphisms, rational (w, sigma)-canonical forms,
and the assignment problem},
journal = {J. Symb. Comput.},
volume = {45},
number = {6},
pages = {684--708},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.001},
doi = {10.1016/J.JSC.2010.03.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AbramovP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AlonsoL10,
author = {Maria Emilia Alonso and
Henri Lombardi},
title = {Local B{\'{e}}zout Theorem},
journal = {J. Symb. Comput.},
volume = {45},
number = {10},
pages = {975--985},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.022},
doi = {10.1016/J.JSC.2010.06.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AlonsoL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Antoy10,
author = {Sergio Antoy},
title = {Programming with narrowing: {A} tutorial},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {501--522},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.006},
doi = {10.1016/J.JSC.2010.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Antoy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Apery10,
author = {Fran{\c{c}}ois Ap{\'{e}}ry},
title = {Subresultants of two Hermite-Laurent series},
journal = {J. Symb. Comput.},
volume = {45},
number = {4},
pages = {443--461},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.002},
doi = {10.1016/J.JSC.2010.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Apery10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AraujoBMN10,
author = {Jo{\~{a}}o Ara{\'{u}}jo and
Paul von B{\"{u}}nau and
James D. Mitchell and
Max Neunh{\"{o}}ffer},
title = {Computing automorphisms of semigroups},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {373--392},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.10.001},
doi = {10.1016/J.JSC.2009.10.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/AraujoBMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BahloulO10,
author = {Rouchdi Bahloul and
Toshinori Oaku},
title = {Local Bernstein-Sato ideals: Algorithm and examples},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {46--59},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.06.004},
doi = {10.1016/J.JSC.2009.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BahloulO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BasuR10,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy},
title = {Bounding the radii of balls meeting every connected component of semi-algebraic
sets},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1270--1279},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.009},
doi = {10.1016/J.JSC.2010.06.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BasuR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BatraS10,
author = {Prashant Batra and
Vikram Sharma},
title = {Bounds on absolute positiveness of multivariate polynomials},
journal = {J. Symb. Comput.},
volume = {45},
number = {6},
pages = {617--628},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.012},
doi = {10.1016/J.JSC.2010.01.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BatraS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BeelenB10,
author = {Peter Beelen and
Kristian Brander},
title = {Key equations for list decoding of Reed-Solomon codes and how to solve
them},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {773--786},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.010},
doi = {10.1016/J.JSC.2010.03.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BeelenB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BertoneCG10,
author = {Cristina Bertone and
Guillaume Ch{\`{e}}ze and
Andr{\'{e}} Galligo},
title = {Modular Las Vegas algorithms for polynomial absolute factorization},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1280--1295},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.010},
doi = {10.1016/J.JSC.2010.06.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BertoneCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BonacinaE10,
author = {Maria Paola Bonacina and
Mnacho Echenim},
title = {Theory decision by decomposition},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {229--260},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.10.008},
doi = {10.1016/J.JSC.2008.10.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BonacinaE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BostonM10,
author = {Nigel Boston and
Gary McGuire},
title = {The weight distributions of cyclic codes with two zeros and zeta functions},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {723--733},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.007},
doi = {10.1016/J.JSC.2010.03.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BostonM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BoulierLM10,
author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
title = {Computing differential characteristic sets by change of ordering},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {124--149},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.004},
doi = {10.1016/J.JSC.2009.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BoulierLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BrouwerP10,
author = {Andries E. Brouwer and
Mihaela Popoviciu},
title = {The invariants of the binary nonic},
journal = {J. Symb. Comput.},
volume = {45},
number = {6},
pages = {709--720},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.003},
doi = {10.1016/J.JSC.2010.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BrouwerP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BrouwerP10a,
author = {Andries E. Brouwer and
Mihaela Popoviciu},
title = {The invariants of the binary decimic},
journal = {J. Symb. Comput.},
volume = {45},
number = {8},
pages = {837--843},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.002},
doi = {10.1016/J.JSC.2010.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BrouwerP10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CampilloFMP10,
author = {Antonio Campillo and
Patrick Fitzpatrick and
Edgar Mart{\'{\i}}nez{-}Moro and
Ruud Pellikaan},
title = {Special issue algebraic coding theory and applications},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {721--722},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.006},
doi = {10.1016/J.JSC.2010.03.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CampilloFMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenM10,
author = {Liang Chen and
Michael B. Monagan},
title = {Algorithms for solving linear systems over cyclotomic fields},
journal = {J. Symb. Comput.},
volume = {45},
number = {9},
pages = {902--917},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.05.001},
doi = {10.1016/J.JSC.2010.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChenM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CirsteaKKM10,
author = {Horatiu Cirstea and
Claude Kirchner and
Radu Kopetz and
Pierre{-}Etienne Moreau},
title = {Anti-patterns for rule-based languages},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {523--550},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.007},
doi = {10.1016/J.JSC.2010.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CirsteaKKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ColesP10,
author = {Drue Coles and
Emma Previato},
title = {Decoding by rank-2 bundles over plane quartics},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {757--772},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.009},
doi = {10.1016/J.JSC.2010.03.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ColesP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoquandLQ10,
author = {Thierry Coquand and
Henri Lombardi and
Claude Quitt{\'{e}}},
title = {Curves and coherent Pr{\"{u}}fer rings},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1378--1390},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.016},
doi = {10.1016/J.JSC.2010.06.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoquandLQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CuetoTY10,
author = {Mar{\'{\i}}a Ang{\'{e}}lica Cueto and
Enrique A. Tobis and
Josephine Yu},
title = {An implicitization challenge for binary factor analysis},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1296--1315},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.011},
doi = {10.1016/J.JSC.2010.06.011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/CuetoTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DAndreaGPP10,
author = {Carlos D'Andrea and
Marc Giusti and
Luis M. Pardo and
Ragni Piene},
title = {Effective methods in algebraic geometry 2009: Barcelona. Guest editors'
foreword},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1251--1253},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.007},
doi = {10.1016/J.JSC.2010.06.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DAndreaGPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DamianoGS10,
author = {Alberto Damiano and
Graziano Gentili and
Daniele C. Struppa},
title = {Computations in the ring of quaternionic polynomials},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {38--45},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.06.003},
doi = {10.1016/J.JSC.2009.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DamianoGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Diaz-TocaL10,
author = {Gema M. Diaz{-}Toca and
Henri Lombardi},
title = {Dynamic Galois Theory},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1316--1329},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.012},
doi = {10.1016/J.JSC.2010.06.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Diaz-TocaL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EderP10,
author = {Christian Eder and
John Edward Perry},
title = {{F5C:} {A} variant of Faug{\`{e}}re's {F5} algorithm with reduced
Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1442--1458},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.019},
doi = {10.1016/J.JSC.2010.06.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EderP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Eick10,
author = {Bettina Eick},
title = {Some new simple Lie algebras in characteristic 2},
journal = {J. Symb. Comput.},
volume = {45},
number = {9},
pages = {943--951},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.05.003},
doi = {10.1016/J.JSC.2010.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Eick10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Engheta10,
author = {Bahman Engheta},
title = {A bound on the projective dimension of three cubics},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {60--73},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.06.005},
doi = {10.1016/J.JSC.2009.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Engheta10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaroukiS10,
author = {Rida T. Farouki and
Takis Sakkalis},
title = {Rational rotation-minimizing frames on polynomial space curves of
arbitrary degree},
journal = {J. Symb. Comput.},
volume = {45},
number = {8},
pages = {844--856},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.004},
doi = {10.1016/J.JSC.2010.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaroukiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Fassino10,
author = {Claudia Fassino},
title = {Almost vanishing polynomials for sets of limited precision points},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {19--37},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.06.002},
doi = {10.1016/J.JSC.2009.06.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Fassino10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FengSW10,
author = {Ruyong Feng and
Michael F. Singer and
Min Wu},
title = {Liouvillian solutions of linear difference-differential equations},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {287--305},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.001},
doi = {10.1016/J.JSC.2009.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FengSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FengSW10a,
author = {Ruyong Feng and
Michael F. Singer and
Min Wu},
title = {An algorithm to compute Liouvillian solutions of prime order linear
difference-differential equations},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {306--323},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.002},
doi = {10.1016/J.JSC.2009.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FengSW10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FishKM10,
author = {Washiela Fish and
Jennifer D. Key and
Eric C. Mwambene},
title = {Binary codes from the line graph of the n-cube},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {800--812},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.012},
doi = {10.1016/J.JSC.2010.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FishKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GasconGST10,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Guillem Godoy and
Manfred Schmidt{-}Schau{\ss} and
Ashish Tiwari},
title = {Context unification with one context variable},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {173--193},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.10.005},
doi = {10.1016/J.JSC.2008.10.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GasconGST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GathenMS10,
author = {Joachim von zur Gathen and
Maurice Mignotte and
Igor E. Shparlinski},
title = {Approximate polynomial {GCD:} Small degree and small height perturbations},
journal = {J. Symb. Comput.},
volume = {45},
number = {8},
pages = {879--886},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.04.001},
doi = {10.1016/J.JSC.2010.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GathenMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GebhardtG10,
author = {Volker Gebhardt and
Juan Gonz{\'{a}}lez{-}Meneses},
title = {Solving the conjugacy problem in Garside groups by cyclic sliding},
journal = {J. Symb. Comput.},
volume = {45},
number = {6},
pages = {629--656},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.013},
doi = {10.1016/J.JSC.2010.01.013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GebhardtG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GenetR10,
author = {Thomas Genet and
Vlad Rusu},
title = {Equational approximations for tree automata completion},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {574--597},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.009},
doi = {10.1016/J.JSC.2010.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GenetR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GhilardiSST10,
author = {Silvio Ghilardi and
Viorica Sofronie{-}Stokkermans and
Ulrike Sattler and
Ashish Tiwari},
title = {Special issue on automated deduction: Decidability, complexity, tractability},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {151--152},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.05.006},
doi = {10.1016/J.JSC.2009.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GhilardiSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GieseIK10,
author = {Martin Giese and
Andrew Ireland and
Laura Kov{\'{a}}cs},
title = {Introduction},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1097--1100},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.002},
doi = {10.1016/J.JSC.2010.06.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GieseIK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GreuelLS10,
author = {Gert{-}Martin Greuel and
Santiago Laplagne and
Frank Seelisch},
title = {Normalization of rings},
journal = {J. Symb. Comput.},
volume = {45},
number = {9},
pages = {887--901},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.04.002},
doi = {10.1016/J.JSC.2010.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GreuelLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HanK10,
author = {Sunghyu Han and
Jon{-}Lark Kim},
title = {Formally self-dual additive codes over F\({}_{\mbox{4}}\)},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {787--799},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.011},
doi = {10.1016/J.JSC.2010.03.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HanK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HashemiA10,
author = {Amir Hashemi and
Gw{\'{e}}nol{\'{e}} Ars},
title = {Extended F\({}_{\mbox{5}}\) criteria},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1330--1340},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.013},
doi = {10.1016/J.JSC.2010.06.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HashemiA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hoeven10,
author = {Joris van der Hoeven},
title = {Newton's method and {FFT} trading},
journal = {J. Symb. Comput.},
volume = {45},
number = {8},
pages = {857--878},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.005},
doi = {10.1016/J.JSC.2010.03.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hoeven10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/IdaT10,
author = {Tetsuo Ida and
Hidekazu Takahashi},
title = {Origami fold as algebraic graph rewriting},
journal = {J. Symb. Comput.},
volume = {45},
number = {4},
pages = {393--413},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.10.002},
doi = {10.1016/J.JSC.2009.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/IdaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/IltenS10,
author = {Nathan Owen Ilten and
Hendrik S{\"{u}}{\ss}},
title = {Algebraic geometry codes from polyhedral divisors},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {734--756},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.008},
doi = {10.1016/J.JSC.2010.03.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/IltenS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/JeronimoP10,
author = {Gabriela Jeronimo and
Daniel Perrucci},
title = {On the minimum of a positive polynomial over the standard simplex},
journal = {J. Symb. Comput.},
volume = {45},
number = {4},
pages = {434--442},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.001},
doi = {10.1016/J.JSC.2010.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/JeronimoP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/JiaWG10,
author = {Xiaohong Jia and
Haohao Wang and
Ron Goldman},
title = {Set-theoretic generators of rational space curves},
journal = {J. Symb. Comput.},
volume = {45},
number = {4},
pages = {414--433},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.11.001},
doi = {10.1016/J.JSC.2009.11.001},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/JiaWG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KauerW10,
author = {Stefan Kauer and
J{\"{u}}rgen F. H. Winkler},
title = {Mechanical inference of invariants for FOR-loops},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1101--1113},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.11.008},
doi = {10.1016/J.JSC.2008.11.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KauerW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KonnovZ10,
author = {Igor V. Konnov and
Vladimir A. Zakharov},
title = {An invariant-based approach to the verification of asynchronous parameterized
networks},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1144--1162},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.11.006},
doi = {10.1016/J.JSC.2008.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KonnovZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KoseleffPR10,
author = {Pierre{-}Vincent Koseleff and
Daniel Pecker and
Fabrice Rouillier},
title = {The first rational Chebyshev knots},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1341--1358},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.014},
doi = {10.1016/J.JSC.2010.06.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KoseleffPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kutsia10,
author = {Temur Kutsia},
title = {Symbolic computation in software science: Foreword from the editor},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {499--500},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.005},
doi = {10.1016/J.JSC.2010.01.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Kutsia10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KutsiaLV10,
author = {Temur Kutsia and
Jordi Levy and
Mateu Villaret},
title = {On the relation between Context and Sequence Unification},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {74--95},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.07.001},
doi = {10.1016/J.JSC.2009.07.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/KutsiaLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Landsberg10,
author = {J. M. Landsberg},
title = {P versus {NP} and geometry},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1359--1377},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.015},
doi = {10.1016/J.JSC.2010.06.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Landsberg10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Li10,
author = {Huishi Li},
title = {Looking for Gr{\"{o}}bner basis theory for (almost) skew 2-nomial
algebras},
journal = {J. Symb. Comput.},
volume = {45},
number = {9},
pages = {918--942},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.05.002},
doi = {10.1016/J.JSC.2010.05.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Li10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LuoCQHC10,
author = {Chenguang Luo and
Florin Craciun and
Shengchao Qin and
Guanhua He and
Wei{-}Ngan Chin},
title = {Verifying pointer safety for programs with unknown calls},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1163--1183},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.003},
doi = {10.1016/J.JSC.2010.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LuoCQHC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LutzW10,
author = {Carsten Lutz and
Frank Wolter},
title = {Deciding inseparability and conservative extensions in the description
logic {EL}},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {194--228},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.10.007},
doi = {10.1016/J.JSC.2008.10.007},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LutzW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinezBCSG10,
author = {Carmen Mart{\'{\i}}nez and
Ram{\'{o}}n Beivide and
Cristobal Camarero and
Esteban Stafford and
Ernst M. Gabidulin},
title = {Quotients of Gaussian graphs and their application to perfect codes},
journal = {J. Symb. Comput.},
volume = {45},
number = {7},
pages = {813--824},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.03.013},
doi = {10.1016/J.JSC.2010.03.013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MartinezBCSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Medina-BuloPR10,
author = {Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
title = {A verified Common Lisp implementation of Buchberger's algorithm in
{ACL2}},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {96--123},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.07.002},
doi = {10.1016/J.JSC.2009.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Medina-BuloPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MehlhornR10,
author = {Kurt Mehlhorn and
Saurabh Ray},
title = {Faster algorithms for computing Hong's bound on absolute positiveness},
journal = {J. Symb. Comput.},
volume = {45},
number = {6},
pages = {677--683},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.02.002},
doi = {10.1016/J.JSC.2010.02.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MehlhornR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Merker10,
author = {Jo{\"{e}}l Merker},
title = {Application of computational invariant theory to Kobayashi hyperbolicity
and to Green-Griffiths algebraic degeneracy},
journal = {J. Symb. Comput.},
volume = {45},
number = {10},
pages = {986--1074},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.023},
doi = {10.1016/J.JSC.2010.06.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Merker10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MezzarobbaS10,
author = {Marc Mezzarobba and
Bruno Salvy},
title = {Effective bounds for P-recursive sequences},
journal = {J. Symb. Comput.},
volume = {45},
number = {10},
pages = {1075--1096},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.024},
doi = {10.1016/J.JSC.2010.06.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MezzarobbaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MihailescuV10,
author = {Preda Mihailescu and
Victor Vuletescu},
title = {Elliptic Gauss sums and applications to point counting},
journal = {J. Symb. Comput.},
volume = {45},
number = {8},
pages = {825--836},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.004},
doi = {10.1016/J.JSC.2010.01.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MihailescuV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MiliANJLM10,
author = {Ali Mili and
Shir Aharon and
Chaitanya Nadkarni and
Lamia Labed Jilani and
Asma Louhichi and
Olfa Mraihi},
title = {Reflexive transitive invariant relations: {A} basis for computing
loop functions},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1114--1143},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.11.007},
doi = {10.1016/J.JSC.2008.11.007},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MiliANJLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MontesW10,
author = {Antonio Montes and
Michael Wibmer},
title = {Gr{\"{o}}bner bases for polynomial systems with parameters},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1391--1425},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.017},
doi = {10.1016/J.JSC.2010.06.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MontesW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MoyM10,
author = {Yannick Moy and
Claude March{\'{e}}},
title = {Modular inference of subprogram contracts for safety checking},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1184--1211},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.004},
doi = {10.1016/J.JSC.2010.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MoyM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/NakamuraOF10,
author = {Masaki Nakamura and
Kazuhiro Ogata and
Kokichi Futatsugi},
title = {Reducibility of operation symbols in term rewriting systems and its
application to behavioral specifications},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {551--573},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.008},
doi = {10.1016/J.JSC.2010.01.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NakamuraOF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/NgoW10,
author = {Lam Xuan Ch{\^{a}}u Ng{\^{o}} and
Franz Winkler},
title = {Rational general solutions of first order non-autonomous parametrizable
ODEs},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1426--1441},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.018},
doi = {10.1016/J.JSC.2010.06.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NgoW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/NishiyamaN10,
author = {Kenta Nishiyama and
Masayuki Noro},
title = {Stratification associated with local b-functions},
journal = {J. Symb. Comput.},
volume = {45},
number = {4},
pages = {462--480},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.003},
doi = {10.1016/J.JSC.2010.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NishiyamaN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Peternell10,
author = {Martin Peternell},
title = {Rational two-parameter families of spheres and rational offset surfaces},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {1--18},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.06.001},
doi = {10.1016/J.JSC.2009.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Peternell10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RuedaS10,
author = {Sonia L. Rueda and
J. Rafael Sendra},
title = {Linear complete differential resultants and the implicitization of
linear DPPEs},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {324--341},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.003},
doi = {10.1016/J.JSC.2009.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RuedaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RybalchenkoS10,
author = {Andrey Rybalchenko and
Viorica Sofronie{-}Stokkermans},
title = {Constraint solving for interpolation},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1212--1233},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.005},
doi = {10.1016/J.JSC.2010.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RybalchenkoS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Saenz-de-Cabezon10,
author = {Eduardo S{\'{a}}enz{-}de{-}Cabez{\'{o}}n},
title = {Computing the support of monomial iterated mapping cones},
journal = {J. Symb. Comput.},
volume = {45},
number = {10},
pages = {953--964},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.001},
doi = {10.1016/J.JSC.2010.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Saenz-de-Cabezon10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SatoP10,
author = {Masahiko Sato and
Randy Pollack},
title = {External and internal syntax of the lambda-calculus},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {598--616},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.010},
doi = {10.1016/J.JSC.2010.01.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SatoP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Scheiblechner10,
author = {Peter Scheiblechner},
title = {On a generalization of Stickelberger's Theorem},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1459--1470},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.020},
doi = {10.1016/J.JSC.2010.06.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Scheiblechner10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SitharamPZ10,
author = {Meera Sitharam and
J{\"{o}}rg Peters and
Yong Zhou},
title = {Optimized parametrization of systems of incidences between rigid bodies},
journal = {J. Symb. Comput.},
volume = {45},
number = {4},
pages = {481--498},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.011},
doi = {10.1016/J.JSC.2010.01.011},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/SitharamPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Steel10,
author = {Allan K. Steel},
title = {Computing with algebraically closed fields},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {342--372},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.005},
doi = {10.1016/J.JSC.2009.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Steel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Tohaneanu10,
author = {Stefan O. Tohaneanu},
title = {On the De Boer-Pellikaan method for computing minimum distance},
journal = {J. Symb. Comput.},
volume = {45},
number = {10},
pages = {965--974},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.021},
doi = {10.1016/J.JSC.2010.06.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Tohaneanu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/TranRRK10,
author = {Duc{-}Khanh Tran and
Christophe Ringeissen and
Silvio Ranise and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Combination of convex theories: Modularity, deduction completeness,
and explanation},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {261--286},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.10.006},
doi = {10.1016/J.JSC.2008.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/TranRRK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/VrsekL10,
author = {Jan Vrsek and
Miroslav L{\'{a}}vicka},
title = {On convolutions of algebraic curves},
journal = {J. Symb. Comput.},
volume = {45},
number = {6},
pages = {657--676},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.02.001},
doi = {10.1016/J.JSC.2010.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/VrsekL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/XiaZ10,
author = {Bican Xia and
Zhihai Zhang},
title = {Termination of linear programs with nonlinear constraints},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1234--1249},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.006},
doi = {10.1016/J.JSC.2010.06.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/XiaZ10.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-05-27 11:49 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:
