Search results for "Maple"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Suthathip Suanmali	Maple in Mathematics.	ITNG	2008	DBLP DOI BibTeX RDF	Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus
3	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
3	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	PEPM	2007	DBLP DOI BibTeX RDF	residual theorems, partial evaluation, Maple, symbolic computation
3	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
3	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
3	Kurt Siegl	Parallelizing Algorithms for Symbolic Computation using \|\|MAPLE\|\|.	PPOPP	1993	DBLP DOI BibTeX RDF	logic programming, Maple, computer algebra systems
2	Goetz Botterweck, Iris Groher, Andreas Polzer, Christa Schwanninger, Steffen Thiel, Markus Völter	1st International Workshop on Model-driven Approaches in Software Product Line Engineering: (MAPLE 2009).	SPLC	2009	DBLP DOI BibTeX RDF
2	Ioannis Z. Emiris, Angelos Mantzaflaris	Multihomogeneous resultant formulae for systems with scaled support.	ISSAC	2009	DBLP DOI BibTeX RDF	bézout, determinantal formula, maple implementation, multihomogeneous system, resultant matrix, sylvester
2	Franky Backeljauw, Annie A. M. Cuyt	Algorithm 895: A continued fractions package for special functions.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	CAS software, Maple, special functions, continued fractions
2	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
2	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
2	A. Queiruga Dios, Luis Hernández Encinas, D. Queiruga	Cryptography Adapted to the New European Area of Higher Education.	ICCS	2008	DBLP DOI BibTeX RDF	Maple software, European area of higher education, implementation, Public key cryptography, information and communication technologies
2	Robert M. Corless, Dawit Assefa	Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas.	ISSAC	2007	DBLP DOI BibTeX RDF	elliptic functions, integration
2	Daniel Esteban Sierra Sosa	Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple.	CASC	2007	DBLP DOI BibTeX RDF
2	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
2	Ioannis Z. Emiris, Sotirios I. Pantos	Protein Structure Prediction Using Residual Dipolar Couplings.	AB	2007	DBLP DOI BibTeX RDF	MAPLE implementation, protein kinematics, RDC data, Saupe tensor, Inverse kinematics, protein fold, secondary structure, polynomial equations
2	Juan Ospina, Doracelly Hincapie	Mackendrick: A Maple Package Oriented to Symbolic Computational Epidemiology.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Luis Hernández Encinas, Jaime Muñoz Masqué, A. Queiruga Dios	Maple Implementation of the Chor-Rivest Cryptosystem.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Andrés Iglesias, R. Ipanaqué	Extending Maple Capabilities for Solving and Displaying Inequalities.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Dumitru N. Vulcanov, Valentina D. Vulcanov	The Use of Maple Platform for the Study of Geodesic Motion on Curved Spacetimes.	SYNASC	2006	DBLP DOI BibTeX RDF
2	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
2	Eugenio Roanes-Macías, Eugenio Roanes-Lozano	A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
2	Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato	Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures.	ICMS	2006	DBLP DOI BibTeX RDF
2	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
2	Pratibha, David J. Jeffrey	Stokes-Flow Problem Solved Using Maple.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Dana Petcu, Diana Dubu, Marcin Paprzycki	Extending Maple to the Grid: Design and Implementation.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
2	Gui-qiong Xu, Zhi-bin Li	The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
2	Dana Petcu, Diana Dubu, Marcin Paprzycki	A Grid-Based Parallel Maple.	PVM/MPI	2004	DBLP DOI BibTeX RDF
2	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
2	Victor Aladjev	Computer Algebra System Maple: A New Software Library.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
2	Hirokazu Anai, Hitoshi Yanami	SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
2	Rafael Martínez, Ricardo Pena	Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.	IFL	2003	DBLP DOI BibTeX RDF
2	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
2	Petr Sojka	Animations in PDF.	ITiCSE	2003	DBLP DOI BibTeX RDF	Acrobat, electronic CS teaching materials, JavaScript, Maple, PDF, LaTeX, interactive animations, PostScript, TeX
2	Simon Colton	Making Conjectures about Maple Functions.	AISC	2002	DBLP DOI BibTeX RDF
2	Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz	A Maple Package for Conditional Event Algebras.	WCII	2002	DBLP DOI BibTeX RDF
2	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
2	Carsten Maple, D. Lisowski, Jian Zhang	Determining Roots of Real-Valued Functions of a Single Variable over a Distributed Network.	PARELEC	2002	DBLP DOI BibTeX RDF
2	Dana Petcu	Solving Initial Value Problems with Parallel Maple Processes.	Euro-Par	2001	DBLP DOI BibTeX RDF
2	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
2	Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt	Towards factoring bivariate approximate polynomials.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
2	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
2	Dominique Villard, Michael B. Monagan	ADrien: An Implementation of Automatic Differentiation in Maple.	ISSAC	1999	DBLP DOI BibTeX RDF	Maple
2	Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki	Maple-opt: a performance-oriented simultaneous technology mapping, placement, and global routing algorithm for FPGAs.	IEEE Trans. on CAD of Integrated Circuits and Systems	1998	DBLP DOI BibTeX RDF
2	Aaron S. Wallack, Ioannis Z. Emiris, Dinesh Manocha	MARS: A MAPLE/MATLAB/C Resultant-Based Solver.	ISSAC	1998	DBLP DOI BibTeX RDF	MATLAB, Maple
2	Clemens Ballarin, Karsten Homann, Jacques Calmet	Theorems and Algorithms: An Interface between Isabelle and Maple.	ISSAC	1995	DBLP DOI BibTeX RDF	Maple
2	Bruno Salvy, Paul Zimmermann	GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	Maple, computer algebra, generating functions, linear recurrences, linear differential equations
2	Sylvain Petitjean	Automating the Construction of Stationary Multiple-Point Classes.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
2	Michael B. Monagan, Walter M. Neuenschwander	GRADIENT: Algorithmic Differentiation in Maple.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple
2	Trudy Weibel, Gaston H. Gonnet	An Assume Facility for CAS, with a Sample Implementation for Maple.	DISCO	1992	DBLP DOI BibTeX RDF
2	Honglin Ye, Robert M. Corless	Solving Linear Integral Equations in Maple.	ISSAC	1992	DBLP DOI BibTeX RDF	Maple
2	Keith O. Geddes, Gregory J. Fee	Hybrid Symbolic-Numeric Integration in MAPLE.	ISSAC	1992	DBLP DOI BibTeX RDF	Maple
2	Tony C. Scott, Gregory J. Fee	Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems.	ISSAC	1990	DBLP DOI BibTeX RDF	Maple
2	Bruce W. Char	Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation.	ISSAC	1990	DBLP DOI BibTeX RDF	Maple, Linda
2	Gregory J. Fee	Computation of Catalan's Constant Using Ramanujan's Formula.	ISSAC	1990	DBLP DOI BibTeX RDF	C, Maple
2	Keith O. Geddes, L. Yohanes Stefanus	On the Risch-Norman Integration Method and Its Implementation in MAPLE.	ISSAC	1989	DBLP DOI BibTeX RDF
2	Paul J. Voda	Maple: a Programming Language, Operating System.	POPL	1982	DBLP DOI BibTeX RDF
1	K. T. Vu, G. F. Jefferson, J. Carminati	Finding higher symmetries of differential equations using the MAPLE package DESOLVII.	Computer Physics Communications	2012	DBLP DOI BibTeX RDF
1	Myung-Chul Kim, Natarajan Viswanathan, Charles J. Alpert, Igor L. Markov, Shyam Ramji	MAPLE: multilevel adaptive placement for mixed-size designs.	ISPD	2012	DBLP DOI BibTeX RDF
1	Tim French, Nik Bessis, Carsten Maple, Eleana Asimakopoulou	Trust Issues on Crowd-Sourcing Methods for Urban Environmental Monitoring.	IJDST	2012	DBLP DOI BibTeX RDF
1	Livia Jakaite, Vitaly Schetinin, Carsten Maple	Bayesian Assessment of Newborn Brain Maturity from Two-Channel Sleep Electroencephalograms.	Comp. Math. Methods in Medicine	2012	DBLP DOI BibTeX RDF
1	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Danko Adrovic, Jan Verschelde	Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost	The modpn library: Bringing fast polynomial arithmetic into Maple.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Tarcísio M. Rocha Filho, Annibal Figueiredo	[SADE] a Maple package for the symmetry analysis of differential equations.	Computer Physics Communications	2011	DBLP DOI BibTeX RDF
1	Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita	A logic approach to decision taking in a railway interlocking system using Maple.	Mathematics and Computers in Simulation	2011	DBLP DOI BibTeX RDF
1	Feng Guo	SDPTools: High Precision SDP Solver in Maple	CoRR	2011	DBLP BibTeX RDF
1	Hongmei Chu, Yinlong Zhao, Yinping Liu	A MAPLE package of new ADM-Padé approximate solution for nonlinear problems.	Applied Mathematics and Computation	2011	DBLP DOI BibTeX RDF
1	Goetz Botterweck, Natsuko Noda, Deepak Dhungana, Rick Rabiser, Muhammad Ali Babar, Sholom Cohen, Kyo Chul Kang, Tomoji Kishi	Joint Workshop of the Third International Workshop on Model-Driven Approaches in Software Product Line Engineering and the Third Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2011).	SPLC	2011	DBLP DOI BibTeX RDF
1	Mariusz Felisiak, Daniel Simson	Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++.	SYNASC	2011	DBLP DOI BibTeX RDF
1	Anja Korporal, Georg Regensburger, Markus Rosenkranz	Regular and Singular Boundary Problems in Maple.	CASC	2011	DBLP DOI BibTeX RDF
1	Xiaoming Kang, Yong Yue, Dayou Li, Carsten Maple	Genetic algorithm based solution to dead-end problems in robot navigation.	IJCAT	2011	DBLP DOI BibTeX RDF
1	Tim French, Nik Bessis, Fatos Xhafa, Carsten Maple	Towards a corporate governance trust agent scoring model for collaborative virtual organisations.	IJGUC	2011	DBLP DOI BibTeX RDF
1	Stelios Sotiriadis, Nik Bessis, Ye Huang, Paul Sant, Carsten Maple	Defining Minimum Requirements of Inter-Collaborated Nodes by Measuring the Weight of Node Interactions.	IJDST	2011	DBLP DOI BibTeX RDF
1	Jiamin Liu, Yong Yue, Zongran Dong, Carsten Maple, Malcolm Keech	A novel hybrid tabu search approach to container loading.	Computers & OR	2011	DBLP DOI BibTeX RDF
1	Munam Ali Shah, Ghazanfar Ali Safdar, Carsten Maple, Khurram Sardar	Network Performance Optimization: A Case Study of Enterprise Network Simulated in OPNET.	FIT	2011	DBLP DOI BibTeX RDF
1	Andrzej Jordan, Carsten Maple, Ryszard Szczebiot, Lukasz Swierczewski	Optimal Placement of Wind Generators in Medium Voltage Power Grids - Investigations of Genetic Algorithm.	PARELEC	2011	DBLP DOI BibTeX RDF
1	Chenhui Wang, Yukun Liu, Liwei Guo, Yong Yue, Carsten Maple	An On-line Distributed Induction Motor Monitoring System Based-on ARM and CAN Bus.	PARELEC	2011	DBLP DOI BibTeX RDF
1	Andrzej Jordan, Ryszard Szczebiot, Carsten Maple, Slawomir Cieslik	Optimal Placement of the Wind Generators in the Medium Voltage Power Grid.	PARELEC	2011	DBLP DOI BibTeX RDF
1	Carsten Maple, Valentina Viduto, Gregory Epiphaniou	A Theoretical Framework for Addressing Trust in Open Pervasive Networks.	PECCS	2011	DBLP BibTeX RDF
1	Ebad Banissi, Stefan Bertschi, Remo Aslak Burkhard, Urska Cvek, Martin J. Eppler, Camilla Forsell, Georges G. Grinstein, Jimmy Johansson, Sarah Kenderdine, Francis T. Marchese, Carsten Maple, Marjan Trutschl, Muhammad Sarfraz, Liz J. Stuart, Anna Ursyn, Theodor G. Wyeld (eds.)	15th International Conference on Information Visualisation, IV 2011, London, United Kingdom, July 13-15, 2011	IV	2011	DBLP BibTeX RDF
1	Valentina Viduto, Wei Huang, Carsten Maple	Toward optimal multi-objective models of network security: Survey.	ICAC	2011	DBLP BibTeX RDF
1	Shuang Gu, Yong Yue, Carsten Maple, Chengdong Wu	Localisation algorithm in wireless sensor networks.	ICAC	2011	DBLP BibTeX RDF
1	Anna A. Ryabenko, D. E. Khmelnov	Hypergeometric pattern matching summation in maple.	Programming and Computer Software	2010	DBLP DOI BibTeX RDF
1	Bernie D. Shizgal, Raouf Dridi	Maple code for the calculation of the matrix elements of the Boltzmann collision operators for mixtures.	Computer Physics Communications	2010	DBLP DOI BibTeX RDF
1	Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías	Connecting the 3D DGS Calques3D with the CAS Maple.	Mathematics and Computers in Simulation	2010	DBLP DOI BibTeX RDF
1	Boris Zeide	Using strong inference to falsify differential equation models of sugar maple height growth - Discussion.	MCFNS	2010	DBLP BibTeX RDF
1	Rolfe A. Leary, Vivian Kvist Johannsen	Using strong inference to falsify differential equation models of sugar maple height growth - Rejoinder.	MCFNS	2010	DBLP BibTeX RDF
1	Rolfe A. Leary, Vivian Kvist Johannsen	Using strong inference to falsify differential equation models of sugar maple height growth.	MCFNS	2010	DBLP BibTeX RDF
1	Leonid Bedratyuk	The MAPLE package for calculating Poincaré series	CoRR	2010	DBLP BibTeX RDF
1	M. Delgado Pineda, Efim A. Galperin	MAPLE code for the gamma algorithm for global optimization of uncertain functions in economy and finance.	Computers & Mathematics with Applications	2010	DBLP DOI BibTeX RDF
1	Zhen-jiang Zhou, Jing-zhi Fu, Zhi-bin Li	Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations.	Applied Mathematics and Computation	2010	DBLP DOI BibTeX RDF
1	Deepak Dhungana, Iris Groher, Rick Rabiser, Steffen Thiel	2nd International Workshop on Model-Driven Approaches in Software Product Line Engineering (MAPLE 2010).	SPLC	2010	DBLP DOI BibTeX RDF
1	Burçin Eröcal, William Stein	The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB.	ICMS	2010	DBLP DOI BibTeX RDF
1	Yang-Ting Shen, Ellen Yi-Luen Do	Making digital leaf collages with blow painting!	Tangible and Embedded Interaction	2010	DBLP DOI BibTeX RDF	blowing, daily experience, leaf stencils, interaction, embodiment, play, rfid, painting, collage, tangible object
1	Rany M. Salem, Braj Pandey, Erin Richard, Maple M. Fung, Erin P. Garcia, Victoria H. Brophy, Nicholas J. Schork, Daniel T. O'Connor, Vibha Bhatnagar	The VA Hypertension Primary Care Longitudinal Cohort: Electronic medical records in the post-genomic era.	Health Informatics Journal	2010	DBLP DOI BibTeX RDF
1	Livia Jakaite, Vitaly Schetinin, Carsten Maple	Feature Importance in Bayesian Assessment of Newborn Brain Maturity from EEG	CoRR	2010	DBLP BibTeX RDF
1	Antony Brown, Paul Sant, Nik Bessis, Tim French, Carsten Maple	Modelling Self-Led Trust Value Management in Grid and Service Oriented Infrastructures: A Graph Theoretic Social Network Mediated Approach.	IJSSOE	2010	DBLP DOI BibTeX RDF
1	Gregory Epiphaniou, Carsten Maple, Paul Sant, Matthew Reeve	An Experimental Analysis on Iterative Block Ciphers and Their Effects on VoIP under Different Coding Schemes.	SIGMAP	2010	DBLP BibTeX RDF
1	Stelios Sotiriadis, Nik Bessis, Paul Sant, Carsten Maple	A Resource Discovery Architecture of Loosely Coupled Grid Inter-cooperated Virtual Organisations Using Mobile Agents and Neural Networks.	3PGCIC	2010	DBLP DOI BibTeX RDF