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/jsc34.bht:"
download as .bib file
@article{DBLP:journals/jsc/ArmandoRS02,
author = {Alessandro Armando and
Micha{\"{e}}l Rusinowitch and
Sorin Stratulat},
title = {Incorporating Decision Procedures in Implicit Induction},
journal = {J. Symb. Comput.},
volume = {34},
number = {4},
pages = {241--258},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0549},
doi = {10.1006/JSCO.2002.0549},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArmandoRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AubryRD02,
author = {Philippe Aubry and
Fabrice Rouillier and
Mohab Safey El Din},
title = {Real Solving for Positive Dimensional Systems},
journal = {J. Symb. Comput.},
volume = {34},
number = {6},
pages = {543--560},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0563},
doi = {10.1006/JSCO.2002.0563},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AubryRD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BouzianeK02,
author = {Driss Bouziane and
M'hammed El Kahoui},
title = {Computation of the Dual of a Plane Projective Curve},
journal = {J. Symb. Comput.},
volume = {34},
number = {2},
pages = {105--117},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0544},
doi = {10.1006/JSCO.2002.0544},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BouzianeK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChuK02,
author = {Huah Chu and
Ming{-}Chang Kang},
title = {Quartic Fields and Radical Extensions},
journal = {J. Symb. Comput.},
volume = {34},
number = {1},
pages = {83--89},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0543},
doi = {10.1006/JSCO.2002.0543},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChuK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CollinsJK02,
author = {George E. Collins and
Jeremy R. Johnson and
Werner Krandick},
title = {Interval Arithmetic in Cylindrical Algebraic Decomposition},
journal = {J. Symb. Comput.},
volume = {34},
number = {2},
pages = {145--157},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0547},
doi = {10.1006/JSCO.2002.0547},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CollinsJK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CormierSTU02,
author = {Olivier Cormier and
Michael F. Singer and
Barry M. Trager and
Felix Ulmer},
title = {Linear Differential Operators for Polynomial Equations},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {355--398},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0564},
doi = {10.1006/JSCO.2002.0564},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CormierSTU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Davenport02,
author = {James H. Davenport},
title = {Equality in Computer Algebra and Beyond},
journal = {J. Symb. Comput.},
volume = {34},
number = {4},
pages = {259--270},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0551},
doi = {10.1006/JSCO.2002.0551},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Davenport02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Diaz-TocaG02,
author = {Gema M. Diaz{-}Toca and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Barnett's Theorems About the Greatest Common Divisor of Several Univariate
Polynomials Through Bezout-like Matrices},
journal = {J. Symb. Comput.},
volume = {34},
number = {1},
pages = {59--81},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0542},
doi = {10.1006/JSCO.2002.0542},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Diaz-TocaG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DickensteinS02,
author = {Alicia Dickenstein and
Bernd Sturmfels},
title = {Elimination Theory in Codimension 2},
journal = {J. Symb. Comput.},
volume = {34},
number = {2},
pages = {119--135},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0545},
doi = {10.1006/JSCO.2002.0545},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DickensteinS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Eick02,
author = {Bettina Eick},
title = {Orbit-stabilizer Problems and Computing Normalizers for Polycyclic
Groups},
journal = {J. Symb. Comput.},
volume = {34},
number = {1},
pages = {1--19},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0540},
doi = {10.1006/JSCO.2002.0540},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Eick02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Gaal02,
author = {Istv{\'{a}}n Ga{\'{a}}l},
title = {On the Resolution of Resultant Type Equations},
journal = {J. Symb. Comput.},
volume = {34},
number = {2},
pages = {137--144},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0546},
doi = {10.1006/JSCO.2002.0546},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Gaal02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Gebhardt02,
author = {Volker Gebhardt},
title = {Efficient Collection in Infinite Polycyclic Groups},
journal = {J. Symb. Comput.},
volume = {34},
number = {3},
pages = {213--228},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0559},
doi = {10.1006/JSCO.2002.0559},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Gebhardt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GeuversPWZ02,
author = {Herman Geuvers and
Randy Pollack and
Freek Wiedijk and
Jan Zwanenburg},
title = {A Constructive Algebraic Hierarchy in Coq},
journal = {J. Symb. Comput.},
volume = {34},
number = {4},
pages = {271--286},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0552},
doi = {10.1006/JSCO.2002.0552},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GeuversPWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GiesbrechtS02,
author = {Mark Giesbrecht and
Arne Storjohann},
title = {Computing Rational Forms of Integer Matrices},
journal = {J. Symb. Comput.},
volume = {34},
number = {3},
pages = {157--172},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0554},
doi = {10.1006/JSCO.2002.0554},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GiesbrechtS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GieslAO02,
author = {J{\"{u}}rgen Giesl and
Thomas Arts and
Enno Ohlebusch},
title = {Modular Termination Proofs for Rewriting Using Dependency Pairs},
journal = {J. Symb. Comput.},
volume = {34},
number = {1},
pages = {21--58},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0541},
doi = {10.1006/JSCO.2002.0541},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GieslAO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HausdorfSS02,
author = {Marcus Hausdorf and
Werner M. Seiler and
Rainer Steinwandt},
title = {Involutive Bases in the Weyl Algebra},
journal = {J. Symb. Comput.},
volume = {34},
number = {3},
pages = {181--198},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0556},
doi = {10.1006/JSCO.2002.0556},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HausdorfSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HeubergerPT02,
author = {Clemens Heuberger and
Attila Peth{\"{o}} and
Robert F. Tichy},
title = {Thomas' Family of Thue Equations Over Imaginary Quadratic Fields},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {437--449},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0568},
doi = {10.1006/JSCO.2002.0568},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HeubergerPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hoeven02a,
author = {Joris van der Hoeven},
title = {Relax, but Don't be Too Lazy},
journal = {J. Symb. Comput.},
volume = {34},
number = {6},
pages = {479--542},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0562},
doi = {10.1006/JSCO.2002.0562},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hoeven02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KaplanT02,
author = {Shmuel Kaplan and
Mina Teicher},
title = {Identifying Half-Twists Using Randomized Algorithm Methods},
journal = {J. Symb. Comput.},
volume = {34},
number = {2},
pages = {91--103},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0521},
doi = {10.1006/JSCO.2002.0521},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KaplanT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kemper02,
author = {Gregor Kemper},
title = {The Calculation of Radical Ideals in Positive Characteristic},
journal = {J. Symb. Comput.},
volume = {34},
number = {3},
pages = {229--238},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0560},
doi = {10.1006/JSCO.2002.0560},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kemper02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kida02,
author = {Masanari Kida},
title = {Potential Good Reduction of Elliptic Curves},
journal = {J. Symb. Comput.},
volume = {34},
number = {3},
pages = {173--180},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0555},
doi = {10.1006/JSCO.2002.0555},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Kida02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LintonS02,
author = {Steve Linton and
Roberto Sebastiani},
title = {Editorial: The Integration of Automated Reasoning and Computer Algebra
Systems},
journal = {J. Symb. Comput.},
volume = {34},
number = {4},
pages = {239},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0553},
doi = {10.1006/JSCO.2002.0553},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LintonS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Martin02,
author = {Bernd Martin},
title = {Algorithmic Computation of Flattenings and of Modular Deformations},
journal = {J. Symb. Comput.},
volume = {34},
number = {3},
pages = {199--212},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0557},
doi = {10.1006/JSCO.2002.0557},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Martin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MeierPS02,
author = {Andreas Meier and
Martin Pollet and
Volker Sorge},
title = {Comparing Approaches to the Exploration of the Domain of Residue Classes},
journal = {J. Symb. Comput.},
volume = {34},
number = {4},
pages = {287--306},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0550},
doi = {10.1006/JSCO.2002.0550},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MeierPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Monico02,
author = {Chris Monico},
title = {Computing the Primary Decomposition of Zero-dimensional Ideals},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {451--459},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0571},
doi = {10.1006/JSCO.2002.0571},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Monico02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MosteigS02,
author = {Edward Mosteig and
Moss Sweedler},
title = {Valuations and Filtrations},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {399--435},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0565},
doi = {10.1006/JSCO.2002.0565},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MosteigS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Puschel02,
author = {Markus P{\"{u}}schel},
title = {Decomposing Monomial Representations of Solvable Groups},
journal = {J. Symb. Comput.},
volume = {34},
number = {6},
pages = {561--596},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0566},
doi = {10.1006/JSCO.2002.0566},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Puschel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Seiler02,
author = {Werner M. Seiler},
title = {Taylor and Lyubeznik Resolutions via Gr{\"{o}}bner Bases},
journal = {J. Symb. Comput.},
volume = {34},
number = {6},
pages = {597--608},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0573},
doi = {10.1006/JSCO.2002.0573},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Seiler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ShankW02,
author = {R. James Shank and
David L. Wehlau},
title = {Computing Modular Invariants of p-groups},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {307--327},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0558},
doi = {10.1006/JSCO.2002.0558},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ShankW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Tefera02,
author = {Akalu Tefera},
title = {MultInt, a {MAPLE} Package for Multiple Integration by the {WZ} Method},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {329--353},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0561},
doi = {10.1006/JSCO.2002.0561},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Tefera02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/XiaY02,
author = {Bican Xia and
Lu Yang},
title = {An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems},
journal = {J. Symb. Comput.},
volume = {34},
number = {5},
pages = {461--477},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0572},
doi = {10.1006/JSCO.2002.0572},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/XiaY02.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-27 11:06 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:
