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/jsc39.bht:"
download as .bib file
@article{DBLP:journals/jsc/AbbottKR05,
author = {John Abbott and
Martin Kreuzer and
Lorenzo Robbiano},
title = {Computing zero-dimensional schemes},
journal = {J. Symb. Comput.},
volume = {39},
number = {1},
pages = {31--49},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.001},
doi = {10.1016/J.JSC.2004.09.001},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/AbbottKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AdkinsHW05,
author = {William A. Adkins and
J. William Hoffman and
Hao Hao Wang},
title = {Equations of parametric surfaces with base points via syzygies},
journal = {J. Symb. Comput.},
volume = {39},
number = {1},
pages = {73--101},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.007},
doi = {10.1016/J.JSC.2004.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AdkinsHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AlcazarS05,
author = {Juan Gerardo Alc{\'{a}}zar and
J. Rafael Sendra},
title = {Computation of the topology of real algebraic space curves},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {719--744},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2005.01.006},
doi = {10.1016/J.JSC.2005.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AlcazarS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ArmandoB05,
author = {Alessandro Armando and
Clemens Ballarin},
title = {A reconstruction and extension of Maple's assume facility via constraint
contextual rewriting},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {503--521},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.010},
doi = {10.1016/J.JSC.2004.12.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArmandoB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Auerbach05,
author = {Ruth L. Auerbach},
title = {The Gr{\"{o}}bner fan and Gr{\"{o}}bner walk for modules},
journal = {J. Symb. Comput.},
volume = {39},
number = {2},
pages = {127--153},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.07.002},
doi = {10.1016/J.JSC.2004.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Auerbach05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BeesonW05,
author = {Michael Beeson and
Freek Wiedijk},
title = {The meaning of infinity in calculus and computer algebra systems},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {523--538},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.002},
doi = {10.1016/J.JSC.2004.12.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BeesonW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Bonacina05,
author = {Maria Paola Bonacina},
title = {Towards a unified model of search in theorem-proving: subgoal-reduction
strategies},
journal = {J. Symb. Comput.},
volume = {39},
number = {2},
pages = {209--255},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.001},
doi = {10.1016/J.JSC.2004.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Bonacina05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BothmerEL05,
author = {Hans{-}Christian Graf von Bothmer and
Cord Erdenberger and
Katharina Ludwig},
title = {A new family of rational surfaces in {P4}},
journal = {J. Symb. Comput.},
volume = {39},
number = {1},
pages = {51--60},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.003},
doi = {10.1016/J.JSC.2004.09.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BothmerEL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BuseG05,
author = {Laurent Bus{\'{e}} and
Andr{\'{e}} Galligo},
title = {Semi-implicit representations of surfaces in , resultants and applications},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {317--329},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.006},
doi = {10.1016/J.JSC.2004.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BuseG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CaprottiS05,
author = {Olga Caprotti and
Volker Sorge},
title = {Integration of automated reasoning and computer algebra systems},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {501--502},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.001},
doi = {10.1016/J.JSC.2004.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CaprottiS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenCL05,
author = {Falai Chen and
David A. Cox and
Yang Liu},
title = {The mu-basis and implicitization of a rational parametric surface},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {689--706},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2005.01.003},
doi = {10.1016/J.JSC.2005.01.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/ChenCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenHM05,
author = {William Y. C. Chen and
Qing{-}Hu Hou and
Yan{-}Ping Mu},
title = {Applicability of the q-analogue of Zeilberger's algorithm},
journal = {J. Symb. Comput.},
volume = {39},
number = {2},
pages = {155--170},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.002},
doi = {10.1016/J.JSC.2004.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChenHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CohenGR05,
author = {Arjeh M. Cohen and
Gert{-}Martin Greuel and
Marie{-}Fran{\c{c}}oise Roy},
title = {Preface},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {257--258},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.002},
doi = {10.1016/J.JSC.2004.11.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CohenGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Colton05,
author = {Simon Colton},
title = {Automated conjecture making in number theory using HR, Otter and Maple},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {593--615},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.003},
doi = {10.1016/J.JSC.2004.12.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Colton05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DAndreaJ05,
author = {Carlos D'Andrea and
Gabriela Jeronimo},
title = {Subresultants and generic monomial bases},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {259--277},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.003},
doi = {10.1016/J.JSC.2004.11.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DAndreaJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Dabbaghian-Abdoly05,
author = {Vahid Dabbaghian{-}Abdoly},
title = {An algorithm for constructing representations of finite groups},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {671--688},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2005.01.002},
doi = {10.1016/J.JSC.2005.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Dabbaghian-Abdoly05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DamgardF05,
author = {Ivan Damg{\aa}rd and
Gudmund Skovbjerg Frandsen},
title = {Efficient algorithms for the gcd and cubic residuosity in the ring
of Eisenstein integers},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {643--652},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.02.006},
doi = {10.1016/J.JSC.2004.02.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DamgardF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DelahayeM05,
author = {David Delahaye and
Micaela Mayero},
title = {Dealing with algebraic expressions over a field in Coq using Maple},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {569--592},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.004},
doi = {10.1016/J.JSC.2004.12.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DelahayeM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DerksenJK05,
author = {Harm Derksen and
Emmanuel Jeandel and
Pascal Koiran},
title = {Quantum automata and algebraic groups},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {357--371},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.008},
doi = {10.1016/J.JSC.2004.11.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DerksenJK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Draisma05,
author = {Jan Draisma},
title = {Representation theory on the open Bruhat cell},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {279--303},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.004},
doi = {10.1016/J.JSC.2004.11.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Draisma05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FortunaGT05,
author = {Elisabetta Fortuna and
Patrizia M. Gianni and
Barry M. Trager},
title = {Irreducible decomposition of polynomial ideals},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {305--316},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.005},
doi = {10.1016/J.JSC.2004.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FortunaGT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GarciaSS05,
author = {Luis David Garc{\'{\i}}a{-}Puente and
Michael Eugene Stillman and
Bernd Sturmfels},
title = {Algebraic geometry of Bayesian networks},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {331--355},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.007},
doi = {10.1016/J.JSC.2004.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GarciaSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GottliebsenKM05,
author = {Hanne Gottliebsen and
Tom Kelsey and
Ursula Martin},
title = {Hidden verification for computational mathematics},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {539--567},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.005},
doi = {10.1016/J.JSC.2004.12.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GottliebsenKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GrangerOT05,
author = {Michel Granger and
Toshinori Oaku and
Nobuki Takayama},
title = {Tangent cone algorithm for homogenized differential operators},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {417--431},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.011},
doi = {10.1016/J.JSC.2004.11.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GrangerOT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HelmM05,
author = {David Helm and
Ezra Miller},
title = {Algorithms for graded injective resolutions and local cohomology over
semigroup rings},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {373--395},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.009},
doi = {10.1016/J.JSC.2004.11.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/HelmM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hillar05,
author = {Christopher J. Hillar},
title = {Cyclic resultants},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {653--669},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2005.01.001},
doi = {10.1016/J.JSC.2005.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hillar05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hoeven05,
author = {Joris van der Hoeven},
title = {Effective analytic functions},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {433--449},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.012},
doi = {10.1016/J.JSC.2004.11.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hoeven05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hulpke05,
author = {Alexander Hulpke},
title = {Constructing transitive permutation groups},
journal = {J. Symb. Comput.},
volume = {39},
number = {1},
pages = {1--30},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.08.002},
doi = {10.1016/J.JSC.2004.08.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hulpke05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kahoui05,
author = {M'hammed El Kahoui},
title = {Birational properties of the gap subresultant varieties},
journal = {J. Symb. Comput.},
volume = {39},
number = {1},
pages = {61--71},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.005},
doi = {10.1016/J.JSC.2004.09.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Kahoui05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LombardiY05,
author = {Henri Lombardi and
Ihsen Yengui},
title = {Suslin's algorithms for reduction of unimodular rows},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {707--717},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2005.01.004},
doi = {10.1016/J.JSC.2005.01.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LombardiY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MohammedZ05,
author = {Mohamud Mohammed and
Doron Zeilberger},
title = {Sharp upper bounds for the orders of the recurrences output by the
Zeilberger and q-Zeilberger algorithms},
journal = {J. Symb. Comput.},
volume = {39},
number = {2},
pages = {201--207},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.10.002},
doi = {10.1016/J.JSC.2004.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MohammedZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Mourrain05,
author = {Bernard Mourrain},
title = {Bezoutian and quotient ring structure},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {397--415},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.010},
doi = {10.1016/J.JSC.2004.11.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Mourrain05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Pohst05,
author = {Michael E. Pohst},
title = {Factoring polynomials over global fields {I}},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {617--630},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.006},
doi = {10.1016/J.JSC.2004.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Pohst05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Put05,
author = {Marius van der Put},
title = {Galois theory and algorithms for linear differential equations},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {451--463},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.013},
doi = {10.1016/J.JSC.2004.11.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Put05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Rosenkranz05,
author = {Markus Rosenkranz},
title = {A new symbolic method for solving linear two-point boundary value
problems on the level of operators},
journal = {J. Symb. Comput.},
volume = {39},
number = {2},
pages = {171--199},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.09.004},
doi = {10.1016/J.JSC.2004.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Rosenkranz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Schulze05,
author = {Mathias Schulze},
title = {Good bases for tame polynomials},
journal = {J. Symb. Comput.},
volume = {39},
number = {1},
pages = {103--126},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.10.001},
doi = {10.1016/J.JSC.2004.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Schulze05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/U05,
author = {Orlando Villamayor U.},
title = {On constructive desingularization},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {465--491},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.014},
doi = {10.1016/J.JSC.2004.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/U05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Walther05,
author = {Uli Walther},
title = {Algorithmic stratification of R\({}_{\mbox{hom}}\)D for regular algebraic
(M,N)-modules on C\({}^{\mbox{n}}\)},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {493--499},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.015},
doi = {10.1016/J.JSC.2004.11.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Walther05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ZhaoGS05,
author = {Xuan Zhao and
Hongzhu Gao and
Xiaole Su},
title = {Homotopy classification of maps between simply connected four manifolds},
journal = {J. Symb. Comput.},
volume = {39},
number = {6},
pages = {631--642},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.009},
doi = {10.1016/J.JSC.2004.12.009},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/ZhaoGS05.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-31 10:50 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:
