Search results for "MACSYMA"

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.	ISSAC	1990	DBLP DOI BibTeX RDF	MACSYMA
68	Mike Clarkson	Praxis: A Rule-Based Expert System for MACSYMA.	DISCO	1990	DBLP DOI BibTeX RDF
50	Richard J. Fateman	A Review of Macsyma.	IEEE Trans. Knowl. Data Eng.	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.	ACM Trans. Math. Softw.	1978	DBLP DOI BibTeX RDF	MACSYMA
47	Andrew M. Olson	An Object-Oriented Analysis Model of an Iconic Interface to Macsyma.	SEKE	1992	DBLP DOI BibTeX RDF
47	T. H. Einwohner, Richard J. Fateman	A MACSYMA Package for the Generation and Manipulation of Chebyshev Series.	ISSAC	1989	DBLP DOI BibTeX RDF
44	Sue Fitzgerald, Jerry Place	Teaching elementary queueing theory with a computer algebra system.	SIGCSE	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.	IEEE Trans. Software Eng.	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.	ISSAC	1990	DBLP DOI BibTeX RDF	MACSYMA
26	Joel Moses	Macsyma: A personal history.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
26		Macsyma solutions to the ISSAC '97 challenge problems.	SIGSAM Bull.	1998	DBLP DOI BibTeX RDF
26	Stefan Braun 0004, Harald Häuser	Macsyma Version 2 - systemnahe und praxisnahe Einführung mit Anwendungsbeispielen.		1995	RDF
26	Harry S. D. Mills	Symbolically Precise Solutions to a Homogeneous Second Order Matrix Ordinary Differential Equation with Macsyma.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
26	Marie-Pierre Delest	Enumeration of Polyominoes Using Macsyma.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
26	N. E. Oussous	Computation, on Macsyma, of the Minimal Differential Representation of Noncommutative Polynomials.	Theor. Comput. Sci.	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.	J. Symb. Comput.	1991	DBLP DOI BibTeX RDF
26	Wayne C. Schou, Kevin A. Broughan	The risch algorithms of MACSYMA and SENAC.	SIGSAM Bull.	1989	DBLP DOI BibTeX RDF
26	Kevin T. Rowney, Robert D. Silverman	Finite field manipulations in Macsyma.	SIGSAM Bull.	1989	DBLP DOI BibTeX RDF
26	Jerry F. Magnan	A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF
26	Annick Valibouze	Symbolic Computation with Symmetric Polynomials an Extension to MACSYMA.	Computers and Mathematics	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.	Computers and Mathematics	1989	DBLP DOI BibTeX RDF
26	Richard J. Fateman	TEX output from MACSYMA-like systems.	SIGSAM Bull.	1987	DBLP DOI BibTeX RDF
26	Stanly L. Steinberg, Patrick J. Roache	Using MACSYMA to Write FORTRAN Subroutines.	J. Symb. Comput.	1986	DBLP DOI BibTeX RDF
26	Aaron Meyerowitz, Sharad S. Sane, Mohan S. Shrikhande	New results for quasi-symmetric designs - An application of MACSYMA.	J. Comb. Theory, Ser. A	1986	DBLP DOI BibTeX RDF
26	J. P. Golden	An operator algebra for Macsyma.	SYMSAC	1986	DBLP DOI BibTeX RDF
26	Jeffrey P. Golden	Differentiation of unknown functions in MACSYMA.	SIGSAM Bull.	1985	DBLP DOI BibTeX RDF
26	Richard Pavelle, Paul S. Wang	MACSYMA from F to G.	J. Symb. Comput.	1985	DBLP DOI BibTeX RDF
26	Ph. Tombal, A. Moussiaux	MACSYMA Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints.	J. Symb. Comput.	1985	DBLP DOI BibTeX RDF
26	Richard Pavelle	MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences.	European Conference on Computer Algebra (1)	1985	DBLP DOI BibTeX RDF
26	George J. Carrette, Leo P. Harten	DOE-MACSYMA: Progress Report.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Ph. Tombal, A. Moussiaux	MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Pedro Celis	Remark: Corrections and Errors in John Ivie's Some MACSYMA Programs for Solving Recurrence Relations.	ACM Trans. Math. Softw.	1984	DBLP DOI BibTeX RDF
26	Michael J. Wester, Stanly L. Steinberg	An extension to MACSYMA's concept of functional differentiation.	SIGSAM Bull.	1983	DBLP DOI BibTeX RDF
26	Daniel Claude, Pierre Dufresne	An Application of MACSYMA to Nonlinear Systems Decoupling.	EUROCAM	1982	DBLP DOI BibTeX RDF
26	John K. Foderaro, Richard J. Fateman	Characterization of VAX Macsyma.	SYMSACC	1981	DBLP DOI BibTeX RDF
26	Ned Anderson, Paul S. Wang	MACSYMA experiments with a modified Khachian-type algorithm in linear programming.	SIGSAM Bull.	1980	DBLP DOI BibTeX RDF
26	Navaratna S. Rajaram	Random oscillations arising in the MACSYMA implementation of Khachian-type algorithms in linear programming.	SIGSAM Bull.	1980	DBLP DOI BibTeX RDF
26	Joel Moses	The MACSYMA system for formula manipulation.	APL	1979	DBLP DOI BibTeX RDF
26	Rüdiger Loos	1977 MACSYMA users' conference.	SIGSAM Bull.	1977	DBLP DOI BibTeX RDF
26	Michael R. Genesereth	An Automated Consultant for MACSYMA.	IJCAI	1977	DBLP BibTeX RDF
26	Richard J. Fateman	The MACSYMA "big-floating-point" arithmetic system.	SYMSACC	1976	DBLP DOI BibTeX RDF
26	Paul S. Wang	Factoring multivariate polynomials over algebraic number fields in MACSYMA.	SIGSAM Bull.	1975	DBLP DOI BibTeX RDF
26	Richard Zippel	A MACSYMA solution to problem 8.	SIGSAM Bull.	1975	DBLP DOI BibTeX RDF
26	J. Moses	Current capabilities of the MACSYMA system.	ACM Annual Conference	1975	DBLP DOI BibTeX RDF
26	Richard J. Fateman, Joel Moses, Paul Wang	Solution to problem #7 using MACSYMA.	SIGSAM Bull.	1974	DBLP DOI BibTeX RDF
26	Joel Moses	MACSYMA - the fifth year.	SIGSAM Bull.	1974	DBLP DOI BibTeX RDF
26	Paul S. Wang	Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma.	IFIP Congress	1974	DBLP BibTeX RDF
26	Abhay K. Bhushan, Neal D. Ryan	Using MIT-Mathlab MACSYMA from MIT-DMS Muddle.	RFC	1973	DBLP DOI BibTeX RDF
26	Paul S. Wang	Application of MACSYMA to an asymptotic expansion problem.	ACM Annual Conference (2)	1972	DBLP DOI BibTeX RDF
26	William A. Martin, Richard J. Fateman	The MACSYMA system.	SYMSAC	1971	DBLP DOI BibTeX RDF
26	Richard J. Fateman	The user-level semantic matching capability in MACSYMA.	SYMSAC	1971	DBLP DOI BibTeX RDF
24	Kelly Roach	Hypergeometric Function Representations.	ISSAC	1996	DBLP DOI BibTeX RDF	Maple, Mathematica, MACSYMA
24	Jeffrey F. Painter	The Matrix Editor for Symbolic Jacobians in ALPAL.	ISSAC	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.	ISSAC	1991	DBLP DOI BibTeX RDF	MACSYMA
24	Dongming Wang 0001	A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks.	ISSAC	1991	DBLP DOI BibTeX RDF	MACSYMA
24	H. Q. Tan, X. Dong	Optimization Techniques for Symbolic Equation Solver in Engineering Applications.	ISSAC	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.	ISSAC	1990	DBLP DOI BibTeX RDF	MACSYMA
24	Julian A. Padget, A. Barnes	Univariate Power Series Expansions in REDUCE.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE, MACSYMA
24	David R. Stoutemyer	Analytical Optimization Using Computer Algebraic Manipulation.	ACM Trans. Math. Softw.	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.	DCAI	2008	DBLP DOI BibTeX RDF	Algorithm Analysis, Symbolic Summation
21	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
21	Fritz Schwarz	ALLTYPES: An ALgebraic Language and TYPE System.	AISC	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.	ISSAC	1994	DBLP DOI BibTeX RDF	REDUCE, Fortran 90
21	Heikki Apiola, Pirkka Peltola	Integrating APL with Symbol Manipulation, Numerical Software and Graphics.	APL	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.	ISSAC	1989	DBLP DOI BibTeX RDF
21	Annick Valibouze	Resolvents and Symmetric Functions.	ISSAC	1989	DBLP DOI BibTeX RDF
21	Guoting Chen	Computing the Normal Forms of Matrices Depending on Parameters.	ISSAC	1989	DBLP DOI BibTeX RDF
21	Alain Poli, M. C. Gennero	Fast16: A Software Program for Factorising Polynomials over Large GF(p).	AAECC	1986	DBLP DOI BibTeX RDF