Search results for "Maple"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	André Heck	Introduction to Maple (2. ed.).		1996	RDF
18	Douglas Curran, Walter Middleton, Maria Vicsek	The Analysis and Simulation of Dynamical Systems Using Maple.	ESM	1996	DBLP BibTeX RDF
18	Neli S. Dimitrova, Christian P. Ullrich	Verified Solving of Linear Systems with Uncertainties in MAPLE.	WNAA	1996	DBLP DOI BibTeX RDF
18	Wolfram Koepf	Introduction to Maple (André Heck).	SIAM Rev.	1995	DBLP DOI BibTeX RDF
18	Roberto Pirastu, Kurt Siegl	Parallel Computation and Indefinite Summation: A MAPLE Application for the Rational Case.	J. Symb. Comput.	1995	DBLP DOI BibTeX RDF
18	John R. Stembridge	A Maple Package for Symmetric Functions.	J. Symb. Comput.	1995	DBLP DOI BibTeX RDF
18	Michael Kofler	Maple V Release 3 - Einführung und Leitfaden für den Praktiker.		1995	RDF
18	Jörn Borgert, Heiner Schwarze	Maple in der Physik - von der grafischen Veranschaulichung zum physikalischen Verständnis.		1995	RDF
18	Rüdiger Braun, Reinhold Meise	Analysis mit Maple.		1995	RDF
18	Elkedagmar Heinrich, Hans-Dieter Janetzko	Das Maple-Arbeitsbuch.		1995	RDF
18	Nozomu Togawa, Masao Sato, Tatsuo Ohtsuki	Maple-opt: a simultaneous technology mapping, placement, and global routing algorithm FPGAs with performance optimization.	ASP-DAC	1995	DBLP DOI BibTeX RDF
18	Ana C. Matos	Maple V by example - Martha L. Abell and James P. Braselton Academic Press Professional, 1994.	Numer. Algorithms	1994	DBLP DOI BibTeX RDF
18	Martha L. Abell, James P. Braselton	The Maple V handbook.		1994	RDF
18	Werner Burkhardt	First steps in Maple.		1994	RDF
18	Werner Burkhardt	Erste Schritte mit Maple.		1994	RDF
18	Bruno Salvy	Efficient programming in Maple: a case study.	SIGSAM Bull.	1993	DBLP DOI BibTeX RDF
18	Michael B. Monagan	The Maple Computer Algebra System.	Comput. Sci. J. Moldova	1993	DBLP BibTeX RDF
18	Rongdong Wang, Peng-Yung Woo	Automatic Computation of Z- & Inverse Z-Transformations by Maple.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
18	André Heck	Introduction to Maple.		1993	RDF
18	John Harrison 0001, Laurent Théry	Reasoning About the Reals: The Marriage of HOL and Maple.	LPAR	1993	DBLP DOI BibTeX RDF
18	Robert J. Lopez, Lyle P. Wiedeman	Laplace's Equation on a Rectangle: A Maple-AVS Connection.	University Education Uses of Visualization in Scientific Computing	1993	DBLP BibTeX RDF
18	Blair F. Madore	Report on the 10th annual Maple Retreat June 13-17, 1992.	SIGSAM Bull.	1992	DBLP DOI BibTeX RDF
18	V. Dietrich	ELISE, an Algorithm to Compute Asymptotic Representations for Solutions of Linear Differential Equations, Realized with the Computer Algebra System MAPLE.	J. Symb. Comput.	1992	DBLP DOI BibTeX RDF
18	Daryl D. Harms, John S. Devitt, Charles J. Colbourn	Networks and Reliability in Maple.	Computational Support for Discrete Mathematics	1992	DBLP DOI BibTeX RDF
18	Gert Almkvist, Doron Zeilberger	A maple program that finds, and proves, recurrences and differential equations satisfied by hyperexponential definite integrals.	SIGSAM Bull.	1991	DBLP DOI BibTeX RDF
18	Gerhard Jank, Lutz H. Tack	Conformal mapping using Bergman's method and the MAPLE system.	SIGSAM Bull.	1991	DBLP DOI BibTeX RDF
18	Doron Zeilberger	A maple program for proving hypergeometric identities.	SIGSAM Bull.	1991	DBLP DOI BibTeX RDF
18	Marc Garbey, Hans G. Kaper, Gary K. Leaf, B. J. Matkowsky	Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion.	J. Symb. Comput.	1991	DBLP DOI BibTeX RDF
18	Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan	Maple V - library reference manual.		1991	RDF
18	Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan	Maple V - language reference manual.		1991	RDF
18	Bruce W. Char	Report on the 7th annual maple workshop.	SIGSAM Bull.	1990	DBLP DOI BibTeX RDF
18	Robert M. Corless, David J. Jeffrey	Solution of a Hydrodynamic Lubrication Problem with Maple.	J. Symb. Comput.	1990	DBLP DOI BibTeX RDF
18	A. D. Fitt	Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF
18	Gaston H. Gonnet	Examples of Maple applied to problems from the American Mathematical Monthly.	SIGSAM Bull.	1988	DBLP DOI BibTeX RDF
18	Carl W. David	Variational calculations on a correlated helium wave function using maple.	Comput. Chem.	1988	DBLP DOI BibTeX RDF
18	Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan	A Tutorial Introduction to Maple.	J. Symb. Comput.	1986	DBLP DOI BibTeX RDF
18	Jules Bloomenthal	Modeling the mighty maple.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	blobby surface, ramiform, modeling, interpolation, texture map, spline, generalized cylinder, bump map, space curve
18	Farrell Ostler	Maple: a Modula-2 file server for the Lilith computing environment.		1985	RDF
18	Paul J. Voda, Benjamin Yu	RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency.	FGCS	1984	DBLP BibTeX RDF
18	Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet	The maple symbolic computation system.	SIGSAM Bull.	1983	DBLP DOI BibTeX RDF
18	Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet	The design of maple: A compact, portable and powerful computer algebra system.	EUROCAL	1983	DBLP DOI BibTeX RDF
17	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, Verified Linear System Solver, MPI, Maple, Interval Arithmetic, Integral Equations, Parallel Environment
17	Weiming Wang 0001, Yezhi Lin, Zhenbing Zeng	A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Mechanical algorithm, Maple, Fredholm integral equation
17	Nelson H. F. Beebe, James S. Ball	Algorithm 867: QUADLOG - a package of routines for generating Gauss-related quadrature for two classes of logarithmic weight functions.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	EISPACK pythag() function, Gauss-Chebyshev quadrature, Gauss-Jacobi quadrature, Gauss-Laguerre quadrature, Gauss-Legendre quadrature, Gauss-type quadrature, Maple symbolic algebra system, Mehler quadrature, gamma-function testing, logarithmic integrals, machine-epsilon testing, psi-function testing, software testing, software portability, orthogonal polynomials
17	Ting Zhang, Bican Xia	A New Method for Real Root Isolation of Univariate Polynomials.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Real root isolation, interval Newton operator, bisection method, Maple, interval arithmetic
17	André Galligo, Mark van Hoeij	Approximate bivariate factorization: a geometric viewpoint.	SNC	2007	DBLP DOI BibTeX RDF	maple code, algorithms, approximate factorization, algebraic geometry
17	Norman Chonacky, David Winch	We're Listening to You! Results from Our Recent Reader Survey.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	productivity packages, Matlab, Maple, Mathematica
17	Ali Meghdari 0001, M. Durali, Davood Naderi	Investigating Dynamic Interaction between the One D.O.F. Manipulator and Vehicle of a Mobile Manipulator.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	maple, trajectory planning, mobile manipulators, path following, kinematics and dynamics
17	Mohamed Elkadi, Bernard Mourrain	A New Algorithm for the Geometric Decomposition of a Variety.	ISSAC	1999	DBLP DOI BibTeX RDF	Maple
17	Erich L. Kaltofen, Michael B. Monagan	On the Genericity of the Modular Polynomial GCD Algorithm.	ISSAC	1999	DBLP DOI BibTeX RDF	Maple
17	Claude-Pierre Jeannerod, Eckhard Pflügel	A Reduction Algorithm for Matrices Depending on a Parameter.	ISSAC	1999	DBLP DOI BibTeX RDF	Maple
17	Lynn Kiaer, David Mutchler, Jeffrey Froyd	Laptop Computers in an Integrated First-Year Curriculum.	Commun. ACM	1998	DBLP DOI BibTeX RDF	Maple
17	Jörn Müller-Quade, Martin Rötteler	Deciding Linear Disjointness of Finitely Generated Fields.	ISSAC	1998	DBLP DOI BibTeX RDF	Maple
17	V. Kislenkov, V. Mitrofanov, Eugene V. Zima	Multidimensional Chains of Recurrences.	ISSAC	1998	DBLP DOI BibTeX RDF	Maple
17	David J. Jeffrey, Albert D. Rich	Recursive Integration of Piecewise-Continuous Functions.	ISSAC	1998	DBLP DOI BibTeX RDF	Maple
17	Charles C. Sims	Fast Multiplication and Growth in Groups.	ISSAC	1998	DBLP DOI BibTeX RDF	Maple
17	Kurt Mehlhorn, Michael Müller 0002, Stefan Näher, Stefan Schirra, Michael Seel, Christian Uhrig, Joachim Ziegler	A Computational Basis for Higher-Dimensional Computational Geometry and Applications.	SCG	1997	DBLP DOI BibTeX RDF	Maple
17	Kelly Roach	Hypergeometric Function Representations.	ISSAC	1996	DBLP DOI BibTeX RDF	Maple, Mathematica, MACSYMA
17	Rainer Bacher	Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation.	ISSAC	1996	DBLP DOI BibTeX RDF	automatic optimization code generation, electric power system optimal power flow, structured optimization problem, Maple, domain engineering, problem solving environment, network optimization, non-linear optimization
17	Sergei A. Abramov, Eugene V. Zima	D'Alembertian Solutions of Inhomogeneous Linear Equations (differential, difference, and some other).	ISSAC	1996	DBLP DOI BibTeX RDF	Maple
17	Masoud Kavian, R. G. McLenaghan, Keith O. Geddes	MapleTensor: Progress Report on a New System for Performing Indicial and Component Tensor Calculations Using Symbolic Computation.	ISSAC	1996	DBLP DOI BibTeX RDF	C++, Maple
17	Joseph L. Zachary, Christopher R. Johnson 0001, Eric Eide, Kenneth W. Parker	An entry-level course in computational engineering and science.	SIGCSE	1995	DBLP DOI BibTeX RDF	FORTRAN, Maple, FCL
17	Hsin-Chao Liao, Richard J. Fateman	Evaluation of the Heuristic Polynomial GCD.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
17	Angel Díaz, Erich L. Kaltofen	On Computing Greatest Common Divisors with Polynomials Given by Black Boxes for Their Evaluations.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
17	Mark van Hoeij	An Algorithm for Computing the Weierstrass Normal Form.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
17	Eugene V. Zima	Simplification and Optimization Transformations of Chains of Recurrences.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
17	Ian G. Lisle, Gregory J. Reid, A. Boulton	Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
17	Chung-Min Chen, Nick Roussopoulos	Adaptive Selectivity Estimation Using Query Feedback.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	Maple
17	Mark van Hoeij	Computing Parameterizations of Rational Algebraic Curves.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
17	Laurent Bertrand	On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
17	Robert M. Corless	Sufficiency Analysis for the Calculus of Variations.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
17	Simon Gray, Norbert Kajler, Paul S. Wang	MP: A Protocol for Efficient Exchange of Mathematical Expressions.	ISSAC	1994	DBLP DOI BibTeX RDF	C, Maple
17	Bruce W. Char, Mark F. Russo	Automatic Identification of Time Scales in Enzyme Kinetics Models.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
17	Kelly Roach	Symbolic-Numeric Nonlinear Equation Solving.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
17	Norbert Kajler	User Interfaces for Symbolic Computation: A Case Study.	ACM Symposium on User Interface Software and Technology	1993	DBLP DOI BibTeX RDF	CAS/PI, software engineering, user interface, Maple, computer algebra, symbolic computation, tool integration, software bus, Centaur
17	David J. Jeffrey	Integration to Obtain Expressions Valid on Domains of Maximum Extent.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple, Mathematica
17	Emil J. Volcheck	Noether's S-Transformation Simplifies Curve Singularities Rationally: A Local Analysis.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple
17	Jaime Gutierrez 0001, Tomás Recio	A Practical Implementation of Two Rational Function Decomposition Algorithms.	ISSAC	1992	DBLP DOI BibTeX RDF	REDUCE, Maple
17	Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char	An Approach for Floating-Point Error Analysis Using Computer Algebra.	ISSAC	1992	DBLP DOI BibTeX RDF	Maple
17	Edmund A. Lamagna, Michael B. Hayden, Catherine W. Johnson	The Design of a User Interface to a Computer Algebra System for Introductory Calculus.	ISSAC	1992	DBLP DOI BibTeX RDF	Maple
17	F. Vinette	Features of Symbolic Computation Exploited in the Calculation of Lower Energy Bounds of Cyclic Polyene Models.	ISSAC	1991	DBLP DOI BibTeX RDF	FORTRAN, Maple
17	W. Kleczka, E. Kreuzer	Systematic Computer-Aided Analysis of Dynamic Systems.	ISSAC	1991	DBLP DOI BibTeX RDF	Maple
17	Giampiero Pecelli	Formal Methods in Delay-Differential Equations.	ISSAC	1991	DBLP DOI BibTeX RDF	Maple
17	Manuel Bronstein	The Risch Differential equation on an Algebraic Curve.	ISSAC	1991	DBLP DOI BibTeX RDF	Maple, SCRATCHPAD
17	Bram De Jager	Symbolic Calculation of Zero Dynamics for Nonlinear Control Systems.	ISSAC	1991	DBLP DOI BibTeX RDF	Maple
12	François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü	Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	cellular biology, system modeling, Computer algebra, differential algebra
12	Jonathan M. Borwein, Chris H. Hamilton	Symbolic Fenchel Conjugation.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 44A15, 65K99, 68W30
12	Abel João Padrão Gomes, José F. M. Morgado, Edgar S. Pereira	A BSP-based algorithm for dimensionally nonhomogeneous planar implicit curves with topological guarantees.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	numerical algorithms, binary space partitioning, Implicit curves, geometric computing
12	Manuel Ceballos, Juan Núñez 0001, Ángel F. Tenorio	Algorithm to compute the maximal abelian dimension of Lie algebras.	Computing	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 17B30, 17B05, 68Q25, 68W40
12	Ming Xu 0010, Liangyu Chen 0001, Zhi-bin Li 0005	Symbolic Reachability Computation of a Class of Nonlinear Systems.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
12	Behzad Akbarpour, Lawrence C. Paulson	Applications of MetiTarski in the Verification of Control and Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
12	Nicolas Ducheneaut, Ming-Hui Wen, Nicholas Yee, Greg Wadley	Body and mind: a study of avatar personalization in three virtual worlds.	CHI	2009	DBLP DOI BibTeX RDF	personality, virtual worlds, avatars, customization
12	Alexey S. Rodionov, Olga K. Rodionova, Hyunseung Choo	Using Meaning of Coefficients of the Reliability Polynomial for Their Faster Calculation.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	reliability polynomial, factoring method
12	Valentin Irtegov, Tatyana Titorenko	On Invariant Manifolds of Dynamical Systems in Lie Algebras.	CASC	2009	DBLP DOI BibTeX RDF
12	Clarita Saldarriaga Vargas	Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra.	CASC	2009	DBLP DOI BibTeX RDF	Dengue disease, SEIR model, DSEIR model, differential susceptibility, basic reproduction number, equilibrium states, stability analysis, epidemiology
12	Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha	Algorithms for regular solutions of higher-order linear differential systems.	ISSAC	2009	DBLP DOI BibTeX RDF	frobenius method, higher-order linear differential systems, matrix polynomials, regular formal solutions, computer algebra
12	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	On factorization of multivariate polynomials over algebraic number and function fields.	ISSAC	2009	DBLP DOI BibTeX RDF	hensel lifting, sparse interpolation, factorization algorithms, algebraic function fields
12	Xin Li 0009, Marc Moreno Maza, Wei Pan 0001	Computations modulo regular chains.	ISSAC	2009	DBLP DOI BibTeX RDF	fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants
12	Xiao-Shan Gao, Mingbo Zhang	Decomposition of ordinary differential polynomials.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Differential polynomial, Pseudo linear differential polynomial, Differential degree, Decomposition
12	A. Y. Vaninsky	Using Graphing Calculators for Teaching Advanced Calculus Courses.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF