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/jsc12.bht:"
download as .bib file
@article{DBLP:journals/jsc/AndersenG91,
author = {C. M. Andersen and
J. F. Geer},
title = {Investigating a Hybrid Perturbation-Galerkin Technique Using Computer
Algebra},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {695--714},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80149-6},
doi = {10.1016/S0747-7171(08)80149-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AndersenG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BjorckF91,
author = {G. Bj{\"{o}}rck and
G. Fr{\"{o}}berg},
title = {A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic
Equations, with Applications to Cyclic n-Roots},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {329--336},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80153-8},
doi = {10.1016/S0747-7171(08)80153-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BjorckF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ButlerC91,
author = {Gregory Butler and
John J. Cannon},
title = {Computing Sylow Subgroups of Permutation Groups Using Homomorphic
Images of Centralizers},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {443--458},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80097-1},
doi = {10.1016/S0747-7171(08)80097-1},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/ButlerC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CameronC91,
author = {Peter J. Cameron and
John J. Cannon},
title = {Fast Recognition of Doubly Transitive Groups},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {459--474},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80098-3},
doi = {10.1016/S0747-7171(08)80098-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CameronC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChamparnaudH91,
author = {Jean{-}Marc Champarnaud and
Georges Hansel},
title = {AUTOMATE, a Computing Package for Automata and Finite Semigroups},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {197--220},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80125-3},
doi = {10.1016/S0747-7171(08)80125-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChamparnaudH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CollinsH91,
author = {George E. Collins and
Hoon Hong},
title = {Partial Cylindrical Algebraic Decomposition for Quantifier Elimination},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {299--328},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80152-6},
doi = {10.1016/S0747-7171(08)80152-6},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/CollinsH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoopermanF91,
author = {Gene Cooperman and
Larry Finkelstein},
title = {A Strong Generating Test and Short Presentation for Permutation Groups},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {475--498},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80099-5},
doi = {10.1016/S0747-7171(08)80099-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoopermanF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EikelderW91,
author = {Huub M. M. ten Eikelder and
J. C. F. Wilmont},
title = {Normal Forms for a Class of Formulas},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {143--160},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80123-X},
doi = {10.1016/S0747-7171(08)80123-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EikelderW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EpsteinHR91,
author = {David B. A. Epstein and
Derek F. Holt and
Sarah Rees},
title = {The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic
Groups},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {397--414},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80093-4},
doi = {10.1016/S0747-7171(08)80093-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EpsteinHR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GarbeyKLM91,
author = {Marc Garbey and
Hans G. Kaper and
Gary K. Leaf and
B. J. Matkowsky},
title = {Using {MAPLE} for the Analysis of Bifurcation Phenomena in Condensed-Phase
Surface Combustion},
journal = {J. Symb. Comput.},
volume = {12},
number = {1},
pages = {89--114},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80141-1},
doi = {10.1016/S0747-7171(08)80141-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GarbeyKLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HartleyT91,
author = {David Hartley and
R. W. Tucker},
title = {A Constructive Implementation of the Cartan-K{\"{a}}hler Theory
of Exterior Differential Systems},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {655--668},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80146-0},
doi = {10.1016/S0747-7171(08)80146-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HartleyT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HerfortP91,
author = {W. Herfort and
H. Penz},
title = {A New Notion of Reduction: General Universal Gr{\"{o}}bner Basis
for K[x, y]},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {585--606},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80143-5},
doi = {10.1016/S0747-7171(08)80143-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HerfortP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Holt91,
author = {Derek F. Holt},
title = {The Computation of Normalizers in Permutation Groups},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {499--516},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80100-9},
doi = {10.1016/S0747-7171(08)80100-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Holt91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/JacobssonL91,
author = {C. Jacobsson and
C. L{\"{o}}fwall},
title = {Standard Bases for General Coefficient Rings and a New Constructive
Proof of Hilbert's Basis Theorem},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {337--372},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80154-X},
doi = {10.1016/S0747-7171(08)80154-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/JacobssonL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kantor91,
author = {William M. Kantor},
title = {Finding Composition Factors of Permutation Groups of Degree n {\textless}
106},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {517--526},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80101-0},
doi = {10.1016/S0747-7171(08)80101-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kantor91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KlopM91,
author = {Jan Willem Klop and
Aart Middeldorp},
title = {Sequentiality in Orthogonal Term Rewriting Systems},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {161--196},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80124-1},
doi = {10.1016/S0747-7171(08)80124-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KlopM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Lambe91,
author = {L. Lambe},
title = {Resolution via Homological Perturbation},
journal = {J. Symb. Comput.},
volume = {12},
number = {1},
pages = {71--88},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80140-X},
doi = {10.1016/S0747-7171(08)80140-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Lambe91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Leedham-GreenPS91,
author = {Charles R. Leedham{-}Green and
Cheryl E. Praeger and
Leonard H. Soicher},
title = {Computing with Group Homomorphisms},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {527--532},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80102-2},
doi = {10.1016/S0747-7171(08)80102-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Leedham-GreenPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Leon91,
author = {Jeffrey S. Leon},
title = {Permutation Group Algorithms Based on Partitions, {I:} Theory and
Algorithms},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {533--583},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80103-4},
doi = {10.1016/S0747-7171(08)80103-4},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Leon91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Linton91,
author = {Steve Linton},
title = {Double Coset Enumeration},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {415--426},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80094-6},
doi = {10.1016/S0747-7171(08)80094-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Linton91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Linton91a,
author = {Steve Linton},
title = {Constructing Matrix Representations of Finitely Presented Groups},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {427--438},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80095-8},
doi = {10.1016/S0747-7171(08)80095-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Linton91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Nipkow91,
author = {Tobias Nipkow},
title = {Combining Matching Algorithms: The Regular Case},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {633--654},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80145-9},
doi = {10.1016/S0747-7171(08)80145-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Nipkow91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Otto91,
author = {Friedrich Otto},
title = {When is an Extension of a Specification Consistent? Decidable and
Undecidable Cases},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {255--274},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80150-2},
doi = {10.1016/S0747-7171(08)80150-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Otto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Oussous91,
author = {N. E. Oussous},
title = {Macsyma Computation of Local Minimal Realization of Dynamical Systems
of which Generating Power Series are Finite},
journal = {J. Symb. Comput.},
volume = {12},
number = {1},
pages = {115--126},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80142-3},
doi = {10.1016/S0747-7171(08)80142-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Oussous91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PasiniSZ91,
author = {P. Pasini and
F. Semeria and
Claudio Zannoni},
title = {Symbolic Computation of Orientational Correlation Function Moments},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {221--232},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80126-5},
doi = {10.1016/S0747-7171(08)80126-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PasiniSZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Richardson91,
author = {Daniel Richardson},
title = {Wu's Method and the Khovanskii Finiteness Theorem},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {127--142},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80122-8},
doi = {10.1016/S0747-7171(08)80122-8},
timestamp = {Sun, 01 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Richardson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoqueS91,
author = {Waldir L. Roque and
Renato P. dos Santos},
title = {Computer Algebra in Spacetime Embedding},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {381--389},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80156-3},
doi = {10.1016/S0747-7171(08)80156-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/RoqueS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SailerM91,
author = {V. Sailer and
Guillermo Morales{-}Luna},
title = {On the Polynomial Representation of Generalized Liouville Operators},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {373--380},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80155-1},
doi = {10.1016/S0747-7171(08)80155-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SailerM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Schend91,
author = {B. Schend},
title = {A Methodology for Detecting Shared Variable Dependencies in Logic
Programs},
journal = {J. Symb. Comput.},
volume = {12},
number = {3},
pages = {275--298},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80151-4},
doi = {10.1016/S0747-7171(08)80151-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Schend91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SendraW91,
author = {J. Rafael Sendra and
Franz Winkler},
title = {Symbolic Parametrization of Curves},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {607--632},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80144-7},
doi = {10.1016/S0747-7171(08)80144-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SendraW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Sims91,
author = {Charles C. Sims},
title = {The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {439--442},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80096-X},
doi = {10.1016/S0747-7171(08)80096-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Sims91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Takayama91,
author = {Yukihide Takayama},
title = {Extraction of Redundancy-free Programs from Constructive Natural Deduction
Proofs},
journal = {J. Symb. Comput.},
volume = {12},
number = {1},
pages = {29--70},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80139-3},
doi = {10.1016/S0747-7171(08)80139-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Takayama91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wang91,
author = {Dongming Wang},
title = {Mechanical Manipulation for a Class of Differential Systems},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {233--254},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80127-7},
doi = {10.1016/S0747-7171(08)80127-7},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Wang91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/WolfK91,
author = {Kurt Bernardo Wolf and
G. Kr{\"{o}}tzsch},
title = {Group-Classified Polynomials of Phase Space in Higher-Order Aberration
Expansions},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {673--694},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80148-4},
doi = {10.1016/S0747-7171(08)80148-4},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/WolfK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/YamartinoP91,
author = {R. J. Yamartino and
Richard Pavelle},
title = {An Application of Computer Algebra to a Problem in Stratified Fluid
Flow},
journal = {J. Symb. Comput.},
volume = {12},
number = {6},
pages = {669--672},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80147-2},
doi = {10.1016/S0747-7171(08)80147-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/YamartinoP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Yap91,
author = {Chee{-}Keng Yap},
title = {A New Lower Bound Construction for Commutative Thue Systems with aApplications},
journal = {J. Symb. Comput.},
volume = {12},
number = {1},
pages = {1--28},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80138-1},
doi = {10.1016/S0747-7171(08)80138-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Yap91.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-07-15 01:00 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:
