| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Reinhard Bündgen |
Completion of Integral Polynomials by AC-Term Completion.  |
ISSAC  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram De Jager |
Symbolic Calculation of Zero Dynamics for Nonlinear Control Systems. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
Maple |
| 1 | Laureano González-Vega |
A Subresultant Theory for Multivariate Polynomials. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | I. Trenkov, Margarita Spiridonova, M. Daskalova |
An Application of the REDUCE System for Solving a Mathematical Geodesy Problem. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | H. Schlegel |
Determination of the Root System of Semisimple Lie Algebras from the Dynkin Diagram. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Shoup |
A Fast Deterministic Algorithm for Factoring Polynomials over Finite Fields of Small Characteristic. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoting Chen, Jean Della Dora, Laurent Stolovitch |
Nilpotent Normal Form via Carleman Linearization (for systems of ordinary differential equations). |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Renner |
Nonlinear Evolution Equations and the Painlevé Analysis: A Constructive Approach with REDUCE. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Waldir L. Roque, Renato P. dos Santos |
Qualitative Reasoning, Dimensional Analysis and Computer Algebra. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | László Babai, Gene Cooperman, Larry Finkelstein, Ákos Seress |
Nearly Linear Time Algorithms for Permutation Groups with a Small Base. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Wieb Bosma, Michael Pohst |
Computations with Finitely Generated Modules over Dedekind Rings. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Oevel, Klaus Strack |
The Yang-Baxter Equation and a Systematic Search for Poisson Brackets on Associative Algebras. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | S. N. Grudtsin, V. N. Larin |
Integrated System INTERCOMP and Computer Language for Physicists. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
FORTRAN |
| 1 | Maria Grazia Marinari, H. Michael Möller, Teo Mora |
Gröbner Bases of Ideals Given by Dual Bases. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao-Shan Gao, Shang-Ching Chou |
Computations with Parametric Equations. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | V. M. Rudenko, V. V. Leonov, A. F. Bragazin, I. P. Shmyglevsky |
Application of Computer Algebra to the Investigation of the Orbital Satellite Motion. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Dongming Wang 0001 |
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
MACSYMA |
| 1 | Viatcheslav A. Ilyin, Alexander P. Kryukov, A. Ya. Rodionov, A. Yu. Taranov |
PC Implementation of Fast Dirac Matrix Trace Calculations. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Deepak Kapur, H. K. Wan |
Refutational Proofs of Geometry Theorems via Characteristic Set Computation. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Franová |
PRECOMAS an Implementation of Constructive Matching Methodology. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Reexamining Intractability of Tableau Methods. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor G. Ganzha, Mikhail Yu. Shashkov |
Local Approximation Study of Difference Operators by Means of REDUCE System. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Guoting Chen, I. Gil |
The Implementation of an Algorithm in Macsyma: Computing the Formal Solutions of Differential Systems in the Neighborhood of Regular Singular Point. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
| 1 | K. Gatemann |
Symbolic Solution Polynomial Equation Systems with Symmetry. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kioshi Shirayanagi |
On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Ching Chou, Xiao-Shan Gao |
Methods for Mechanical Geometry Formula Deriving. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Llovet, J. Rafael Sendra |
A Modular Approach to the Computation of the Number of Real Roots. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Fitch |
A Delivery System for REDUCE. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
C, LISP, REDUCE |
| 1 | C. Faure |
A Meta Simplifier. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glück, Valentin F. Turchin |
Application of Metasystem Transition to Function Inversion and Transformation. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | M. T. Noda, E. Miyahiro |
On the Symbolic/Numeric Hybrid Integration. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Liska, L. Drsda |
FIDE: a REDUCE package for automation of FInite difference method for solving pDE. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
FORTRAN, REDUCE |
| 1 | Bhubaneswar Mishra, Paul Pedersen |
Arithmetic with Real Algebraic Numbers is in NC. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Norman |
A Critical-Pair/Completion Based Integration Algorithm. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Matthias Baaz, Alexander Leitsch |
A Strong Problem Reduction Method Based on Function Introduction. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuki Takayama |
An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Gröbner Basis. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | S. I. Mazurik, Evgenii V. Vorozhtsov |
Symbolic-Numerical Computations in the Stability Analyses of Difference Schemes. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cantone, Vincenzo Cutello |
A Decidable Fragment of the Elementary Theory of Relations and Some Applications. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima |
On Determining the Solvability of Polynomials. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Q.-S. Tao |
Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Trevor J. Smedley |
Detecting Algebraic Dependencies Between Unnested Radicals (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Q. Tan, X. Dong |
Optimization Techniques for Symbolic Equation Solver in Engineering Applications. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
| 1 | K. Okubo |
Global Theory of Ordinary Differential Equations and Formula Manipulation. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Aberer |
Normal Forms in Function Fields. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Stachniak |
Resolution Proof Systems with Weak Transformation Rules. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mounira Belmesk |
An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kalkbrener |
Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev |
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. Doleh, Paul S. Wang |
SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
C |
| 1 | Guoting Chen |
An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
| 1 | Gregory J. Fee |
Computation of Catalan's Constant Using Ramanujan's Formula. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
C, Maple |
| 1 | Zhuo-jun Liu |
An Algorithm for Finding all Isolated Zeros of Polynomial Systems. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | S. V. Kolyada |
Systems for Symbolic Computations in Boolean Algebra. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuki Takayama |
Gröbner Basis, Integration and Transcendental Functions. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferroudj Cherief |
An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim von zur Gathen |
Polynomials over Finite Fields with Large Images. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce W. Char |
Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
Maple, Linda |
| 1 | Susumu Yamasaki |
Dataflow for Logic Program as Substitution Manipulator. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Ulmer, Jacques Calmet |
On Liouvillian Solutions of Homogeneous Linear Differential Equations. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Kuhn, Klaus Madlener, Friedrich Otto |
A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony C. Scott, Gregory J. Fee |
Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
Maple |
| 1 | Shunro Watanabe, Morio Nagata (eds.) |
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990 |
ISSAC |
1990 |
DBLP BibTeX RDF |
|
| 1 | Victor G. Ganzha, Sergey V. Meleshko, V. P. Shelest |
Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Dario Bini, Victor Y. Pan |
Parallel Polynomial Computations by Recursive Processes. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich L. Kaltofen, Yagati N. Lakshman, J.-M. Wiley |
Modular Rational Sparse Multivariate Polynomial Interpolation. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian A. Padget, A. Barnes |
Univariate Power Series Expansions in REDUCE. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE, MACSYMA |
| 1 | Philippe Codognet |
Equations, Disequations and Unsolvable Subsets (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinesh Manocha |
Regular Curves and Proper Parametrizations. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Ching Chou |
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, A. Yu. Zharkov |
Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Paul S. Wang |
Parallel Univariate Polynomial Factorization on Shared-Memory Multiprocessors. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander A. Letichevsky, Julia V. Kapitonova |
Algebraic Programming in the APS System. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima |
On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoon Hong |
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov |
Solving Algebraic Systems which Arise as Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Equations. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE, IBM PC |
| 1 | Victor Adamchik, O. I. Marichev |
The Algorithm for Calculating Integrals of Hypergeometric Type Functions and Its Realization in REDUCE System. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
Pascal, REDUCE |
| 1 | Russell J. Bradford |
A Parallelization of the Buchberger Algorithm. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
| 1 | Richard J. Fateman |
Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
| 1 | Mitsuhiko Kohno |
Reduction Problems in the Theory of Differential Equations. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev |
How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gene Cooperman, Larry Finkelstein, N. Sarawagi |
A Random Base Change Algorithm for Permutation Groups. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Kuhn, Klaus Madlener |
A Method for Enumerating Cosets of a Group Presented by a Canonical System. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | B. R. Miller |
A Program Generator for Efficient Evaluation of Fourier Series. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Cabay, George Labahn |
A Fast, Reliable Algorithm for Calculating Padé-Hermite Forms. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. Smedley |
A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich L. Kaltofen, Thomas Valente, Norika Yui |
An Improved Las Vegas Primality Test. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Moulay A. Barkatou |
On the Reduction of Linear Systems of Difference Equations. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith O. Geddes, L. Yohanes Stefanus |
On the Risch-Norman Integration Method and Its Implementation in MAPLE. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Hélène Kirchner |
Constrained Equational Reasoning. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiva Weerawarana, Paul S. Wang |
GENCRAY: A Portable Code Generator for Cray Fortran. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Fateman |
Lookup Tables, Recurrences and Complexity. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Rabinowitz |
On the Computer Solution of Symmetric Homogeneous Triangle Inequalities. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John F. Canny, Erich L. Kaltofen, Yagati N. Lakshman |
Solving Systems of Nonlinear Polynomial Equations Faster. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Fateman |
Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Avenhaus, Dieter Wissmann |
Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Emilia Alonso, Teo Mora, Mario Raimondo |
Computing with Algebraic Series. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell J. Bradford |
Some Results on the Defect. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Schwarz |
A Factorization Algorithm for Linear Ordinary Differential Equations. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Annick Valibouze |
Resolvents and Symmetric Functions. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | S. C. Porter |
Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license