Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/issac/issac2002.bht:"
@inproceedings{DBLP:conf/issac/Abramov02, author = {Sergei A. Abramov}, editor = {Teo Mora}, title = {Applicability of Zeilberger's algorithm to hypergeometric terms}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {1--7}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780507}, doi = {10.1145/780506.780507}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Abramov02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BeckermannCL02, author = {Bernhard Beckermann and Howard Cheng and George Labahn}, editor = {Teo Mora}, title = {Fraction-free row reduction of matrices of skew polynomials}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {8--15}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780508}, doi = {10.1145/780506.780508}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/BeckermannCL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BradfordD02, author = {Russell J. Bradford and James H. Davenport}, editor = {Teo Mora}, title = {Towards better simplification of elementary functions}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {16--22}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780509}, doi = {10.1145/780506.780509}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BradfordD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BronsteinL02, author = {Manuel Bronstein and S{\'{e}}bastien Lafaille}, editor = {Teo Mora}, title = {Solutions of linear ordinary differential equations in terms of special functions}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {23--28}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780510}, doi = {10.1145/780506.780510}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/BronsteinL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ChtcherbaK02, author = {Arthur D. Chtcherba and Deepak Kapur}, editor = {Teo Mora}, title = {On the efficiency and optimality of Dixon-based resultant methods}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {29--36}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780511}, doi = {10.1145/780506.780511}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/ChtcherbaK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/CorlessGKW02, author = {Robert M. Corless and Andr{\'{e}} Galligo and Ilias S. Kotsireas and Stephen M. Watt}, editor = {Teo Mora}, title = {A geometric-numeric algorithm for absolute factorization of multivariate polynomials}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {37--45}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780512}, doi = {10.1145/780506.780512}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/CorlessGKW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/DickensteinE02, author = {Alicia Dickenstein and Ioannis Z. Emiris}, editor = {Teo Mora}, title = {Multihomogeneous resultant matrices}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {46--54}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780513}, doi = {10.1145/780506.780513}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/DickensteinE02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Dooley02, author = {Samuel S. Dooley}, editor = {Teo Mora}, title = {Editing mathematical content and presentation markup in interactive mathematical documents}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {55--62}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780514}, doi = {10.1145/780506.780514}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Dooley02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/DumasGP02, author = {Jean{-}Guillaume Dumas and Thierry Gautier and Cl{\'{e}}ment Pernet}, editor = {Teo Mora}, title = {Finite field linear algebra subroutines}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {63--74}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780515}, doi = {10.1145/780506.780515}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/DumasGP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Fernandez-FerreirosGG02, author = {Pilar Fernandez{-}Ferreiros and Maria de los Angeles Gomez{-}Molleda and Laureano Gonz{\'{a}}lez{-}Vega}, editor = {Teo Mora}, title = {Partial solvability by radicals}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {84--91}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780517}, doi = {10.1145/780506.780517}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Fernandez-FerreirosGG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/FortunaGPT02, author = {Elisabetta Fortuna and Patrizia M. Gianni and Paola Parenti and Carlo Traverso}, editor = {Teo Mora}, title = {Computing the topology of real algebraic surfaces}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {92--100}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780518}, doi = {10.1145/780506.780518}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/FortunaGPT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GiesbrechtKL02, author = {Mark Giesbrecht and Erich L. Kaltofen and Wen{-}shin Lee}, editor = {Teo Mora}, title = {Algorithms for computing the sparsest shifts of polynomials via the Berlekamp/Massey algorithm}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {101--108}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780519}, doi = {10.1145/780506.780519}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/GiesbrechtKL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/HoeijM02, author = {Mark van Hoeij and Michael B. Monagan}, editor = {Teo Mora}, title = {A modular {GCD} algorithm over number fields presented with multiple extensions}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {109--116}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780520}, doi = {10.1145/780506.780520}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/HoeijM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Hoeven02, author = {Joris van der Hoeven}, editor = {Teo Mora}, title = {A new zero-test for formal power series}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {117--122}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780521}, doi = {10.1145/780506.780521}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Hoeven02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/HossainS02, author = {Shahadat Hossain and Trond Steihaug}, editor = {Teo Mora}, title = {Sparsity issues in the computation of Jacobian matrices}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {123--130}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780522}, doi = {10.1145/780506.780522}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/HossainS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Jeannerod02, author = {Claude{-}Pierre Jeannerod}, editor = {Teo Mora}, title = {A reduced form for perturbed matrix polynomials}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {131--137}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780523}, doi = {10.1145/780506.780523}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Jeannerod02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Kaltofen02, author = {Erich L. Kaltofen}, editor = {Teo Mora}, title = {An output-sensitive variant of the baby steps/giant steps determinant algorithm}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {138--144}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780524}, doi = {10.1145/780506.780524}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Kaltofen02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Khetan02, author = {Amit Khetan}, editor = {Teo Mora}, title = {Determinantal formula for the chow form of a toric surface}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {145--150}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780525}, doi = {10.1145/780506.780525}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Khetan02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/KoganM02, author = {Irina A. Kogan and Marc Moreno Maza}, editor = {Teo Mora}, title = {Computation of canonical forms for ternary cubics}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {151--160}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780526}, doi = {10.1145/780506.780526}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/KoganM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Le02, author = {Ha Q. Le}, editor = {Teo Mora}, title = {Simplification of definite sums of rational functions by creative symmetrizing method}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {161--167}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780527}, doi = {10.1145/780506.780527}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Le02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/LiST02, author = {Ziming Li and Fritz Schwarz and Serguei P. Tsarev}, editor = {Teo Mora}, title = {Factoring zero-dimensional ideals of linear partial differential operators}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {168--175}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780528}, doi = {10.1145/780506.780528}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/LiST02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/LuksM02, author = {Eugene M. Luks and Takunari Miyazaki}, editor = {Teo Mora}, title = {Polynomial-time normalizers for permutation groups with restricted composition factors}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {176--183}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780529}, doi = {10.1145/780506.780529}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/LuksM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/MateraS02, author = {Guillermo Matera and Alexandre Sedoglavic}, editor = {Teo Mora}, title = {The differential Hilbert function of a differential rational mapping can be computed in polynomial time}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {184--191}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780530}, doi = {10.1145/780506.780530}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/MateraS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Nagasaka02, author = {Kosaku Nagasaka}, editor = {Teo Mora}, title = {Towards certified irreducibility testing of bivariate approximate polynomials}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {192--199}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780531}, doi = {10.1145/780506.780531}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Nagasaka02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/NoroY02, author = {Masayuki Noro and Kazuhiro Yokoyama}, editor = {Teo Mora}, title = {Yet another practical implementation of polynomial factorization over finite fields}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {200--206}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780532}, doi = {10.1145/780506.780532}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/NoroY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/PanW02, author = {Victor Y. Pan and Xinmao Wang}, editor = {Teo Mora}, title = {Acceleration of Euclidean algorithm and extensions}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {207--213}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780533}, doi = {10.1145/780506.780533}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/PanW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/RichardsonL02, author = {Daniel Richardson and Simon Langley}, editor = {Teo Mora}, title = {Some observations on familiar numbers}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {214--220}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780534}, doi = {10.1145/780506.780534}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/RichardsonL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Rioboo02, author = {Renaud Rioboo}, editor = {Teo Mora}, title = {Towards faster real algebraic numbers}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {221--228}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780535}, doi = {10.1145/780506.780535}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Rioboo02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Schicho02, author = {Josef Schicho}, editor = {Teo Mora}, title = {Simplification of surface parametrizations}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {229--237}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780536}, doi = {10.1145/780506.780536}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Schicho02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Schost02, author = {{\'{E}}ric Schost}, editor = {Teo Mora}, title = {Degree bounds and lifting techniques for triangular sets}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {238--245}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780537}, doi = {10.1145/780506.780537}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Schost02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Storjohann02, author = {Arne Storjohann}, editor = {Teo Mora}, title = {High-order lifting}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {246--254}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780538}, doi = {10.1145/780506.780538}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Storjohann02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/SuzukiS02, author = {Akira Suzuki and Yosuke Sato}, editor = {Teo Mora}, title = {An alternative approach to comprehensive Gr{\"{o}}bner bases}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {255--261}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780539}, doi = {10.1145/780506.780539}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/SuzukiS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/TraversoZ02, author = {Carlo Traverso and Alberto Zanoni}, editor = {Teo Mora}, title = {Numerical stability and stabilization of Groebner basis computation}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {262--269}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780540}, doi = {10.1145/780506.780540}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/TraversoZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Weispfenning02, author = {Volker Weispfenning}, editor = {Teo Mora}, title = {Canonical comprehensive Gr{\"{o}}bner bases}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, pages = {270--276}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/780506.780541}, doi = {10.1145/780506.780541}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Weispfenning02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/issac/2002, editor = {Teo Mora}, title = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, publisher = {{ACM}}, year = {2002}, isbn = {1-58113-484-3}, timestamp = {Wed, 22 Feb 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/2002.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.