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 |
|