Search dblp for Publications

export results for "toc:db/journals/jsc/jsc4.bht:"

 download as .bib file

@article{DBLP:journals/jsc/BandyopadhyayD87,
  author       = {S. Bandyopadhyay and
                  John S. Devitt},
  title        = {{SIS} - {A} Symbolic Information Management System},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {397--408},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80016-0},
  doi          = {10.1016/S0747-7171(87)80016-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BandyopadhyayD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BeyerFMS87,
  author       = {W. A. Beyer and
                  L. R. Fawcett and
                  R. Daniel Mauldin and
                  Blair K. Swartz},
  title        = {The Volume Common to Two Congruent Circular Cones whose Axes Intersect
                  Symmetrically},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {381--390},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80014-7},
  doi          = {10.1016/S0747-7171(87)80014-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BeyerFMS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BoffgenR87,
  author       = {R. B{\"{o}}ffgen and
                  M. A. Reichert},
  title        = {Computing the Decomposition of Primes p and p-adic Absolute Values
                  in Semi-simple Algebras over {Q}},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {3--10},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80048-2},
  doi          = {10.1016/S0747-7171(87)80048-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BoffgenR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BuchmannW87,
  author       = {Johannes Buchmann and
                  Hugh C. Williams},
  title        = {On Principal Ideal Testing in Algebraic Number Fields},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {11--19},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80049-4},
  doi          = {10.1016/S0747-7171(87)80049-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BuchmannW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/ButtnerS87,
  author       = {Wolfram B{\"{u}}ttner and
                  Helmut Simonis},
  title        = {Embedding Boolean Expressions into Logic Programming},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {191--205},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80065-2},
  doi          = {10.1016/S0747-7171(87)80065-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/ButtnerS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/CerliencoMP87,
  author       = {L. Cerlienco and
                  Maurice Mignotte and
                  F. Piras},
  title        = {Computing the Measure of a Polynomial},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {21--33},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80050-0},
  doi          = {10.1016/S0747-7171(87)80050-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/CerliencoMP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/CohnD87,
  author       = {Harvey Cohn and
                  Jesse Ira Deutsch},
  title        = {Application of Symbolic Manipulation to the Hecke Transformations
                  of Modular Forms in Two Variables, {II}},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {35--40},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80051-2},
  doi          = {10.1016/S0747-7171(87)80051-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/CohnD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Eckhardt87,
  author       = {Carsten Eckhardt},
  title        = {Computation of Class Numbers by an Analytic Method},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {41--52},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80052-4},
  doi          = {10.1016/S0747-7171(87)80052-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Eckhardt87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Elishakoff87,
  author       = {Isaac E. Elishakoff and
                  Brian Couch},
  title        = {Application of Symbolic Algebra to the Instability of a Nonconservative
                  System},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {391--396},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80015-9},
  doi          = {10.1016/S0747-7171(87)80015-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Elishakoff87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/FolzZ87,
  author       = {H. G. Folz and
                  Horst G{\"{u}}nter Zimmer},
  title        = {What is the Rank of the Demjanenko Matrix?},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {53--67},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80053-6},
  doi          = {10.1016/S0747-7171(87)80053-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/FolzZ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Ford87,
  author       = {David J. Ford},
  title        = {The Construction of Maximal Orders Over a Dedekind Domain},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {69--75},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80054-8},
  doi          = {10.1016/S0747-7171(87)80054-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Ford87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Gallier87,
  author       = {Jean H. Gallier},
  title        = {Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses
                  with Equations},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {233--254},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80067-6},
  doi          = {10.1016/S0747-7171(87)80067-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Gallier87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Gathen87,
  author       = {Joachim von zur Gathen},
  title        = {Feasible Arithmetic Computations: Valiant's Hypothesis},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {137--172},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80063-9},
  doi          = {10.1016/S0747-7171(87)80063-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Gathen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Gibert87,
  author       = {Jacek Gibert},
  title        = {Functional Programming with Combinators},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {269--293},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80009-3},
  doi          = {10.1016/S0747-7171(87)80009-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Gibert87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Hilali87,
  author       = {Aziz Hilali},
  title        = {On the Algebraic and Differential Newton-Puiseux Polygons},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {335--349},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80011-1},
  doi          = {10.1016/S0747-7171(87)80011-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Hilali87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Kaltofen87,
  author       = {Erich L. Kaltofen},
  title        = {Deterministic Irreducibility Testing of Polynomials over Large Finite
                  Fields},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {77--82},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80055-X},
  doi          = {10.1016/S0747-7171(87)80055-X},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/Kaltofen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Kaplan87,
  author       = {St{\'{e}}phane Kaplan},
  title        = {Simplifying Conditional Term Rewriting Systems: Unification, Termination
                  and Confluence},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {295--334},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80010-X},
  doi          = {10.1016/S0747-7171(87)80010-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Kaplan87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Malle87,
  author       = {Gunter Malle},
  title        = {Polynomials for Primitive Nonsolvable Permutation Groups of Degree
                  d {\(\leq\)} 15},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {83--92},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80056-1},
  doi          = {10.1016/S0747-7171(87)80056-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Malle87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/MatzatZ87,
  author       = {B. Heinrich Matzat and
                  Andreas Zeh{-}Marschke},
  title        = {Polynome mit der Galoisgruppe M{\_}11 {\"{u}}ber {Q}},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {93--97},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80057-3},
  doi          = {10.1016/S0747-7171(87)80057-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/MatzatZ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Maus87,
  author       = {Eckart Maus},
  title        = {Computation of Integral Bases in Certain S{\_}n Extensions of {Q}},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {99--102},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80058-5},
  doi          = {10.1016/S0747-7171(87)80058-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Maus87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/MurrayR87,
  author       = {Neil V. Murray and
                  Erik Rosenthal},
  title        = {Theory Links: Applications to Automated Theorem Proving},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {173--190},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80064-0},
  doi          = {10.1016/S0747-7171(87)80064-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/MurrayR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/PaigeH87,
  author       = {Robert Paige and
                  Fritz Henglein},
  title        = {Mechanical Translation of Set Theoretic Problem Specifications into
                  Efficient {RAM} Code-A Case Study},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {207--232},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80066-4},
  doi          = {10.1016/S0747-7171(87)80066-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/PaigeH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Petho87,
  author       = {Attila Peth{\"{o}}},
  title        = {On the Resolution of Thue Inequalities},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {103--109},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80059-7},
  doi          = {10.1016/S0747-7171(87)80059-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Petho87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Plesken87,
  author       = {Wilhelm Plesken},
  title        = {Towards a Soluble Quotient Algorithm},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {111--122},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80060-3},
  doi          = {10.1016/S0747-7171(87)80060-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Plesken87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Pohst87,
  author       = {Michael Pohst},
  title        = {A Modification of the {LLL} Reduction Algorithm},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {123--127},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80061-5},
  doi          = {10.1016/S0747-7171(87)80061-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Pohst87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Royle87,
  author       = {Gordon F. Royle},
  title        = {The Transitive Groups of Degree Twelve},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {255--268},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80068-8},
  doi          = {10.1016/S0747-7171(87)80068-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Royle87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Stifter87,
  author       = {Sabine Stifter},
  title        = {A Generalization of Reduction Rings},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {351--364},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80012-3},
  doi          = {10.1016/S0747-7171(87)80012-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Stifter87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/YoungW87,
  author       = {Douglas A. Young and
                  Paul S. Wang},
  title        = {{GI/S:} {A} Graphical User Interface For Symbolic Computation Systems},
  journal      = {J. Symb. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {365--380},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80013-5},
  doi          = {10.1016/S0747-7171(87)80013-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/YoungW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.