Search results for "maple"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Rafael Martínez-Torres, Ricardo Pena	Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.	IFL	2003	DBLP DOI BibTeX RDF
94	Kurt Siegl	Parallelizing Algorithms for Symbolic Computation using \|\|MAPLE\|\|.	PPoPP	1993	DBLP DOI BibTeX RDF	logic programming, Maple, computer algebra systems
77	Victor Aladjev	Computer Algebra System Maple: A New Software Library.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
65	Andrés Iglesias 0001, Robert Ipanaqué	Extending Maple Capabilities for Solving and Displaying Inequalities.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
65	Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki	Maple-opt: a performance-oriented simultaneous technology mapping, placement, and global routing algorithm for FPGAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
65	Frederick W. Chapman	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra.	ISSAC	2003	DBLP DOI BibTeX RDF	Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
60	Cosmin E. Oancea, Stephen M. Watt	Domains and expressions: an interface between two approaches to computer algebra.	ISSAC	2005	DBLP DOI BibTeX RDF
59	Michael B. Monagan	How to program with formulas in Maple: Formulas in Maple.	Maple Trans.	2023	DBLP DOI BibTeX RDF
59	Suthathip Suanmali	Maple in Mathematics.	ITNG	2008	DBLP DOI BibTeX RDF	Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus
59	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	PEPM	2007	DBLP DOI BibTeX RDF	residual theorems, partial evaluation, Maple, symbolic computation
59	Alessandro Armando, Clemens Ballarin	Maple's evaluation process as constraint contextual rewriting.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
53	Wei-Shinn Ku, Roger Zimmermann, Chi-Ngai Wan, Haojun Wang	MAPLE: A Mobile Scalable P2P Nearest Neighbor Query System for Location-based Services.	ICDE	2006	DBLP DOI BibTeX RDF
53	Dana Petcu, Diana Dubu, Marcin Paprzycki	A Grid-Based Parallel Maple.	PVM/MPI	2004	DBLP DOI BibTeX RDF
53	Dana Petcu	Numerical Solution of ODEs with Distributed Maple.	NAA	2000	DBLP DOI BibTeX RDF	parallel numerical methods for ordinary differential equations, distributed computer algebra systems, performance analysis
53	Flóra Hajdu, Gyozo Molnárka, Rajmund Kuti	Modelling and Sensitivity Analysis of Nonlinear Firefighting Systems Using Maple.	MC	2020	DBLP DOI BibTeX RDF
53	Cecilia Fissore, Francesco Floris, Marina Marchisio, Matteo Sacchet	Maple for Distance Education in Secondary Schools During the COVID-19 Emergency.	MC	2020	DBLP DOI BibTeX RDF
53	Eugenio Roanes-Lozano, Eugenio Roanes-Macías	A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children.	MC	2020	DBLP DOI BibTeX RDF
53	Moritz Schappler, Tim-David Job, Tobias Ortmaier	A Maple Toolchain for Rigid Body Dynamics of Serial, Hybrid and Parallel Robots.	MC	2020	DBLP DOI BibTeX RDF
53	Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik J. Postma	Multivariate Power Series in Maple.	MC	2020	DBLP DOI BibTeX RDF
53	Galmandakh Chuluunbaatar, Alexander Gusev 0001, Vladimir Derbov, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Luong Le Hai, Vladimir P. Gerdt	A Maple Implementation of the Finite Element Method for Solving Boundary-Value Problems for Systems of Second-Order Ordinary Differential Equations.	MC	2020	DBLP DOI BibTeX RDF
53	Jorge Caravantes, Sonia Pérez-Díaz, J. Rafael Sendra	A Maple Package to Deal with the Birationality of Curves and Surfaces Parametrizations.	MC	2020	DBLP DOI BibTeX RDF
53	Thomas Schramm	Rational Trigonometry Using Maple.	MC	2020	DBLP DOI BibTeX RDF
53	T. J. Ayoub, K. Basu, David J. Jeffrey	Bernoulli's Problem xy=yx and Maple.	MC	2020	DBLP DOI BibTeX RDF
53	Jason M. Whyte	Branching Out into Structural Identifiability Analysis with Maple: Interactive Exploration of Uncontrolled Linear Time-Invariant Structures.	MC	2020	DBLP DOI BibTeX RDF
53	Lisa Binkowski, Marcel Dux, Tilo Wendler	Student Satisfaction Determinants in Hybrid Learning Environments Based on MAPLE.	MC	2020	DBLP DOI BibTeX RDF
53	Robert M. Corless, Erik J. Postma	Blends in Maple.	MC	2020	DBLP DOI BibTeX RDF
53	Zoltán Kovács, Tomás Recio, M. Pilar Vélez	Merging Maple and GeoGebra Automated Reasoning Tools.	MC	2020	DBLP DOI BibTeX RDF
53	Cecilia Fissore, Marina Marchisio, Fabio Roman, Matteo Sacchet	Development of Problem Solving Skills with Maple in Higher Education.	MC	2020	DBLP DOI BibTeX RDF
53	Zhenbing Zeng, Xiang Sun, Yong Huang 0001, Yaochen Xu, Xiaoru Chen, Lu Yang	A Maple Exploration of Problem 6 of the IMO 88.	MC	2020	DBLP DOI BibTeX RDF
53	Johann Josef Mitteramskogler	AGADE - A Maple Package for Computing Rational General Solutions of Parametrizable First-Order Algebraic ODEs.	MC	2020	DBLP DOI BibTeX RDF
53	François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra	Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package.	MC	2020	DBLP DOI BibTeX RDF
53	Benoit Charbonneau, Spencer Whitehead	Studying Wythoff and Zometool Constructions Using Maple.	MC	2019	DBLP DOI BibTeX RDF
53	Michael B. Monagan, Baris Tuncer	Polynomial Factorization in Maple 2019.	MC	2019	DBLP DOI BibTeX RDF
53	Douglas B. Meade	How Maple Has Improved Student Understanding in Differential Equations.	MC	2019	DBLP DOI BibTeX RDF
53	Bruce W. Char, Jeremy R. Johnson	Use of Maple and Möbius in an Undergraduate Course on Cryptography.	MC	2019	DBLP DOI BibTeX RDF
53	Samir Hamdi, David I. W. Levin, Brian Morse	Exact Parametric Solutions for the Intersections of Quadric Surfaces Using MAPLE.	MC	2019	DBLP DOI BibTeX RDF
53	Lancelot Arthur Gooden	Enhance Faculty Experience and Skills Using Maple in the 21st Century Classroom.	MC	2019	DBLP DOI BibTeX RDF
53	Zak Tonks	A Poly-algorithmic Quantifier Elimination Package in Maple.	MC	2019	DBLP DOI BibTeX RDF
53	Jorge Caravantes, J. Rafael Sendra, Juana Sendra	A Maple Package for the Symbolic Computation of Drazin Inverse Matrices with Multivariate Transcendental Functions Entries.	MC	2019	DBLP DOI BibTeX RDF
53	Ana C. Camargos Couto, David J. Jeffrey	Using Maple to Make Manageable Matrices.	MC	2019	DBLP DOI BibTeX RDF
53	Damien Chablat, Guillaume Moroz, Fabrice Rouillier, Philippe Wenger	Using Maple to Analyse Parallel Robots.	MC	2019	DBLP DOI BibTeX RDF
53	Scot A. C. Gould	Undergraduate Upper Division Quantum Mechanics: An Experiment in Maple® Immersion.	MC	2019	DBLP DOI BibTeX RDF
53	Matthew England 0001, Dorian Florescu	Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple.	MC	2019	DBLP DOI BibTeX RDF
53	Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj	PseudoLinearSystems - A Maple Package for Studying Systems of Pseudo-Linear Equations.	MC	2019	DBLP DOI BibTeX RDF
53	Xiaofeng Guo, Tuo Leng, Zhenbing Zeng	The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple.	MC	2019	DBLP DOI BibTeX RDF
53	Dimitrios Sklavakis	Transforming Maple into an Intelligent Model-Tracing Math Tutor.	MC	2019	DBLP DOI BibTeX RDF
53	Laureano González-Vega, Alexandre Trocado	Using Maple to Compute the Intersection Curve of Two Quadrics: Improving the Intersectplot Command.	MC	2019	DBLP DOI BibTeX RDF
53	Rui-Juan Jing, Marc Moreno Maza	The Z_Polyhedra Library in Maple.	MC	2019	DBLP DOI BibTeX RDF
48	Alasdair McAndrew	Teaching cryptography with open-source software.	SIGCSE	2008	DBLP DOI BibTeX RDF	cryptography, computer science education, open-source software, discrete mathematics, exploratory learning
48	Simon Colton, Sophie Huczynska	The Homer System.	CADE	2003	DBLP DOI BibTeX RDF
47	William A. Stein	Can we create a viable free open source alternative to magma, maple, mathematica and matlab?	ISSAC	2008	DBLP DOI BibTeX RDF	free, magma, open source, matlab, maple, mathematica
47	Andrew T. Phillips	Highlighting programming language issues using mixed language programming nn Maple and C.	SIGCSE	2004	DBLP DOI BibTeX RDF	mixed language programming, C, Maple
47	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
42	Paul Staadecker	Online Tutoring with Maple Learn.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Alexandre Cavalcante, Sisi Feng, Sarah Lu	Exploring Open-Ended Tasks in Secondary Mathematics with Maple Learn - The Case of Functions.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Eugenio Roanes-Lozano, Carmen Solano-Macías	Bibliographic Study on the Computer Algebra System Maple.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Jürgen Gerhard	What's New in Maple 2022: Formal Power Series.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Juan Pablo González Trochez, Marc Moreno Maza, Erik Postma, Matt Calder	Laurent Series and Puiseux Series in Maple.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Taejin Jang, Maitri Uppaluri, Kyeongjun Seo, Venkatasailanathan Ramadesigan, Venkat R. Subramanian 0001	A Sparse Differential Algebraic Equation (DAE) and Stiff Ordinary Differential Equation (ODE) Solver in Maple.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Robert M. Corless	Solving multivariate polynomial systems using eigenvalues in Maple.	Maple Trans.	2023	DBLP DOI BibTeX RDF
42	Michael B. Monagan	Speeding up polynomial GCD, a crucial operation in Maple.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Valentina Yurova, Vladimir Filin	Symbolic Analysis of Linear Amplifiers with Multi-Loop Feedbacks in Interacting Programs Maple and FASTMEAN.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	John P. May	Maple Conference 2021 Mathematical Art and Creative Works Exhibit: A Report from the Curator.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Juan Pablo González Trochez, Matt Calder, Marc Moreno Maza, Erik Postma	A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Paulina Chin, Robert M. Corless	Proceedings of the Maple Conference 2021.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Douglas MacDougal	Exploring the Mysteries of Babylonian Astronomy with Maple.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Jason M. Whyte	Monte Carlo investigation of structural minimality for structures of uncontrolled linear switching systems with Maple.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Matteo Sacchet	Ten Tips for Successful Creation of Contextualized Problems for Secondary School Students with Maple.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Eugenio Roanes-Lozano, Eugenio Roanes-Macías	Maple-based introductory visual guide to Gröbner bases.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Philip Yasskin	MYMathApps Calculus: Maple Plots.	Maple Trans.	2022	DBLP DOI BibTeX RDF
42	Robert M. Corless	Maple Transactions-The Early Years.	Maple Trans.	2021	DBLP DOI BibTeX RDF
42	Jürgen Gerhard	Reflections on the Maple Conference 2020.	Maple Trans.	2021	DBLP DOI BibTeX RDF
42	Laurent Bernardin	Welcome to Maple Transactions.	Maple Trans.	2021	DBLP DOI BibTeX RDF
42	Goetz Botterweck, Iris Groher, Andreas Polzer, Christa Schwanninger, Steffen Thiel, Markus Voelter (eds.)	Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), collocated with the 13th International Software Product Line Conference (SPLC 2009), San Francisco, USA, August 24, 2009.	MAPLE@SPLC	2010	DBLP BibTeX RDF
42	Goetz Botterweck, Andreas Polzer, Stefan Kowalewski	Interactive Configuration of Embedded Systems Product Lines.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Sebastian Oster, Florian Markert, Andy Schürr, Werner Müller	Integrated Modeling of Software Product Lines with Feature Models and Classification Trees.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Cem Mengi, Christian Fuß, Ruben Zimmermann, Ismet Aktas	Model-driven Support for Source Code Variability in Automotive Software Engineering.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Kwanwoo Lee	Aspect-Oriented Patterns for the Realization of Flexible Feature Binding.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Francisca Pérez 0001, Pedro Valderas, Joan Fons	Enabling End-users Participation in an MDD-SPL Approach.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter	A Model-Based Framework for Automated Product Derivation.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Wolfgang Heider, Rick Rabiser, Deepak Dhungana, Paul Grünbacher	Tracking Evolution in Model-based Product Lines.	MAPLE@SPLC	2009	DBLP BibTeX RDF
42	Sebastian Wenzel, Thorsten Berger, Thomas Riechert	How to Configure a Configuration Management System - An Approach Based on Feature Modeling.	MAPLE@SPLC	2009	DBLP BibTeX RDF
41	Ondrej Subrt, Petr Struhovský, Pravoslav Martínek, Jirí Hospodka	Virtual Testing Environment for A/D Converters in Verilog-A and Maple Platform.	DDECS	2008	DBLP DOI BibTeX RDF
41	Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías	A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Logic and Symbolic Computing, Rule Based Expert Systems, Groebner Bases
41	Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato	Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures.	ICMS	2006	DBLP DOI BibTeX RDF
41	Dana Petcu, Diana Dubu, Marcin Paprzycki	Extending Maple to the Grid: Design and Implementation.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
41	Jian Pei, Xiaoling Zhang, Moonjung Cho, Haixun Wang, Philip S. Yu	MaPle: A Fast Algorithm for Maximal Pattern-based Clustering.	ICDM	2003	DBLP DOI BibTeX RDF
41	Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre	Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.	TPHOLs	2001	DBLP DOI BibTeX RDF
41	Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas	On the complexity of real solving bivariate systems.	ISSAC	2007	DBLP DOI BibTeX RDF	real algebraic number, realsolving, topology of real algebraic curve, maple, polynomial system
41	Ekaterina Shemyakova	A Full System of Invariants for Third-Order Linear Partial Differential Operators.	AISC	2006	DBLP DOI BibTeX RDF	Laplace invariants, partial differential operators, Maple
36	Carsten Maple, Andrea Donafee	A Boundary Representation and Comparison Technique for Two-Dimensional Objects.	IV	2002	DBLP DOI BibTeX RDF	algorithms, pattern-matching, marching cubes, polygonal approximations, Shape-fitting
36	Carsten Maple, D. Lisowski, Jie Zhang 0003	Determining Roots of Real-Valued Functions of a Single Variable over a Distributed Network.	PARELEC	2002	DBLP DOI BibTeX RDF
36	François Boulier, Daniel Lazard, François Ollivier, Michel Petitot	Computing representations for radicals of finitely generated differential ideals.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 12H05
36	Yu Cao 0004, Gopal C. Das, Chee Yong Chan, Kian-Lee Tan	Optimizing complex queries with multiple relation instances.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	interleaved execution, shared scan, query processing, query optimization
36	Laurent Bernardin, Michael B. Monagan	Efficient Multivariate Factorization over Finite Fields.	AAECC	1997	DBLP DOI BibTeX RDF
35	Robert M. Corless, Jürgen Gerhard, Ilias S. Kotsireas (eds.)	Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers	MC	2021	DBLP DOI BibTeX RDF
35	Jürgen Gerhard, Ilias S. Kotsireas (eds.)	Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings	MC	2020	DBLP DOI BibTeX RDF
35	Obed I. Rios-Orellana, Rigoberto Juarez-Salazar, Víctor H. Díaz-Ramírez	Numerical Solution for Radial Distortion Rectification in Optical Systems.	MC	2020	DBLP DOI BibTeX RDF
35	Bertrand Teguia Tabuguia, Wolfram Koepf	Power Series Representations of Hypergeometric Type Functions.	MC	2020	DBLP DOI BibTeX RDF
35	Ernesto Álvarez González, Ricardo Balam-Narváez	Computation of the Observed Spectral Sequence Spectrum for Nucleotide Sequence Alignments.	MC	2020	DBLP DOI BibTeX RDF