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/jsc29.bht:"
download as .bib file
@article{DBLP:journals/jsc/AravindanB00,
author = {Chandrabose Aravindan and
Peter Baumgartner},
title = {Theorem Proving Techniques for View Deletion in Databases},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {119--147},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0358},
doi = {10.1006/JSCO.1999.0358},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AravindanB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaazL00,
author = {Matthias Baaz and
Alexander Leitsch},
title = {Cut-elimination and Redundancy-elimination by Resolution},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {149--177},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0359},
doi = {10.1006/JSCO.1999.0359},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BaazL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BerchenkoO00,
author = {Irina Berchenko and
Peter J. Olver},
title = {Symmetries of Polynomials},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {485--514},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0307},
doi = {10.1006/JSCO.1999.0307},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BerchenkoO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BratusP00,
author = {Sergey Bratus and
Igor Pak},
title = {Fast Constructive Recognition of a Black Box Group Isomorphic to Sn
or An using Goldbach's Conjecture},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {33--57},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0295},
doi = {10.1006/JSCO.1999.0295},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BratusP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Bronstein00,
author = {Manuel Bronstein},
title = {On Solutions of Linear Ordinary Difference Equations in their Coefficient
Field},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {841--877},
year = {2000},
url = {https://doi.org/10.1006/jsco.2000.0368},
doi = {10.1006/JSCO.2000.0368},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Bronstein00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BrownH00,
author = {Ronald Brown and
Anne Heyworth},
title = {Using Rewriting Systems to Compute Left Kan Extensions and Induced
Actions of Categories},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {5--31},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0294},
doi = {10.1006/JSCO.1999.0294},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BrownH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BuseEM00,
author = {Laurent Bus{\'{e}} and
Mohamed Elkadi and
Bernard Mourrain},
title = {Generalized Resultants over Unirational Algebraic Varieties},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {515--526},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0304},
doi = {10.1006/JSCO.1999.0304},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BuseEM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CaferraP00,
author = {Ricardo Caferra and
Nicolas Peltier},
title = {Combining Enumeration and Deductive Techniques in order to Increase
the Class of Constructible Infinite Models},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {177--211},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0360},
doi = {10.1006/JSCO.1999.0360},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CaferraP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CarminatiV00,
author = {John Carminati and
Khai Vu},
title = {Symbolic Computation and Differential Equations: Lie Symmetries},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {95--116},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0299},
doi = {10.1006/JSCO.1999.0299},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CarminatiV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CattaniL00,
author = {Eduardo Cattani and
Reinhard C. Laubenbacher},
title = {Special Issue on Symbolic Computation in Algebra, Analysis, and Geometry
- Foreword of the Guest Editors},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {483},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0371},
doi = {10.1006/JSCO.1999.0371},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CattaniL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Caviness00,
author = {Bob F. Caviness},
title = {Editorial},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {1},
year = {2000},
url = {https://doi.org/10.1006/jsco.2000.0351},
doi = {10.1006/JSCO.2000.0351},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Caviness00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Chardin00,
author = {Marc Chardin},
title = {Applications of Some Properties of the Canonical Module in Computational
Projective Algebraic Geometry},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {527--544},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0330},
doi = {10.1006/JSCO.1999.0330},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Chardin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenD00,
author = {Guoting Chen and
Jean Della Dora},
title = {An Algorithm for Computing a New Normal Form for Dynamical Systems},
journal = {J. Symb. Comput.},
volume = {29},
number = {3},
pages = {393--418},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0305},
doi = {10.1006/JSCO.1999.0305},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChenD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoxGZ00,
author = {David A. Cox and
Ronald N. Goldman and
Ming Zhang},
title = {On the Validity of Implicitization by Moving Quadrics for Rational
Surfaces with No Base Points},
journal = {J. Symb. Comput.},
volume = {29},
number = {3},
pages = {419--440},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0325},
doi = {10.1006/JSCO.1999.0325},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoxGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DeckerS00,
author = {Wolfram Decker and
Frank{-}Olaf Schreyer},
title = {Non-general Type Surfaces in {P4:} Some Remarks on Bounds and Constructions},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {545--582},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0323},
doi = {10.1006/JSCO.1999.0323},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DeckerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EberlyG00,
author = {Wayne Eberly and
Mark Giesbrecht},
title = {Efficient Decomposition of Associative Algebras over Finite Fields},
journal = {J. Symb. Comput.},
volume = {29},
number = {3},
pages = {441--458},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0308},
doi = {10.1006/JSCO.1999.0308},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EberlyG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EisenbudMS00,
author = {David Eisenbud and
Mircea Mustala and
Michael Eugene Stillman},
title = {Cohomology on Toric Varieties and Local Cohomology with Monomial Supports},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {583--600},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0326},
doi = {10.1006/JSCO.1999.0326},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EisenbudMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FormisanoOT00,
author = {Andrea Formisano and
Eugenio G. Omodeo and
Marco Temperini},
title = {Goals and Benchmarks for Automated Map Reasoning},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {259--297},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0362},
doi = {10.1006/JSCO.1999.0362},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FormisanoOT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Fuchs00,
author = {Marc Fuchs},
title = {Controlled Use of Clausal Lemmas in Connection Tableau Calculi},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {299--341},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0363},
doi = {10.1006/JSCO.1999.0363},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Fuchs00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GaoGPS00,
author = {Shuhong Gao and
Joachim von zur Gathen and
Daniel Panario and
Victor Shoup},
title = {Algorithms for Exponentiation in Finite Fields},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {879--889},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0309},
doi = {10.1006/JSCO.1999.0309},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GaoGPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GentiliO00,
author = {Graziano Gentili and
Michael A. O'Connor},
title = {On Rational Geometry of Conic Sections},
journal = {J. Symb. Comput.},
volume = {29},
number = {3},
pages = {459--470},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0332},
doi = {10.1006/JSCO.1999.0332},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GentiliO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Green00,
author = {Edward L. Green},
title = {Multiplicative Bases, Gr{\"{o}}bner Bases, and Right Gr{\"{o}}bner
Bases},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {601--623},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0324},
doi = {10.1006/JSCO.1999.0324},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Green00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hong00,
author = {Hoon Hong},
title = {Editorial},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {3--4},
year = {2000},
url = {https://doi.org/10.1006/jsco.2000.0345},
doi = {10.1006/JSCO.2000.0345},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hong00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HostenS00,
author = {Serkan Hosten and
Jay Shapiro},
title = {Primary Decomposition of Lattice Basis Ideals},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {625--639},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0397},
doi = {10.1006/JSCO.1999.0397},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HostenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hubert00,
author = {Evelyne Hubert},
title = {Factorization-free Decomposition Algorithms in Differential Algebra},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {641--662},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0344},
doi = {10.1006/JSCO.1999.0344},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hubert00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kaltofen00,
author = {Erich L. Kaltofen},
title = {Challenges of Symbolic Computation: My Favorite Open Problems},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {891--919},
year = {2000},
url = {https://doi.org/10.1006/jsco.2000.0370},
doi = {10.1006/JSCO.2000.0370},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Kaltofen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LombardiRD00,
author = {Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din},
title = {New Structure Theorem for Subresultants},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {663--689},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0322},
doi = {10.1006/JSCO.1999.0322},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LombardiRD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinGL00,
author = {Pedro J. Mart{\'{\i}}n and
Antonio Gavilanes and
Javier Leach},
title = {Tableau Methods for a Logic with Term Declarations},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {343--372},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0364},
doi = {10.1006/JSCO.1999.0364},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MartinGL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinS00,
author = {Ursula Martin and
Duncan Shand},
title = {Invariants, Patterns and Weights for Ordering Terms},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {921--957},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0333},
doi = {10.1006/JSCO.1999.0333},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MartinS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Maubach00,
author = {Stefan Maubach},
title = {An Algorithm to Compute the Kernel of a Derivation up to a Certain
Degree},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {959--970},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0334},
doi = {10.1006/JSCO.1999.0334},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Maubach00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MillerSY00,
author = {Ezra Miller and
Bernd Sturmfels and
Kohji Yanagawa},
title = {Generic and Cogeneric Monomial Ideals},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {691--708},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0290},
doi = {10.1006/JSCO.1999.0290},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MillerSY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Mustala00,
author = {Mircea Mustala},
title = {Local Cohomology at Monomial Ideals},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {709--720},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0302},
doi = {10.1006/JSCO.1999.0302},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Mustala00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/OakuTW00,
author = {Toshinori Oaku and
Nobuki Takayama and
Uli Walther},
title = {A Localization Algorithm for D-modules},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {721--728},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0398},
doi = {10.1006/JSCO.1999.0398},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/OakuTW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PauS00,
author = {Petru Pau and
Josef Schicho},
title = {Quantifier Elimination for Trigonometric Polynomials by Cylindrical
Trigonometric Decomposition},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {971--983},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0352},
doi = {10.1006/JSCO.1999.0352},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PauS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Petermann00,
author = {Uwe Petermann},
title = {Connection Calculus Theorem Proving with Multiple Built-in Theories},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {373--392},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0365},
doi = {10.1006/JSCO.1999.0365},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Petermann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Pichler00,
author = {Reinhard Pichler},
title = {Speeding up Algorithms on Atomic Representations of Herbrand Models
via New Redundancy Criteria},
journal = {J. Symb. Comput.},
volume = {29},
number = {2},
pages = {213--257},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0361},
doi = {10.1006/JSCO.1999.0361},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Pichler00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Prosper00,
author = {Vincent Prosper},
title = {SFA, a Package on Symmetric Functions Considered as Operators over
the Ring of Polynomials for the Computer Algebra System Maple},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {83--94},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0291},
doi = {10.1006/JSCO.1999.0291},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Prosper00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ReesS00,
author = {Sarah Rees and
Leonard H. Soicher},
title = {An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial
Cell Complexes},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {59--77},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0292},
doi = {10.1006/JSCO.1999.0292},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ReesS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Smith00,
author = {Gregory G. Smith},
title = {Computing Global Extension Modules},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {729--746},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0399},
doi = {10.1006/JSCO.1999.0399},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Smith00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Strzeboski00,
author = {Adam W. Strzebonski},
title = {Solving Systems of Strict Polynomial Inequalities},
journal = {J. Symb. Comput.},
volume = {29},
number = {3},
pages = {471--480},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0327},
doi = {10.1006/JSCO.1999.0327},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Strzeboski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Tsai00,
author = {Harrison Tsai},
title = {Weyl Closure of a Linear Differential Operator},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {747--775},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0400},
doi = {10.1006/JSCO.1999.0400},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Tsai00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Verschelde00,
author = {Jan Verschelde},
title = {Toric Newton Method for Polynomial Homotopies},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {777--793},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0296},
doi = {10.1006/JSCO.1999.0296},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Verschelde00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Walther00,
author = {Uli Walther},
title = {Algorithmic Computation of de Rham Cohomology of Complements of Complex
Affine Varieties},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {795--839},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0328},
doi = {10.1006/JSCO.1999.0328},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Walther00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wolfram00,
author = {David A. Wolfram},
title = {A Formula for the General Solution of a Constant-coefficient Difference
Equation},
journal = {J. Symb. Comput.},
volume = {29},
number = {1},
pages = {79--82},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0350},
doi = {10.1006/JSCO.1999.0350},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Wolfram00.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-26 22:02 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:
