Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
112 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 307, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
68 | Mike Clarkson |
Praxis: A Rule-Based Expert System for MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 264-265, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
50 | Richard J. Fateman |
A Review of Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 1(1), pp. 133-145, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Macsyma algebraic manipulation system, knowledge-adjunction, mathematical semantics, user model, software packages, symbol manipulation, mathematics computing, language semantics, input/output, future directions |
50 | John Ivie |
Some MACSYMA Programs for Solving Recurrence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 4(1), pp. 24-33, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
MACSYMA |
47 | Andrew M. Olson |
An Object-Oriented Analysis Model of an Iconic Interface to Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 253-260, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
47 | T. H. Einwohner, Richard J. Fateman |
A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 180-185, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
44 | Sue Fitzgerald, Jerry Place |
Teaching elementary queueing theory with a computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 350-354, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
elementary queueing theory, teaching techniques, Maple, Maple, computer algebra, CAS, MACSYMA, Birth-Death process |
44 | Dongming Wang 0001, Bernd Schürmann |
Computer Aided Analysis and Derivation for Artificial Neural Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 728-735, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule |
44 | Richard J. Fateman |
Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 60-67, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
26 | Joel Moses |
Macsyma: A personal history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 47(2), pp. 123-130, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | |
Macsyma solutions to the ISSAC '97 challenge problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 32(1), pp. 18-37, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Braun 0004, Harald Häuser |
Macsyma Version 2 - systemnahe und praxisnahe Einführung mit Anwendungsbeispielen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
26 | Harry S. D. Mills |
Symbolically Precise Solutions to a Homogeneous Second Order Matrix Ordinary Differential Equation with Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 15(1), pp. 91-98, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Marie-Pierre Delest |
Enumeration of Polyominoes Using Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 79(1), pp. 209-226, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | N. E. Oussous |
Computation, on Macsyma, of the Minimal Differential Representation of Noncommutative Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 79(1), pp. 195-207, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | N. E. Oussous |
Macsyma Computation of Local Minimal Realization of Dynamical Systems of which Generating Power Series are Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 12(1), pp. 115-126, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Wayne C. Schou, Kevin A. Broughan |
The risch algorithms of MACSYMA and SENAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 23(3), pp. 19-22, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Kevin T. Rowney, Robert D. Silverman |
Finite field manipulations in Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 23(1), pp. 39-48, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Jerry F. Magnan |
A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 7(2), pp. 189-197, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Annick Valibouze |
Symbolic Computation with Symmetric Polynomials an Extension to MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Mathematics ![In: Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989., pp. 308-320, 1989, Springer, 978-0-387-97019-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Harry S. D. Mills, Micheal H. Vernon |
Using MACSyma to Calculate the Extrinsic Geometry of a Tube in a Riemannian Manifold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Mathematics ![In: Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989., pp. 269-278, 1989, Springer, 978-0-387-97019-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Richard J. Fateman |
TEX output from MACSYMA-like systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 21(4), pp. 1-5, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Stanly L. Steinberg, Patrick J. Roache |
Using MACSYMA to Write FORTRAN Subroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 2(2), pp. 213-216, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Aaron Meyerowitz, Sharad S. Sane, Mohan S. Shrikhande |
New results for quasi-symmetric designs - An application of MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 43(2), pp. 277-290, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | J. P. Golden |
An operator algebra for Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 244-246, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Jeffrey P. Golden |
Differentiation of unknown functions in MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 19(2), pp. 19-24, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Richard Pavelle, Paul S. Wang |
MACSYMA from F to G. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 1(1), pp. 69-100, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Ph. Tombal, A. Moussiaux |
MACSYMA Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 1(4), pp. 419-421, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Richard Pavelle |
MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (1) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures, pp. 19-32, 1985, Springer, 3-540-15983-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | George J. Carrette, Leo P. Harten |
DOE-MACSYMA: Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 36-39, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Ph. Tombal, A. Moussiaux |
MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 201-202, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Pedro Celis |
Remark: Corrections and Errors in John Ivie's Some MACSYMA Programs for Solving Recurrence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 10(4), pp. 477-478, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Michael J. Wester, Stanly L. Steinberg |
An extension to MACSYMA's concept of functional differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 17(3-4), pp. 25-30, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Claude, Pierre Dufresne |
An Application of MACSYMA to Nonlinear Systems Decoupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAM ![In: Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp. 294-301, 1982, Springer, 3-540-11607-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | John K. Foderaro, Richard J. Fateman |
Characterization of VAX Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSACC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981, pp. 14-19, 1981, ACM, 0-89791-047-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Ned Anderson, Paul S. Wang |
MACSYMA experiments with a modified Khachian-type algorithm in linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 14(1), pp. 8-13, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Navaratna S. Rajaram |
Random oscillations arising in the MACSYMA implementation of Khachian-type algorithms in linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 14(2), pp. 32-35, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Joel Moses |
The MACSYMA system for formula manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL, APL 1979, New York, New York, USA, May 30 - June 1, 1979, pp. 207, 1979, ACM, 978-1-4503-7440-8. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Rüdiger Loos |
1977 MACSYMA users' conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 11(2), pp. 7-13, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Michael R. Genesereth |
An Automated Consultant for MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, USA, August 22-25, 1977, pp. 789, 1977, William Kaufmann. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
26 | Richard J. Fateman |
The MACSYMA "big-floating-point" arithmetic system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSACC ![In: Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1976, Yorktown Heights, New York, USA, August 10-12, 1976, pp. 209-213, 1976, ACM, 978-1-4503-7790-4. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
26 | Paul S. Wang |
Factoring multivariate polynomials over algebraic number fields in MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 9(3), pp. 21-23, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
26 | Richard Zippel |
A MACSYMA solution to problem 8. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 9(1), pp. 10-12, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
26 | J. Moses |
Current capabilities of the MACSYMA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1975 ACM Annual Conference, Minneapolis, Minnesota, USA, October 20-22, 1975, pp. 263-264, 1975, ACM, 978-1-4503-7481-1. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
26 | Richard J. Fateman, Joel Moses, Paul Wang |
Solution to problem #7 using MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 8(2), pp. 14-16, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
26 | Joel Moses |
MACSYMA - the fifth year. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 8(3), pp. 105-110, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
26 | Paul S. Wang |
Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing, Proceedings of the 6th IFIP Congress 1974, Stockholm, Sweden, August 5-10, 1974., pp. 823-827, 1974, North-Holland, 0-7204-2803-3. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP BibTeX RDF |
|
26 | Abhay K. Bhushan, Neal D. Ryan |
Using MIT-Mathlab MACSYMA from MIT-DMS Muddle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 578, pp. 1-9, October 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
26 | Paul S. Wang |
Application of MACSYMA to an asymptotic expansion problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2, pp. 844-850, 1972, ACM, 978-1-4503-7492-7. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
26 | William A. Martin, Richard J. Fateman |
The MACSYMA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 59-75, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
26 | Richard J. Fateman |
The user-level semantic matching capability in MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 311-323, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
24 | Kelly Roach |
Hypergeometric Function Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996, pp. 301-308, 1996, ACM, 0-89791-796-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Maple, Mathematica, MACSYMA |
24 | Jeffrey F. Painter |
The Matrix Editor for Symbolic Jacobians in ALPAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992, pp. 312-319, 1992, ACM, 0-89791-489-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
MACSYMA |
24 | Gregory J. Reid, A. Boulton |
Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991, pp. 308-312, 1991, ACM, 0-89791-437-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
MACSYMA |
24 | Dongming Wang 0001 |
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991, pp. 462-463, 1991, ACM, 0-89791-437-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
MACSYMA |
24 | H. Q. Tan, X. Dong |
Optimization Techniques for Symbolic Equation Solver in Engineering Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 305, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
24 | Guoting Chen |
An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 231-235, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
24 | Julian A. Padget, A. Barnes |
Univariate Power Series Expansions in REDUCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 82-87, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
REDUCE, MACSYMA |
24 | David R. Stoutemyer |
Analytical Optimization Using Computer Algebraic Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 1(2), pp. 147-164, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
MACSYMA |
21 | Jose Torres-Jimenez, Laura Cruz Reyes, Nelson Rangel-Valdez |
Symbolic Summation of Polynomials in Linear Space and Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI ![In: International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, University of Salamanca, Spain, 22th-24th October 2008, pp. 653-657, 2008, Springer, 978-3-540-85862-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Algorithm Analysis, Symbolic Summation |
21 | Bruno Buchberger |
A view on the future of symbolic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 1, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Fritz Schwarz |
ALLTYPES: An ALgebraic Language and TYPE System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 270-283, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Willem Nico, V. V. Goldman, J. A. van Hulzen |
GENTRAN 90: A REDUCE Package for the Generation of Fortran 90 Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994, pp. 45-51, 1994, ACM, 0-89791-638-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
REDUCE, Fortran 90 |
21 | Heikki Apiola, Pirkka Peltola |
Integrating APL with Symbol Manipulation, Numerical Software and Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL 90: For the Future, APL 1990, Copenhagen, Denmark, August 13-17, 1990., pp. 10-17, 1990, ACM, 0-89791-371-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
APL |
21 | Richard J. Fateman |
Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 11-16, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Annick Valibouze |
Resolvents and Symmetric Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 390-399, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Guoting Chen |
Computing the Normal Forms of Matrices Depending on Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 242-249, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Alain Poli, M. C. Gennero |
Fast16: A Software Program for Factorising Polynomials over Large GF(p). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings, pp. 139-156, 1986, Springer, 3-540-19200-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|