default search action
ISSAC 1991: Bonn, Germany
- Stephen M. Watt:
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991. ACM 1991, ISBN 0-89791-437-6 - Richard Zippel:
Rational Function Decomposition. 1-6 - Dima Grigoriev, Marek Karpinski:
Algorithms for Sparse Rational Interpolation. 7-13 - Victor Shoup:
A Fast Deterministic Algorithm for Factoring Polynomials over Finite Fields of Small Characteristic. 14-21 - Vilmar Trevisan
, Paul S. Wang:
Practical Factorization of Univariate Polynomials over Finite Fields. 22-31 - James H. Davenport
Scratchpad's View of Algebra II: A Categorical View of Factorization. 32-38 - Stephen R. Czapor:
A Heuristic Selection Strategy for Lexicographic Gröbner Bases? 39-48 - Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso:
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. 49-54 - Maria Grazia Marinari, H. Michael Möller, Teo Mora:
Gröbner Bases of Ideals Given by Dual Bases. 55-63 - Thomas Becker, Volker Weispfenning:
The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases. 64-69 - Reinhard Bündgen:
Completion of Integral Polynomials by AC-Term Completion. 70-78 - Laureano González-Vega:
A Subresultant Theory for Multivariate Polynomials. 79-85 - Dinesh Manocha, John F. Canny:
Efficient Techniques for Multipolynomial Resultant Algorithms. 86-95 - John F. Canny, J. Maurice Rojas:
An Optimal Condition for Determining the Exact Number of Roots of a Polynomial System. 96-102 - Jörgen Backelin, Ralf Fröberg
How We Proved That There Are Exactly 924 Cyclic 7-Roots. 103-111 - William Y. Sit:
A Theory for Parametric Linear Systems. 112-121 - Xiao-Shan Gao, Shang-Ching Chou:
Computations with Parametric Equations. 122-127 - Arnold Schönhage:
Fast Reduction and Composition of Binary Quadratic Forms. 128-133 - Rainer Schulze-Pillot:
An Algorithm for Computing Genera of Ternary and Quaternary Quadratic Forms. 134-143 - Attila Pethö:
Application of Gröbner Bases to the Resolution of Systems of Norm Equations. 144-150 - Wieb Bosma, Michael Pohst:
Computations with Finitely Generated Modules over Dedekind Rings. 151-156 - Marc Rybowicz:
An Algorithms for Computing Integral Bases of an Algebraic Function Field. 157-166 - Lars Langemyr:
An Analysis of the Subresultant Algorithm Over an Algebraic Number Field. 167-172 - Thomas Beth, Willi Geiselmann, F. Meyer:
Finding (good) Normal Bases in Finite Fields. 173-178 - Johannes A. Buchmann, Volker Müller:
Computing the Number of Points of Elliptic Curves Over Finite Fields. 179-182 - Andreas Stein, Horst Günter Zimmer:
An Algorithm for Determining the Regulator and the Fundamental Unit of Hyperelliptic congruence Function Field. 183-184 - István Gaál, Attila Pethö, Michael Pohst:
On the Resolution of Index Form Equations. 185-186 - Joacheim Schmitt:
An Embedding Algorithm for Algebraic Congruence Function Fields. 187-188 - William H. Burge:
Scratchpad and the Rogers-Ramanujan Identities. 189-190 - George Havas:
Coset Enumeration Strategies. 191-199 - László Babai
Nearly Linear Time Algorithms for Permutation Groups with a Small Base. 200-209 - Gregory Butler, Sridhar S. Iyer, Susan H. Ley:
A Deductive Database of the Groups of Order Dividing 128. 210-218 - I. A. Faradzev, Mikhail H. Klin:
For Computations with Coherent Configurations. 219-223 - Viatcheslav A. Ilyin, Alexander P. Kryukov:
Symbolic Simplification of Tensor Expressions Using Symmetries, Dummy Indices and Identities. 224-228 - Walter Oevel, Klaus Strack:
The Yang-Baxter Equation and a Systematic Search for Poisson Brackets on Associative Algebras. 229-236 - Andrej A. Zolotykh:
A Package for Computations in Simple Lie Algebra Representations. 237-238 - H. Schlegel:
Determination of the Root System of Semisimple Lie Algebras from the Dynkin Diagram. 239-240 - Manuel Bronstein:
The Risch Differential equation on an Algebraic Curve. 241-246 - Daniel Richardson:
Towards Computing Non Algebraic Cylindrical Decompositions. 247-255 - Fritz Schwarz:
Existence Theorems for Polynomial First Integrals. 256-264 - A. V. Astrelin:
A Bound of Degree of Irreducible Eigenpolynomial of Some Differential Operator. 265-266 - Sergei A. Abramov
Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients. 267-270 - Semyon B. Yakubovich, Yu. F. Luchko:
The Evaluation of Integrals and Series with Respect to Indices (Parameters) of Hypergeometric Functions. 271-280 - Guoting Chen, Jean Della Dora, Laurent Stolovitch
Nilpotent Normal Form via Carleman Linearization (for systems of ordinary differential equations). 281-288 - Friedrich Renner:
Nonlinear Evolution Equations and the Painlevé Analysis: A Constructive Approach with REDUCE. 289-294 - Jarmo Hietarinta:
Searching for Integrable PDE's by Testing Hirota's Three-Soliton Condition. 295-300 - Peter E. Crouch, Robert L. Grossman, Richard G. Larson:
Computations Involving Differential Operators and Their Actions on Functions. 301-307 - Gregory J. Reid, A. Boulton:
Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs. 308-312 - Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov:
Lie-Bäcklund Symmetries of Coupled Nonlinear Schrödinger Equations. 313-314 - Vladimir V. Kornyak, W. I. Fushchich:
A Program for Symmetry Analysis of Differential Equations. 315-316 - Giampiero Pecelli:
Formal Methods in Delay-Differential Equations. 317-318 - Ian Cohen, Karl-Erik Thylwe:
Obtaining Exact Steady-state Responses in Driven Undamped Oscillators. 319-320 - Bram De Jager:
Symbolic Calculation of Zero Dynamics for Nonlinear Control Systems. 321-322 - Angel Díaz, Erich L. Kaltofen
DSC: A System for Distributed Symbolic Computation. 323-332 - Wolfgang Küchlin:
On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. 333-342 - Françoise Roch-Siebert, Gilles Villard:
PAC: First Experiments on a 128 Transputers Méganode. 343-351 - Trudy Weibel, Gaston H. Gonnet:
An Algebra of Properties. 352-359 - Richard J. Fateman:
Canonical Representations in Lisp and Applications to Computer Algebra systems. 360-369 - Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko:
Algebraic Programs Optimization. 370-376 - S. N. Grudtsin, V. N. Larin:
Integrated System INTERCOMP and Computer Language for Physicists. 377-381 - Joachim Apel
FELIX - An Assistant for Alebraists. 382-389 - Marcel Roelofs, Peter K. H. Gragert:
Implementation of Multilinear Operators in REDUCE and Applications in Mathematics. 390-396 - Laureano González-Vega:
Working with Real Algebraic Plane Curves in REDUCE the GCUR Package. 397-402 - R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler:
CASA: A Computer Algebra Package for Constructive Algebraic Geometry. 403-410 - Reiner Marzinkewitsch:
Operating Computer Algebra Systems by Handprinted Input. 411-413 - J. H. J. Molenkamp, V. V. Goldman, J. A. van Hulzen:
An Improved Approach to Automatic Error Cumulation Control. 414-418 - Richard Liska, Mikhail Yu. Shashkov:
Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes. 419-426 - Victor G. Ganzha, B. Yu. Scobelev, Evgenii V. Vorozhtsov:
Stability Analysis of Difference Schemes by the Catastrophe Theory Methods and by Means of Computer Algebra. 427-428 - W. Kleczka, E. Kreuzer:
Systematic Computer-Aided Analysis of Dynamic Systems. 429-430 - Karin Gatermann:
Mixed Symbolic-Numeric Solution of Symmetrical Nonlinear Systems. 431-432 - R. Berndt, A. Lock, G. Witte, Ch. Wöll:
Application of Computer Algebra to Surface Lattice Dynamics. 433-438 - Levan R. Surguladze, Mark A. Samuel:
Algebraic Perturbative Calculations in High Energy Physics: Methods, Algorithms, Computer Programs and Physical Applications. 439-447 - I. Trenkov, Margarita Spiridonova, M. Daskalova:
An Application of the REDUCE System for Solving a Mathematical Geodesy Problem. 448-449 - V. M. Rudenko, V. V. Leonov, A. F. Bragazin, I. P. Shmyglevsky:
Application of Computer Algebra to the Investigation of the Orbital Satellite Motion. 450-451 - Ilkizar V. Amirkhanov
The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation. 452-453 - Alexander A. Bel'kov, Alexander V. Lanyov:
REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model. 454-455 - Viatcheslav A. Ilyin, Alexander P. Kryukov, A. Ya. Rodionov, A. Yu. Taranov:
PC Implementation of Fast Dirac Matrix Trace Calculations. 456-457 - F. Vinette:
Features of Symbolic Computation Exploited in the Calculation of Lower Energy Bounds of Cyclic Polyene Models. 458-459 - Waldir L. Roque, Renato P. dos Santos
Qualitative Reasoning, Dimensional Analysis and Computer Algebra. 460-461 - Dongming Wang:
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. 462-463
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.
last updated on 2024-11-15 19:43 CET 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: