default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 = {Sun, 06 Oct 2024 01:00:00 +0200},
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}
}
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-11-26 05:44 CET 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:
