Search dblp for Publications

export results for "toc:db/conf/issac/issac96.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issac/AbramovZ96,
  author       = {Sergei A. Abramov and
                  Eugene V. Zima},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {D'Alembertian Solutions of Inhomogeneous Linear Equations (differential,
                  difference, and some other)},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {232--240},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237080},
  doi          = {10.1145/236869.237080},
  timestamp    = {Tue, 29 Aug 2023 20:47:14 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/AbramovZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Ahrendt96,
  author       = {Timm Ahrendt},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Fast High-Precision Computation of Complex Square Roots},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {142--149},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236924},
  doi          = {10.1145/236869.236924},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Ahrendt96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/AmrheinGK96,
  author       = {Beatrice Amrhein and
                  Oliver Gloor and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {A Case Study of Multi-Threaded Gr{\"{o}}bner Basis Completion},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {95--102},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236908},
  doi          = {10.1145/236869.236908},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/AmrheinGK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Bacher96,
  author       = {Rainer Bacher},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Automatic Generation of Optimization Code Based on Symbolic Non-Linear
                  Domain Formulation},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {283--291},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237086},
  doi          = {10.1145/236869.237086},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Bacher96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BachmannSG96,
  author       = {Olaf Bachmann and
                  Hans Sch{\"{o}}nemann and
                  Simon Gray},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {{MPP:} {A} Framework for Distributed Polynomial Computations},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {103--112},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236913},
  doi          = {10.1145/236869.236913},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BachmannSG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Binder96,
  author       = {Franz Binder},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Fast Computations in the Lattice of Polynomial Rational Function Fields},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {43--48},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236895},
  doi          = {10.1145/236869.236895},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Binder96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/CaboaraDR96,
  author       = {Massimo Caboara and
                  Gabriel de Dominicis and
                  Lorenzo Robbiano},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Multigraded Hilbert Functions and Buchberger Algorithm},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {72--78},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236901},
  doi          = {10.1145/236869.236901},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CaboaraDR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/CollinsK96,
  author       = {George E. Collins and
                  Werner Krandick},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {A Tangent-Secant Method for Polynomial Complex Root Calculation},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {137--141},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236921},
  doi          = {10.1145/236869.236921},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CollinsK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/CoopermanT96,
  author       = {Gene Cooperman and
                  Michael Tselman},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {New Sequential and Parallel Algorithms for Generating High Dimension
                  Hecke Algebras Using the Condensation Technique},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {155--160},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236927},
  doi          = {10.1145/236869.236927},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CoopermanT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/EberlyG96,
  author       = {Wayne Eberly and
                  Mark Giesbrecht},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Efficient Decomposition of Associative Algebras},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {170--178},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236931},
  doi          = {10.1145/236869.236931},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/EberlyG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ErlingssonKM96,
  author       = {{\'{U}}lfar Erlingsson and
                  Erich L. Kaltofen and
                  David R. Musser},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Generic Gram-Schmidt Orthogonalization by Exact Division},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {275--282},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237085},
  doi          = {10.1145/236869.237085},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/ErlingssonKM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Fateman96,
  author       = {Richard J. Fateman},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Symbolic Mathematics System Evaluators (extended abstract)},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {86--94},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236907},
  doi          = {10.1145/236869.236907},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Fateman96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/FujiseM96,
  author       = {Tetsuro Fujise and
                  Hirokazu Murao},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Parallel Distinct Degree Factorization Algorithm},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {18--25},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236886},
  doi          = {10.1145/236869.236886},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/FujiseM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GathenG96,
  author       = {Joachim von zur Gathen and
                  J{\"{u}}rgen Gerhard},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Arithmetic and Factorization of Polynomial Over F\({}_{\mbox{2}}\)
                  (extended abstract)},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236882},
  doi          = {10.1145/236869.236882},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GathenG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GathenH96,
  author       = {Joachim von zur Gathen and
                  Silke Hartlieb},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Factoring Modular Polynomials (extended abstract)},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {10--17},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236884},
  doi          = {10.1145/236869.236884},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GathenH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Grigoriev96,
  author       = {Dima Grigoriev},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Testing Shift-Equivalence of Polynomials Using Quantum Machines},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {49--54},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236897},
  doi          = {10.1145/236869.236897},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Grigoriev96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Hoeij96,
  author       = {Mark van Hoeij},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Rational Solutions of the Mixed Differential Equation and Its Application
                  to Factorization of Differential Operators},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {219--225},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237078},
  doi          = {10.1145/236869.237078},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Hoeij96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Hong96,
  author       = {Hoon Hong},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Groebner Basis Under Composition {II}},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {79--85},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236906},
  doi          = {10.1145/236869.236906},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Hong96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Hubert96,
  author       = {Evelyne Hubert},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {The General Solution of an Ordinary Differential Equation},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {189--195},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237073},
  doi          = {10.1145/236869.237073},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Hubert96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KaltofenL96,
  author       = {Erich L. Kaltofen and
                  Austin Lobo},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {On Rank Properties of Toeplitz Matrices over Finite Fields},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {241--249},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237081},
  doi          = {10.1145/236869.237081},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KarmarkarL96,
  author       = {Narendra Karmarkar and
                  Yagati N. Lakshman},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Approximate Polynomial Greatest Common Divisors and Nearest Singular
                  Polynomials},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {35--39},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236892},
  doi          = {10.1145/236869.236892},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KarmarkarL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KavianMG96,
  author       = {Masoud Kavian and
                  R. G. McLenaghan and
                  Keith O. Geddes},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {MapleTensor: Progress Report on a New System for Performing Indicial
                  and Component Tensor Calculations Using Symbolic Computation},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {204--211},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237075},
  doi          = {10.1145/236869.237075},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KavianMG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KoppenhagenM96,
  author       = {Ulla Koppenhagen and
                  Ernst W. Mayr},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {An Optimal Algorithm for Constructing the Reduced Gr{\"{o}}bner
                  Basis of Binomial Ideals},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {55--62},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236899},
  doi          = {10.1145/236869.236899},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KoppenhagenM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KuhnleM96,
  author       = {Klaus K{\"{u}}hnle and
                  Ernst W. Mayr},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Exponential Space Computation of Gr{\"{o}}bner Bases},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {63--71},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236900},
  doi          = {10.1145/236869.236900},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KuhnleM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/MikhalevZ96,
  author       = {Alexander A. Mikhalev and
                  Andrej A. Zolotykh},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Algorithms for Primitive Elements of Free Lie Algebras and Lie Superalgebras},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {161--169},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236929},
  doi          = {10.1145/236869.236929},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/MikhalevZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/NormanF96,
  author       = {Arthur Norman and
                  John P. Fitch},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Memory Tracing of Algebraic Calculations},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {113--119},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236916},
  doi          = {10.1145/236869.236916},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/NormanF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Pottier96,
  author       = {Loic Pottier},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {The Euclidean Algorithm in Dimension \emph{n}},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {40--42},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236894},
  doi          = {10.1145/236869.236894},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Pottier96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ReinhartS96,
  author       = {Georg M. Reinhart and
                  William Y. Sit},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Differentially Homogeneous Differential Polynomials},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {212--218},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237077},
  doi          = {10.1145/236869.237077},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ReinhartS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Richardson96,
  author       = {Daniel Richardson},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Solution of Elementary Systems of Equations in a Box in \emph{R\({}^{\mbox{n}}\)}},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {120--126},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236918},
  doi          = {10.1145/236869.236918},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Richardson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/RichardsonSSH96,
  author       = {Daniel Richardson and
                  Bruno Salvy and
                  John Shackell and
                  Joris van der Hoeven},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Asymptotic Expansions of exp-log Functions},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {309--313},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237089},
  doi          = {10.1145/236869.237089},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/RichardsonSSH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Roach96,
  author       = {Kelly Roach},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Hypergeometric Function Representations},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {301--308},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237088},
  doi          = {10.1145/236869.237088},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Roach96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/RoyV96,
  author       = {Marie{-}Fran{\c{c}}oise Roy and
                  Nicolai N. Vorobjov Jr.},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Computing the Complexification of a Semi-Algebraic Set},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {26--34},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236891},
  doi          = {10.1145/236869.236891},
  timestamp    = {Mon, 22 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/RoyV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Schwarz96,
  author       = {Fritz Schwarz},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Janet Bases of 2nd Order Ordinary Differential Equations},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {179--188},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.240354},
  doi          = {10.1145/236869.240354},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Schwarz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Stetter96,
  author       = {Hans J. Stetter},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Analysis of Zero Clusters in Multivariate Polynomial Systems},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {127--136},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236919},
  doi          = {10.1145/236869.236919},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Stetter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Storjohann96,
  author       = {Arne Storjohann},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Near Optimal Algorithms for Computing Smith Normal Forms of Integer
                  Matrices},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {267--274},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237084},
  doi          = {10.1145/236869.237084},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Storjohann96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/StorjohannL96,
  author       = {Arne Storjohann and
                  George Labahn},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Asymptotically Fast Computation of Hermite Normal Forms of Integer
                  Matrices},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {259--266},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237083},
  doi          = {10.1145/236869.237083},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/StorjohannL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Thomas96,
  author       = {Gabriel Thomas},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Symbolic Computation of the Index of Quasilinear Differential-Algebraic
                  Equations},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {196--203},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237074},
  doi          = {10.1145/236869.237074},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/Thomas96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Thummel96,
  author       = {Andreas Th{\"{u}}mmel},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Computing Character Tables of \emph{p}-Groups},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {150--154},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.236925},
  doi          = {10.1145/236869.236925},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Thummel96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Tsarev96,
  author       = {Serguei P. Tsarev},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {An Algorithm for Complete Enumeration of all Factorizations of a Linear
                  Ordinary Differential Operator},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {226--231},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237079},
  doi          = {10.1145/236869.237079},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Tsarev96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Villard96,
  author       = {Gilles Villard},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Computing Popov and Hermite Forms of Polynomial Matrices},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {250--258},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237082},
  doi          = {10.1145/236869.237082},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Villard96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ZhaoSST96,
  author       = {Yanjie Zhao and
                  Tetsuya Sakurai and
                  Hiroshi Sugiura and
                  Tatsuo Torii},
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {A Methodology of Parsing Mathematical Notation for Mathematical Computation},
  booktitle    = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages        = {292--300},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/236869.237087},
  doi          = {10.1145/236869.237087},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ZhaoSST96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issac/1996,
  editor       = {Erwin Engeler and
                  Bob F. Caviness and
                  Yagati N. Lakshman},
  title        = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {http://dl.acm.org/citation.cfm?id=236869},
  isbn         = {0-89791-796-0},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/1996.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.