Search results for "Maple"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Alexander I. Cowen-Rivers, Matthew England 0001	Towards Incremental Cylindrical Algebraic Decomposition in Maple.	SC-Square@FLOC	2018	DBLP BibTeX RDF
18	Stephen A. Forrest	SMT-like Queries in Maple.	SC-Square@FLOC	2018	DBLP BibTeX RDF
18	Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe	MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems.	ECMFA	2018	DBLP DOI BibTeX RDF
18	Rui-Juan Jing, Marc Moreno Maza	The polyhedra library in maple.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
18	Juana Sendra, David Gómez Sánchez-Pascuala, Valerio Morán	Design and implementation of maple packages for processing offsets and conchoids.	Ann. Math. Artif. Intell.	2017	DBLP DOI BibTeX RDF
18	W. L. Fan, D. J. Jeffrey, Erik Postma	Computation of Some Integer Sequences in Maple.	CASC	2017	DBLP DOI BibTeX RDF
18	Stephen Forrest	Integration of SMT-LIB Support into Maple.	SC²@ISSAC	2017	DBLP BibTeX RDF
18	Michael B. Monagan, Roman Pearce	Fermat benchmarks for rational expressionals in maple.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Xiazhi Hao, Yinping Liu, Xiaoyan Tang, Zhibin Li 0005	A Maple package for finding interaction solutions of nonlinear evolution equations.	Comput. Math. Appl.	2016	DBLP DOI BibTeX RDF
18	Didier Henrion, Simone Naldi, Mohab Safey El Din	SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic.	CoRR	2016	DBLP BibTeX RDF
18	Matthew England 0001, David J. Wilson	An implementation of Sub-CAD in Maple.	CoRR	2015	DBLP BibTeX RDF
18	Qian Miao, Yun-Hu Wang, Yong Chen, Yunqing Yang	PDEBellII: A Maple package for finding bilinear forms, bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdV-type equations.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	H. Carli, L. G. S. Duarte, L. A. C. P. da Mota	A Maple package for improved global mapping forecast.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	J. Avellar, L. G. S. Duarte, L. A. C. P. da Mota	A Maple package to find first order differential invariants of 2ODEs via a Darboux approach.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Hideaki Izumi	Maple Package itsol for Formal Solutions of Iterative Functional Equations.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18	Matthew England 0001, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson	Branch cuts in maple 17.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18	Michael B. Monagan, Roman Pearce	The Design of Maple's Sum-of-Products and POLY Data Structures for Representing Mathematical Objects.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18	Eugenio Roanes-Lozano, José-Antonio Alonso, Antonio Hernando	Revisiting four-valued logics from Maple using the Logics Explorer package.	Math. Comput. Simul.	2014	DBLP DOI BibTeX RDF
18	Juan Vidal, C. Muriel 0001, J. L. Romero, J. J. Alonso	A Maple procedure based on λ-symmetries for second-order ordinary differential equations.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
18	Troels F. Ronnow	Evaluating a Special Class of Two-Body Integrals through Maple's Integral Routine Extension.	Comput. Sci. Eng.	2014	DBLP DOI BibTeX RDF
18	Boyang Wang, Yantian Hou, Ming Li 0003, Haitao Wang 0001, Hui Li 0006	Maple: scalable multi-dimensional range search over encrypted cloud data with tree-based index.	AsiaCCS	2014	DBLP DOI BibTeX RDF
18	Francisco Botana, Tomás Recio	Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci.	ICMS	2014	DBLP DOI BibTeX RDF
18	Guo-Qiang Zhang 0001, Wei Zhu 0010, Mengmeng Sun, Shiqiang Tao, Olivier Bodenreider, Licong Cui	MaPLE: A MapReduce Pipeline for Lattice-based Evaluation and its application to SNOMED CT.	IEEE BigData	2014	DBLP DOI BibTeX RDF
18	Leonid A. Sevastyanov, Anton L. Sevastyanov, Anastasiya A. Tyutyunnik	Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures.	CASC	2014	DBLP DOI BibTeX RDF
18	Erik J. Postma	The new group theory package in Maple 17.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	Ildiko Perjesi-Hamori	Simulation of Heat Radiation Asymmetry with Maple.	Simul. Notes Eur.	2013	DBLP DOI BibTeX RDF
18	Xu-dong Yang, Hang-yu Ruan	HBFGen: A maple package to construct the Hirota bilinear form for nonlinear equations.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
18	Matthew England 0001	An implementation of CAD in Maple utilising McCallum projection	CoRR	2013	DBLP BibTeX RDF
18	Matthew England 0001	An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance.	CoRR	2013	DBLP BibTeX RDF
18	Matthew England 0001, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson	Branch Cuts in Maple 17.	CoRR	2013	DBLP BibTeX RDF
18	Lu Yang, Bican Xia	Deciding Nonnegativity of Polynomials by MAPLE.	CoRR	2013	DBLP BibTeX RDF
18	Maurizio Ceseri, John M. Stockie	A Mathematical Model of Sap Exudation in Maple Trees Governed by Ice Melting, Gas Dissolution, and Osmosis.	SIAM J. Appl. Math.	2013	DBLP DOI BibTeX RDF
18	George A. Anastassiou, Iuliana-Florentina Iatan	Intelligent Routines - Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple		2013	DOI RDF
18	José Luis Gómez Pardo	Introduction to Cryptography with Maple.		2013	DOI RDF
18	Andreas Voellmy, Junchang Wang, Yang Richard Yang, Bryan Ford, Paul Hudak	Maple: simplifying SDN programming using algorithmic policies.	SIGCOMM	2013	DBLP DOI BibTeX RDF
18	Chii-Huei Yu	Evaluating partial derivatives of two-variables functions by using maple.	ICAIT	2013	DBLP DOI BibTeX RDF
18	Chii-Huei Yu	Using maple to study the integrals of trigonometric functions.	ICAIT	2013	DBLP DOI BibTeX RDF
18	Chii-Huei Yu	A study on some differential problems with maple.	ICAIT	2013	DBLP DOI BibTeX RDF
18	Chii-Huei Yu	Application of maple on evaluating multiple improper integrals.	ICAIT	2013	DBLP DOI BibTeX RDF
18	Jirí Hrebícek, Jaroslav Urbánek	Efficient software tools in the renewable energy domain: Maple and MapleSim.	EnviroInfo	2013	DBLP BibTeX RDF
18	Goetz Botterweck, Deepak Dhungana, Natsuko Noda, Rick Rabiser, Hironori Washizaki	Joint Workshop of the 5th International Workshop on Model-Driven Approaches in Software Product Line Engineering and the 4th Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2013).	SPLC	2013	DBLP DOI BibTeX RDF
18	Leonid A. Sevastianov, Alexander V. Zorin, Alexander Gorbachev	A Quantum Measurements Model of Hydrogen-Like Atoms in Maple.	CASC	2013	DBLP DOI BibTeX RDF
18	K. T. Vu, G. F. Jefferson, J. Carminati	Finding higher symmetries of differential equations using the MAPLE package DESOLVII.	Comput. Phys. Commun.	2012	DBLP DOI BibTeX RDF
18	J. Avellar, L. G. S. Duarte, L. A. C. P. da Mota	PSsolver: A Maple implementation to solve first order ordinary differential equations with Liouvillian solutions.	Comput. Phys. Commun.	2012	DBLP DOI BibTeX RDF
18	Michael B. Monagan, Roman Pearce	POLY: a new polynomial data structure for Maple 17.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Anja Korporal, Georg Regensburger, Markus Rosenkranz	ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Moulay A. Barkatou, Eckhard Pflügel, Flavia Stan	ISOLDE: a maple package for systems of linear functional equations.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Yinping Liu, Shijun Liao, Zhibin Li 0005	A maple package of automated derivation of homotopy analysis solution for periodic nonlinear oscillations.	J. Syst. Sci. Complex.	2012	DBLP DOI BibTeX RDF
18	Muhammad Taimoor Khan 0001, Wolfgang Schreiner	On Formal Specification of Maple Programs	CoRR	2012	DBLP BibTeX RDF
18	Anja Korporal, Georg Regensburger, Markus Rosenkranz	Regular and Singular Boundary Problems in Maple	CoRR	2012	DBLP BibTeX RDF
18	Muhammad Taimoor Khan 0001, Wolfgang Schreiner	Towards the Formal Specification and Verification of Maple Programs	CoRR	2012	DBLP BibTeX RDF
18	Jie Yu 0016, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam	Maple: a coverage-driven testing tool for multithreaded programs.	OOPSLA	2012	DBLP DOI BibTeX RDF
18	Tiffany Yi-Ting Tsao, Wan-rong Jih, Jane Yung-jen Hsu	MAPLE: multi-agent programming with letter exchanges on sensor networks.	AAMAS	2012	DBLP BibTeX RDF
18	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
18	Qing Wang, Tao Wang	Lie Symmetry Analysis for the Degasperis-Procesi Equation Based on Maple.	ICICA (2)	2012	DBLP DOI BibTeX RDF
18	Michael B. Monagan, Roman Pearce	POLY: A New Polynomial Data Structure for Maple 17.	ASCM	2012	DBLP DOI BibTeX RDF
18	Jing Yang 0039, Dongming Wang 0001, Hoon Hong	ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves.	ASCM	2012	DBLP DOI BibTeX RDF
18	Goetz Botterweck, Deepak Dhungana, Rick Rabiser	Fourth International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2012).	SPLC (1)	2012	DBLP DOI BibTeX RDF
18	Muhammad Taimoor Khan 0001, Wolfgang Schreiner	Towards the Formal Specification and Verification of Maple Programs.	AISC/MKM/Calculemus	2012	DBLP DOI BibTeX RDF
18	Muhammad Taimoor Khan 0001, Wolfgang Schreiner	On Formal Specification of Maple Programs.	AISC/MKM/Calculemus	2012	DBLP DOI BibTeX RDF
18	Myungjin Lee, Nick G. Duffield, Ramana Rao Kompella	MAPLE: a scalable architecture for maintaining packet latency measurements.	Internet Measurement Conference	2012	DBLP DOI BibTeX RDF
18	Tarcísio Marciano da Rocha Filho, Annibal Figueiredo	[SADE] a Maple package for the symmetry analysis of differential equations.	Comput. Phys. Commun.	2011	DBLP DOI BibTeX RDF
18	Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao 0004, Yuzhen Xie	Computing the real solutions of polynomial systems with the RegularChains library in Maple.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita	A logic approach to decision taking in a railway interlocking system using Maple.	Math. Comput. Simul.	2011	DBLP DOI BibTeX RDF
18	Andreas Körner, Stefanie N. Winkler, Vilma Urbonaite, Andreas Zimmermann	Randomisation and Grading of Complex Questions in the E-Learning System Maple T.A.	Simul. Notes Eur.	2011	DBLP DOI BibTeX RDF
18	Hongmei Chu, Yinlong Zhao, Yinping Liu	A MAPLE package of new ADM-Padé approximate solution for nonlinear problems.	Appl. Math. Comput.	2011	DBLP DOI BibTeX RDF
18	Feng Guo	SDPTools: High Precision SDP Solver in Maple	CoRR	2011	DBLP BibTeX RDF
18	Anja Noro, Jeffrey W. Poss, John P. Hirdes, Harriet Finne-Soveri, Gunnar Ljunggren, Jan Björnsson, Marianne Schroll, Palmi V. Jonsson	Method for Assigning Priority Levels in Acute Care (MAPLe-AC) predicts outcomes of acute hospital care of older persons - a cross-national validation.	BMC Medical Informatics Decis. Mak.	2011	DBLP DOI BibTeX RDF
18	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
18	Xin Li 0009, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost	The modpn library: Bringing fast polynomial arithmetic into Maple.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
18	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
18	Mariusz Felisiak, Daniel Simson	Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++.	SYNASC	2011	DBLP DOI BibTeX RDF
18	Goetz Botterweck, Natsuko Noda, Deepak Dhungana, Rick Rabiser, Muhammad Ali Babar 0001, 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
18	Anja Korporal, Georg Regensburger, Markus Rosenkranz	Regular and Singular Boundary Problems in Maple.	CASC	2011	DBLP DOI BibTeX RDF
18	Bernie D. Shizgal, Raouf Dridi	Maple code for the calculation of the matrix elements of the Boltzmann collision operators for mixtures.	Comput. Phys. Commun.	2010	DBLP DOI BibTeX RDF
18	Laura I. Meikle, Jacques D. Fleuriot	Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette.	UITP	2010	DBLP DOI BibTeX RDF
18	Christian Hellström	VarInt: variational integrator design with maple.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
18	Michael B. Monagan, Roman Pearce	Sparse polynomial multiplication and division in Maple 14.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
18	Anja Korporal, Georg Regensburger, Markus Rosenkranz	A maple package for integro-differential operators and boundary problems.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
18	Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías	Connecting the 3D DGS Calques3D with the CAS Maple.	Math. Comput. Simul.	2010	DBLP DOI BibTeX RDF
18	Zhenjiang Zhou, Jing-zhi Fu, Zhi-bin Li	Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations.	Appl. Math. Comput.	2010	DBLP DOI BibTeX RDF
18	Boris Zeide	Using strong inference to falsify differential equation models of sugar maple height growth - Discussion.	Math. Comput. For. Nat. Resour. Sci.	2010	DBLP BibTeX RDF
18	Rolfe A. Leary, Vivian Kvist Johannsen	Using strong inference to falsify differential equation models of sugar maple height growth.	Math. Comput. For. Nat. Resour. Sci.	2010	DBLP BibTeX RDF
18	Rolfe A. Leary, Vivian Kvist Johannsen	Using strong inference to falsify differential equation models of sugar maple height growth - Rejoinder.	Math. Comput. For. Nat. Resour. Sci.	2010	DBLP BibTeX RDF
18	M. Delgado Pineda, Efim A. Galperin	MAPLE code for the gamma algorithm for global optimization of uncertain functions in economy and finance.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
18	Anna A. Ryabenko, Denis E. Khmelnov	Hypergeometric pattern matching summation in maple.	Program. Comput. Softw.	2010	DBLP DOI BibTeX RDF
18	Leonid Bedratyuk	The MAPLE package for calculating Poincaré series	CoRR	2010	DBLP BibTeX RDF
18	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
18	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
18	Stephan Fritzsche	Maple procedures for the coupling of angular momenta. An up-date of the Racah module.	Comput. Phys. Commun.	2009	DBLP DOI BibTeX RDF
18	Min Gao, Masaaki Ito	A Maple package for verifying ultradiscrete soliton solutions.	Comput. Phys. Commun.	2009	DBLP DOI BibTeX RDF
18	Mike May	Using Maple Worksheets to Enable Student Explorations of Cryptography.	Cryptologia	2009	DBLP DOI BibTeX RDF
18	Mohamed Barakat, Daniel Robertz	conley: Computing connection matrices in Maple.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
18	Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan 0001, Liyun Li, Yuzhen Xie	The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Xin Li 0009, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost	The modpn library: bringing fast polynomial arithmetic into MAPLE.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	M. Delgado Pineda, Efim A. Galperin	Maple code of gamma algorithm for global optimization of uncertain functions over compact robust sets.	Comput. Math. Appl.	2008	DBLP DOI BibTeX RDF
18	Denis E. Khmelnov	Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system.	Program. Comput. Softw.	2008	DBLP DOI BibTeX RDF
18	Lukasz T. Stepien	Application of Waterloo Maple 9.5 and Wolfram Mathematica 5.1 Software for analytic Solving of certain nonlinear Partial differential equations of Physics.	Comput. Sci.	2008	DBLP DOI BibTeX RDF
18	Songlin Hu, Ying Liang, Jiuming Tian, Yicheng Song	MAPLE: a Maintenance Approach for Pattern-enabLed rEconfiguration of SOA-based Enterprise Application.	SEKE	2008	DBLP BibTeX RDF
18	Mikhail I. Karyakin, Dmitry Y. Sukhov, Tatyana V. Gavrilyachenko	Designing of the Interface for Nonlinear Boundary Value Problems Solver Using Maple.	ICCSA Workshops	2008	DBLP DOI BibTeX RDF