![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
ISSAC 1999: Vancouver, B.C., Canada
- Keith O. Geddes, Bruno Salvy, Samuel S. Dooley:
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999. ACM 1999, ISBN 1-58113-073-2 - Marc Giusti, Éric Schost:
Solving Some Overdetermined Polynomial Systems. 1-8 - Mohamed Elkadi, Bernard Mourrain:
A New Algorithm for the Geometric Decomposition of a Variety. 9-16 - Carlos Andradas, Tomás Recio
, J. Rafael Sendra:
Base Field Restriction Techniques for Parametric Curves. 17-22 - Schuichi Moritsugu, Kazuko Kuriyama:
On Multiple Zeros of Systems of Algebraic Equations. 23-30 - John J. Wavrik:
Commutativity Theorems: Examples in Search of Algorithms. 31-36 - Willem A. de Graaf, J. Wisliceny:
Constructing Bases of Finitely Presented Lie Algebras Using Gröbner Bases in Free Algebras. 37-43 - Gerard P. Brunick, Edward L. Green, Lenwood S. Heath, Craig A. Struble:
Efficient Construction of Drinfel'd Doubles. 45-52 - Victor Shoup:
Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields. 53-58 - Erich L. Kaltofen, Michael B. Monagan:
On the Genericity of the Modular Polynomial GCD Algorithm. 59-66 - Zeljko Zilic, Katarzyna Radecka:
On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields. 67-74 - V. Kislenkov, V. Mitrofanov, Eugene V. Zima:
How Fast Can We Compute Products? 75-82 - Joachim von zur Gathen, Michael Nöcker:
Computing Special Powers in Finite Fields (extended abstract). 83-90 - Igor Pak, Sergey Bratus:
On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract). 91-96 - John Shackell:
Star Products and the Representation of Asymptotic Growth. 97-104 - C. J. Rust, Gregory J. Reid, Allan D. Wittkopf:
Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. 105-112 - Y. O. Macutan:
Formal Solutions of Scalar Singularly-Perturbed Linear Differential Equations. 113-120 - Claude-Pierre Jeannerod, Eckhard Pflügel:
A Reduction Algorithm for Matrices Depending on a Parameter. 121-128 - Volker Weispfenning:
Mixed Real-Integer Linear Quantifier Elimination. 129-136 - Christopher W. Brown:
Guaranteed Solution Formula Construction. 137-144 - Scott McCallum
:
On Projection in CAD-Based Quantifier Elimination with Equational Constraint. 145-149 - Andreas Dolzmann, Thomas Sturm
:
P-adic Constraint Solving. 151-158 - Serguei P. Tsarev:
On Factorization of Nonlinear Ordinary Differential Equations. 159-164 - Guoting Chen, Jean Della Dora:
Rational Normal Form for Dynamical Systems by Carleman Linearization. 165-172 - Manuel Bronstein, Anne Fredet:
Solving Linear Ordinary Differential Equations over C(x, eint f(x) dx). 173-179 - Thom Mulders, Arne Storjohann:
Diophantine Linear System Solving. 181-188 - Bernhard Beckermann, George Labahn, Gilles Villard:
Shifted Normal Forms of Polynomial Matrices. 189-196 - John Abbott, Manuel Bronstein, Thom Mulders:
Fast Deterministic Computation of Determinants of Dense Matrices. 197-204 - Markus A. Hitz, Erich L. Kaltofen, Yagati N. Lakshman:
Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems. 205-212 - Robert M. Corless
, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt:
Approximate polynomial decomposition. 213-219 - Dominique Villard, Michael B. Monagan:
ADrien: An Implementation of Automatic Differentiation in Maple. 221-228 - Nicolas J. Doye:
Automated Coercion for Axiom. 229-235 - Laurent Bernardin, Bruce W. Char, Erich L. Kaltofen:
Symbolic Computation in Java: An Appraisement. 237-244 - Laureano Lambán, Vico Pascual
, Julio Rubio
:
Specifying Implementations. 245-251 - Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
:
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. 253-260 - Delphine Boucher:
About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters. 261-268 - Sergei A. Abramov, Mark van Hoeij:
Desingularization of Linear Difference Operators with Polynomial Coefficients. 269-275 - Moulay A. Barkatou:
Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and Factorization. 277-282 - Olivier Arsac, Stéphane Dalmas, Marc Gaëtano:
Design of a Customizable Component to Display and Edit Formulas. 283-290 - Paul S. Wang:
Design and Protocol for Internet Accessible Mathematical Computation. 291-298 - Ha Q. Le, Chris Howlett:
Client-Server Communication Standards for Mathematical Computation. 299-306
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.