The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SYMSACC"( http://dblp.L3S.de/Venues/SYMSACC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/issac

Publication years (Num. hits)
1976 (46) 1981 (43)
Publication types (Num. hits)
inproceedings(89)
Venues (Conferences, Journals, ...)
SYMSACC(89)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 89 publication records. Showing 89 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Richard D. Jenks, Barry M. Trager A language for computational algebra. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Michael E. Pohst, David Y. Y. Yun On solving systems of algebraic equations via ideal bases and elimination theory. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Michael Kaminski Note on probabilistic algorithms in integer and polynomial arithmetic. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1J. A. van Hulzen Breuer's grow factor algorithm in computer algebra. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1R. Beardsworth On the application of Array Processors to symbol manipulation. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Shmuel Winograd Algebraic constructions for algorithms (Extended Abstract). Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Richard Zippel Newton's iteration and the sparse Hensel algorithm (Extended Abstract). Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Robert E. Beck, Bernard Kolman Construction of nilpotent Lie algebras over arbitrary fields. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Bruce W. Char Using Lie transformation groups to find closed form solutions to first order ordinary differential equations. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Erich L. Kaltofen, David R. Musser, B. David Saunders A generalized class of polynomials that are hard to factor. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Robert E. Beck, Bernard Kolman Algorithms for central extensions of Lie algebras. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Volker Strassen The computational complexity of continued fractions. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Gregory Butler Double cosets and searching small groups. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Paul S. Wang A p-adic algorithm for univariate partial fractions. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Chris A. Cole, Stephen Wolfram SMP - A Symbolic Manipulation Program. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1B. David Saunders An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Rosalind Neuman Computing an invariant subring of k[X, Y]. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Michael C. Wirth Automatic generation of finite difference equations and fourier stability analyses. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Douglas H. Lanam An algebraic front-end for the production and use of numeric programs. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Francesco Gardin, John A. Campbell Tracing occurrences of patterns in symbolic computations. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1P. D. Pearce, R. J. Hicks The optimization of user programs for an Algebraic Manipulation System. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Rabbe Fogelholm Computation for conductance distributions of percolation lattice cells. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1John F. Schenck, M. A. Hussain Formulation of design rules for NMR imaging coil by using symbolic manipulation. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Joel Moses Algebraic computation for the masses. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Michael F. Singer, B. David Saunders, Bob F. Caviness An extension of Liouville's theorem on integration in finite terms. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Shunro Watanabe A technique for solving ordinary differential equations using Riemann's P-functions. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1P. M. A. Moore, A. C. Norman Implementing a polynomial factorization and GCD package. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Maurice Mignotte Some inequalities about univariate polynomials. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1J. Smit A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Tateaki Sasaki, Yasumasa Kanada Parallelism in algebraic computation and parallel algorithms for symbolic linear systems. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Richard J. Fateman A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Jan E. Ã…man, Anders Karlhede An algorithmic classification of geometries in general relativity. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Tateaki Sasaki, Hirokazu Murao Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract). Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1John P. Fitch User-based integration software. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Jean Della Dora, Evelyne Tournier Formal solutions of differential equations in the neighborhood of singular points (Regular and Irregular). Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1James H. Davenport, Barry M. Trager Factorization over finitely generated fields. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1John P. Fitch The automatic derivation of periodic solutions to a class of weakly nonlinear differential equations. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1H. T. Kung 0001 Use of VLSI in algebraic computation: Some suggestions. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Richard J. Fateman Views on transportability of Lisp and Lisp-based systems. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1John J. Cannon The basis of a computer system for modern algebra. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1John K. Foderaro, Richard J. Fateman Characterization of VAX Macsyma. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Richard J. Fateman Computer algebra and numerical integration. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Myra Jean Prelle, Michael F. Singer Elementary first integrals of differential equations. Search on Bibsonomy SYMSACC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Barry M. Trager, David Y. Y. Yun Completing nth powers of polynomials. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Colin M. Campbell Computational techniques and the structure of groups in a certain class. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Mike F. Newman Calculating presentations for certain kinds of quotient groups. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Maurice Mignotte Some problems about polynomials. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1George E. Collins, Alkiviadis G. Akritas Polynomial real root isolation using Descarte's rule of signs. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1H. I. Epstein Using basis computation to determine pseudo-multiplicative independence. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1I. Cohen, F. Bark Perturbation calculations for the spin up problem using REDUCE. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Robert T. Moenck Practical fast polynomial multiplication. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1George Havas, Tim Nicholson Collection. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1David Y. Y. Yun On square-free decomposition algorithms. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1John D. Lipson Newton's method: a great algebraic algorithm. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Thomas E. Cheatham Jr., Judy A. Townley Symbolic evaluation of programs: a look at loop analysis. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1John J. Cannon On determining the order of a group. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Horst Günter Zimmer Generalization of Manin's conditional algorithm. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Edward W. Ng, Desanka Polajnar A study of alternative methods for the symbolic calculation of elliptic integrals. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Emi Lauer Algorithms for symmetrical polynomials. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Eiichi Goto, Yasumasa Kanada Hashing LEMMAs on time complexities with applications to formula manipulation. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Richard J. Fateman An approach to automatic asymptotic expansions. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1George E. Collins, Rüdiger Loos Polynomial real root isolation by differentiation. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1David R. Stoutemyer Qualitative analysis of mathematical expressions using computer symbolic mathematics. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Markus Lauer Canonical representatives for residue classes of a polynomial ideal. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Richard D. Jenks A pattern compiler. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1James R. Pinkert Interval arithmetic applied to polynomial remainder sequences. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Ray Head Projective representations for energy band calculations. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Fred G. Gustavson, David Y. Y. Yun Arithmetic complexity of unordered sparse polynomials. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Anthony C. Hearn A new REDUCE model for algebraic simplification. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1W. S. Brown On the subresultant PRS algorithm. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1David Y. Y. Yun Algebraic algorithms using p-adic constructions. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Richard E. Zippel Univariate power series expansions in algebraic manipulation. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Daniel P. Friedman, David S. Wise, Mitchell Wand Recursive programming through table look-up. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Barry M. Trager Algebraic factoring and rational function integration. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Bob F. Caviness, Richard J. Fateman Simplification of radical expressions. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Bob F. Caviness, George E. Collins Algorithms for Gaussian integer arithmetic. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Marvin C. Wunderlich The aliquot project: an application of job chaining in number theoretic computing. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1John J. Cannon A draft description of the group theory language Cayley. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Michael J. Levine, Ralph Roskies ASHMEDAI and a large algebraic problem. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Richard J. Fateman The MACSYMA "big-floating-point" arithmetic system. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1David K. Kahaner, Mark B. Wells Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Bernard Kolman, Robert E. Beck Computers in the study of Lie algebras. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1David R. Barton, Richard E. Zippel A polynomial decomposition algorithm. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Peter Schmidt 0002 Automatic symbolic solution of differential equations of first order and first degree. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Zavdi L. Lichtman The computation and application of vector congruence classes. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Dana L. Ulery, Hatem M. Khalil Symbolic/numeric algorithms for partial differential equations. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Siegfried M. Rump On the sign of a real algebraic number. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Paul S. Wang, Tadatoshi Minamikawa Taking advantage of zero entries in the exact inverse of sparse matrices. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Martin L. Griss The definition and use of data structures in REDUCE. Search on Bibsonomy SYMSACC The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license