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/jsc50.bht:"
download as .bib file
@article{DBLP:journals/jsc/Abbott13,
author = {John Abbott},
title = {Bounds on factors in \emph{Z}[\emph{x}]},
journal = {J. Symb. Comput.},
volume = {50},
pages = {532--563},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.09.004},
doi = {10.1016/J.JSC.2012.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Abbott13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BallicoES13,
author = {Edoardo Ballico and
Michele Elia and
Massimiliano Sala},
title = {On the evaluation of multivariate polynomials over finite fields},
journal = {J. Symb. Comput.},
volume = {50},
pages = {255--262},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.07.005},
doi = {10.1016/J.JSC.2012.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BallicoES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BatesEP13,
author = {Daniel J. Bates and
David Eklund and
Chris Peterson},
title = {Computing intersection numbers of Chern classes},
journal = {J. Symb. Comput.},
volume = {50},
pages = {493--507},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.09.003},
doi = {10.1016/J.JSC.2012.09.003},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BatesEP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BernardiR13,
author = {Alessandra Bernardi and
Kristian Ranestad},
title = {On the cactus rank of cubic forms},
journal = {J. Symb. Comput.},
volume = {50},
pages = {291--297},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.001},
doi = {10.1016/J.JSC.2012.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BernardiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BertoneCLR13,
author = {Cristina Bertone and
Francesca Cioffi and
Paolo Lella and
Margherita Roggero},
title = {Upgraded methods for the effective computation of marked schemes on
a strongly stable ideal},
journal = {J. Symb. Comput.},
volume = {50},
pages = {263--290},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.07.006},
doi = {10.1016/J.JSC.2012.07.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BertoneCLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BishopDPR13,
author = {Marcus Bishop and
J. Matthew Douglass and
G{\"{o}}tz Pfeiffer and
Gerhard R{\"{o}}hrle},
title = {Computations for Coxeter arrangements and Solomon's descent algebra:
Groups of rank three and four},
journal = {J. Symb. Comput.},
volume = {50},
pages = {139--158},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.06.001},
doi = {10.1016/J.JSC.2012.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BishopDPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CadavidMV13,
author = {Carlos A. Cadavid and
Sergio Molina and
Juan D. Velez},
title = {Limits of quotients of bivariate real analytic functions},
journal = {J. Symb. Comput.},
volume = {50},
pages = {197--207},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.07.004},
doi = {10.1016/J.JSC.2012.07.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/CadavidMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DetinkoFO13,
author = {A. S. Detinko and
Dane L. Flannery and
Eamonn A. O'Brien},
title = {Recognizing finite matrix groups over infinite fields},
journal = {J. Symb. Comput.},
volume = {50},
pages = {100--109},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.04.002},
doi = {10.1016/J.JSC.2012.04.002},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DetinkoFO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Gathen13,
author = {Joachim von zur Gathen},
title = {Lower bounds for decomposable univariate wild polynomials},
journal = {J. Symb. Comput.},
volume = {50},
pages = {409--430},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2011.01.008},
doi = {10.1016/J.JSC.2011.01.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Gathen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GrayMP13,
author = {Robert D. Gray and
Ant{\'{o}}nio Malheiro and
Stephen J. Pride},
title = {Homotopy bases and finite derivation type for Sch{\"{u}}tzenberger
groups of monoids},
journal = {J. Symb. Comput.},
volume = {50},
pages = {50--78},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.05.006},
doi = {10.1016/J.JSC.2012.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GrayMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HefezH13,
author = {Abramo Hefez and
Marcelo Escudeiro Hernandes},
title = {Algorithms for the implementation of the analytic classification of
plane branches},
journal = {J. Symb. Comput.},
volume = {50},
pages = {308--313},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.003},
doi = {10.1016/J.JSC.2012.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HefezH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HillarC13,
author = {Christopher J. Hillar and
Abraham Mart{\'{\i}}n del Campo},
title = {Finiteness theorems and algorithms for permutation invariant chains
of Laurent lattice ideals},
journal = {J. Symb. Comput.},
volume = {50},
pages = {314--334},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.06.006},
doi = {10.1016/J.JSC.2012.06.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HillarC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HoevenL13,
author = {Joris van der Hoeven and
Gr{\'{e}}goire Lecerf},
title = {On the bit-complexity of sparse polynomial and series multiplication},
journal = {J. Symb. Comput.},
volume = {50},
pages = {227--254},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.06.004},
doi = {10.1016/J.JSC.2012.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HoevenL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HuHLQ13,
author = {Sheng{-}Long Hu and
Zheng{-}Hai Huang and
Chen Ling and
Liqun Qi},
title = {On determinants and eigenvalue theory of tensors},
journal = {J. Symb. Comput.},
volume = {50},
pages = {508--531},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.10.001},
doi = {10.1016/J.JSC.2012.10.001},
timestamp = {Mon, 14 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HuHLQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hulpke13,
author = {Alexander Hulpke},
title = {Computing generators of groups preserving a bilinear form over residue
class rings},
journal = {J. Symb. Comput.},
volume = {50},
pages = {298--307},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.002},
doi = {10.1016/J.JSC.2012.08.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hulpke13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/JinLW13,
author = {Meng Jin and
Xiaoliang Li and
Dongming Wang},
title = {A new algorithmic scheme for computing characteristic sets},
journal = {J. Symb. Comput.},
volume = {50},
pages = {431--449},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.04.004},
doi = {10.1016/J.JSC.2012.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/JinLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KadiogluP13,
author = {H{\"{u}}lya Kadioglu and
Tracy L. Payne},
title = {Computational methods for nilsoliton metric Lie algebras {I}},
journal = {J. Symb. Comput.},
volume = {50},
pages = {350--373},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.005},
doi = {10.1016/J.JSC.2012.08.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/KadiogluP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Morton13,
author = {Jason Morton},
title = {Relations among conditional probabilities},
journal = {J. Symb. Comput.},
volume = {50},
pages = {478--492},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.02.005},
doi = {10.1016/J.JSC.2012.02.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Morton13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MourrainV13,
author = {Bernard Mourrain and
Nelly Villamizar},
title = {Homological techniques for the analysis of the dimension of triangular
spline spaces},
journal = {J. Symb. Comput.},
volume = {50},
pages = {564--577},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.10.002},
doi = {10.1016/J.JSC.2012.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MourrainV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Oaku13,
author = {Toshinori Oaku},
title = {Algorithms for integrals of holonomic functions over domains defined
by polynomial inequalities},
journal = {J. Symb. Comput.},
volume = {50},
pages = {1--27},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.05.004},
doi = {10.1016/J.JSC.2012.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Oaku13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Palancz13,
author = {B{\'{e}}la Pal{\'{a}}ncz},
title = {Application of Dixon resultant to satellite trajectory control by
pole placement},
journal = {J. Symb. Comput.},
volume = {50},
pages = {79--99},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.05.007},
doi = {10.1016/J.JSC.2012.05.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Palancz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PeterPR13,
author = {Thomas Peter and
Gerlind Plonka and
Daniela Rosca},
title = {Representation of sparse Legendre expansions},
journal = {J. Symb. Comput.},
volume = {50},
pages = {159--169},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.06.002},
doi = {10.1016/J.JSC.2012.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PeterPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PoteauxS13,
author = {Adrien Poteaux and
{\'{E}}ric Schost},
title = {On the complexity of computing with zero-dimensional triangular sets},
journal = {J. Symb. Comput.},
volume = {50},
pages = {110--138},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.05.008},
doi = {10.1016/J.JSC.2012.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PoteauxS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PotocnikSV13,
author = {Primoz Potocnik and
Pablo Spiga and
Gabriel Verret},
title = {Cubic vertex-transitive graphs on up to 1280 vertices},
journal = {J. Symb. Comput.},
volume = {50},
pages = {465--477},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.09.002},
doi = {10.1016/J.JSC.2012.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PotocnikSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/QinHLCC13,
author = {Shengchao Qin and
Guanhua He and
Chenguang Luo and
Wei{-}Ngan Chin and
Xin Chen},
title = {Loop invariant synthesis in a combined abstract domain},
journal = {J. Symb. Comput.},
volume = {50},
pages = {386--408},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.007},
doi = {10.1016/J.JSC.2012.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/QinHLCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Roozemond13,
author = {Dan Roozemond},
title = {Computing split maximal toral subalgebras of Lie algebras over fields
of small characteristic},
journal = {J. Symb. Comput.},
volume = {50},
pages = {335--349},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.004},
doi = {10.1016/J.JSC.2012.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Roozemond13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RouneS13,
author = {Bjarke Hammersholt Roune and
Eduardo S{\'{a}}enz{-}de{-}Cabez{\'{o}}n},
title = {Complexity and algorithms for Euler characteristic of simplicial complexes},
journal = {J. Symb. Comput.},
volume = {50},
pages = {170--196},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.07.003},
doi = {10.1016/J.JSC.2012.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RouneS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoyS13,
author = {Marie{-}Fran{\c{c}}oise Roy and
Sidi Mohamed Sedjelmaci},
title = {New fast euclidean algorithms},
journal = {J. Symb. Comput.},
volume = {50},
pages = {208--226},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.06.003},
doi = {10.1016/J.JSC.2012.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RoyS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Soprunov13,
author = {Ivan Soprunov},
title = {Toric complete intersection codes},
journal = {J. Symb. Comput.},
volume = {50},
pages = {374--385},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.006},
doi = {10.1016/J.JSC.2012.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Soprunov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Tabera13,
author = {Luis Felipe Tabera},
title = {Computing hypercircles by moving hyperplanes},
journal = {J. Symb. Comput.},
volume = {50},
pages = {450--464},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.09.001},
doi = {10.1016/J.JSC.2012.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Tabera13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/XuL13,
author = {Ming Xu and
Zhi{-}Bin Li},
title = {Symbolic termination analysis of solvable loops},
journal = {J. Symb. Comput.},
volume = {50},
pages = {28--49},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.05.005},
doi = {10.1016/J.JSC.2012.05.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/XuL13.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-01 17:19 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:
