Search results for "Maple"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Removing useless variables in cost analysis of Java bytecode.	SAC	2008	DBLP DOI BibTeX RDF	cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode
12	Valery G. Yakhno, Meltem Altunkaynak	Symbolic Computation of an Exact Solution of the Cauchy Problem for the System of Crystal Optics with Polynomial Data.	NAA	2008	DBLP DOI BibTeX RDF	system of crystal optics, symbolic computations, Analytical method, initial value problem, polynomial solutions
12	Alejandra Santoyo-Sanchez, Antonio Ramírez-Treviño, Carlos De Jesus-Vélasquez, Luis I. Aguirre-Salas	Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets.	ETFA	2008	DBLP DOI BibTeX RDF
12	Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi	Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.	ISSAC	2008	DBLP DOI BibTeX RDF	validated output, semidefinite programming, hybrid method, sum-of-squares, approximate factorization
12	Philip Feinsilver, René Schott	Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). Primary 30A99 - Secondary 68W30, 37C10, 30A06
12	Andrew Burnett, Tom Dowling	A Framework for the Development and Testing of Cryptographic Software.	SCSS (1)	2007	DBLP DOI BibTeX RDF
12	Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	RegularChains, quasi-component, inclusion test, irredundant triangular decomposition
12	Xin Li 0009, Marc Moreno Maza, Éric Schost	On the Virtues of Generic Programming for Symbolic Computation.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
12	Masayoshi Sekiguchi, Masataka Kaneko, Yuuki Tadokoro, Satoshi Yamashita, Setsuo Takato	A New Application of CAS to LaTeX Plottings.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	CAS -
12	Zhibin Li 0005, Yinping Liu, Haifeng Qian	A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations.	ASCM	2007	DBLP DOI BibTeX RDF
12	Iulia Costin	Invariance in the Class of Weighted Power Means.	SYNASC	2007	DBLP DOI BibTeX RDF
12	Ioannis Z. Emiris, George M. Tzoumas	A real-time and exact implementation of the predicates for the Voronoi diagram of parametric ellipses.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	parametric ellipse, robust predicate, Voronoi diagram, symbolic-numeric computation
12	Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth	Dynamics of Nonlinear Parabolic Equations with Cosymmetry.	CASC	2007	DBLP DOI BibTeX RDF
12	N. A. Kostov, Z. T. Kostova	Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients.	CASC	2007	DBLP DOI BibTeX RDF
12	Juan Ospina, Mario Vélez	Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra.	CASC	2007	DBLP DOI BibTeX RDF
12	Stephan Fritzsche	Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory.	CASC	2007	DBLP DOI BibTeX RDF
12	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	A sparse modular GCD algorithm for polynomials over algebraic function fields.	ISSAC	2007	DBLP DOI BibTeX RDF	GCD algorithms, sparse interpolation, algebraic function fields
12	A. D. Kennedy, Thomas Binoth, Thomas Rippon	Automating renormalization of quantum field theories.	SNC	2007	DBLP DOI BibTeX RDF	Feynman diagrams, quantum field theory, renormalization theory
12	Xin Li 0009, Marc Moreno Maza, Éric Schost	Fast arithmetic for triangular sets: from theory to practice.	ISSAC	2007	DBLP DOI BibTeX RDF	high-performance, multiplication, triangular set
12	Ilias S. Kotsireas, Christos Koukouvinos	Inequivalent Hadamard matrices from orthogonal designs.	PASCO	2007	DBLP DOI BibTeX RDF	orthogonal designs, systems of polynomial equations, Hadamard matrices
12	Cezary Kaliszyk, Freek Wiedijk	Certified Computer Algebra on Top of an Interactive Theorem Prover.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
12	Thomas Cluzeau, Mark van Hoeij	Computing Hypergeometric Solutions of Linear Recurrence Equations.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF
12	Suchendra M. Bhandarkar, Xingzhi Luo, Richard F. Daniels, Ernest William Tollner	A novel feature-based tracking approach to the detection, localization, and 3-D reconstruction of internal defects in hardwood logs using computer tomography.	Pattern Anal. Appl.	2006	DBLP DOI BibTeX RDF	Internal defect detection, Feature-based tracking, Nondestructive evaluation, Automated lumber production, Kalman filter, Computer tomography
12	D. Behloul, S. S. Cheng	Computation of All Polynomial Solutions of a Class of Nonlinear Differential Equations.	Computing	2006	DBLP DOI BibTeX RDF	rational solution, Nonlinear differential equation, polynomial solution
12	Zhou Chaochen	Program Verification Through Computer Algebra.	ICFEM	2006	DBLP DOI BibTeX RDF
12	Alfredo Deaño, Amparo Gil, Javier Segura 0001	Computation of the Real Zeros of the Kummer Function M(a;c;x).	ICMS	2006	DBLP DOI BibTeX RDF
12	Annie A. M. Cuyt, Stefan Becuwe	Towards Reliable Software for the Evaluation of a Class of Special Functions.	ICMS	2006	DBLP DOI BibTeX RDF
12	Anton Leykin, Jan Verschelde	Interfacing with the Numerical Homotopy Algorithms in PHCpack.	ICMS	2006	DBLP DOI BibTeX RDF
12	Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas	The predicates for the Voronoi diagram of ellipses.	SCG	2006	DBLP DOI BibTeX RDF	Voronoi diagram, predicate, Euclidean distance, bisector, exact computation, ellipse, parametric representation
12	Hitoshi Yanami, Hirokazu Anai	Development of SyNARC.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
12	Sabina Jeschke, Thomas Richter	Individualization and Flexibility through Computer Algebra Systems in Virtual Laboratories.	ISM	2006	DBLP DOI BibTeX RDF
12	Neli S. Dimitrova, Plamena Zlateva	Stability and Bifurcation Analysis of a Nonlinear Model of Bioreactor.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
12	E. A. Grebenicov, Dorota Kozak-Skoworodkin, D. M. Diarova	Numerical Study of Stability Domains of Hamiltonian Equation Solutions.	CASC	2006	DBLP DOI BibTeX RDF
12	Marc Moreno Maza	Triangular decompositions of polynomial systems: from theory to practice.	ISSAC	2006	DBLP DOI BibTeX RDF
12	Michael B. Monagan, Roman Pearce	Rational simplification modulo a polynomial ideal.	ISSAC	2006	DBLP DOI BibTeX RDF	field of fractions, quotient ring, rational expression, side relations, simplification, Groebner Bases
12	S. P. Polyakov	Symbolic additive decomposition of rational functions.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
12	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
12	Neli S. Dimitrova, Mikhail Krastanov	Stabilization of a Nonlinear Anaerobic Wastewater Treatment Model.	LSSC	2005	DBLP DOI BibTeX RDF
12	Yukari Shirota	Automatic Generation of Web-Based Mathematical Courseware for Solving Simultaneous Equations.	Human.Society@Internet	2005	DBLP DOI BibTeX RDF
12	Wenqin Zhou, David J. Jeffrey, Gregory J. Reid	An Algebraic Method for Analyzing Open-Loop Dynamic Systems.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF	Dynaflex, RifSimp, Case Splitting, Symbolic Simplification, Graph Theory, Computer Algebra
12	Hitoshi Yanami, Hirokazu Anai	Development of SyNRAC.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
12	S. Yu. Vernov	Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems.	CASC	2005	DBLP DOI BibTeX RDF
12	Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita	Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.	CASC	2005	DBLP DOI BibTeX RDF	Metamorphic Petrology, Expert Systems, Computer Algebra Systems
12	Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger 0001	Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots.	CASC	2005	DBLP DOI BibTeX RDF
12	Valentin Irtegov, Tatyana Titorenko	On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid.	CASC	2005	DBLP DOI BibTeX RDF
12	Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes	Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series.	ISSAC	2005	DBLP DOI BibTeX RDF	Geddes series scheme, Geddes-Newton series expansions, approximation of functions, bilinear series, deconstruction/approximation/reconstruction technique (DART), multiple integration, splitting operator, tensor products, symbolic-numeric algorithms
12	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
12	Alan P. Sexton, Volker Sorge	Processing Textbook-Style Matrices.	MKM	2005	DBLP DOI BibTeX RDF
12	Mohamed Elkadi, Bernard Mourrain	Residue and Implicitization Problem for Rational Surfaces.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF
12	Siguna Müller	On the Computation of Square Roots in Finite Fields.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	complexity, finite fields, square roots, efficient computation
12	Alexander Gusev 0001, Nikolai A. Chekanov, V. A. Rostovtsev, Sergey I. Vinitsky, Yoshio Uwano	A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
12	V. V. Kislenkov	Grid-Oriented Computation: Integrated Library GridComp.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
12	Ioannis Z. Emiris, Elias P. Tsigaridas	Comparing Real Algebraic Numbers of Small Degree.	ESA	2004	DBLP DOI BibTeX RDF
12	S. Yu. Vernov	Construction of Solutions for Nonintegrable Systems with the Help of the Painleve Test.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
12	Daniel Pedro Bezerra Chaves, Cecilio Pimentel, Bartolomeu F. Uchôa Filho	An Iterative Matrix-Based Procedure for Finding the Shannon Cover for Constrained Sequences.	ICT	2004	DBLP DOI BibTeX RDF
12	Plamena Zlateva, Neli S. Dimitrova	Stability Analysis of a Nonlinear Model of Wastewater Treatment Processes.	NAA	2004	DBLP DOI BibTeX RDF
12	Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías	An Expert System on Detection, Evaluation and Treatment of Hypertension.	AISC	2004	DBLP DOI BibTeX RDF
12	Pengcheng Wu, Thomas G. Dietterich	Improving SVM accuracy by training on auxiliary data sources.	ICML	2004	DBLP DOI BibTeX RDF
12	Mark van Hoeij, Michael B. Monagan	Algorithms for polynomial GCD computation over algebraic function fields.	ISSAC	2004	DBLP DOI BibTeX RDF	modular algorithms
12	Dhavide A. Aruliah, Robert M. Corless	Numerical parameterization of affine varieties using.	ISSAC	2004	DBLP DOI BibTeX RDF	numerical polynomial algebra, symbolic-numeric algorithms
12	Michael Yang, Richard J. Fateman	Extracting mathematical expressions from postscript documents.	ISSAC	2004	DBLP DOI BibTeX RDF	postscript documents, digital library, optical character recognition, document image analysis, mathematics
12	Enric Rodríguez-Carbonell, Deepak Kapur	Automatic generation of polynomial loop.	ISSAC	2004	DBLP DOI BibTeX RDF	ideal, loop invariant, groebner basis
12	Elena S. Smirnova, Clare M. So, Stephen M. Watt	An Architecture for Distributed Mathematical Web Services.	MKM	2004	DBLP DOI BibTeX RDF
12	Matthew J. Streeter, Lee A. Becker	Automated Discovery of Numerical Approximation Formulae via Genetic Programming.	Genet. Program. Evolvable Mach.	2003	DBLP DOI BibTeX RDF	genetic programming, approximations, Pareto optimality, symbolic regression
12	Markus Grimmer, Knut Petras, Nathalie Revol	Multiple Precision Interval Packages: Comparing Different Approaches.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
12	Iraklis Paraskakis	Rethinking the Teaching of Differential Equations through the Constructivism Paradigm.	ICALT	2003	DBLP DOI BibTeX RDF
12	Marcin Kaminski 0002	Some Notes on Numerical Convergence of the Stochastic Perturbation Method.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Ioannis Z. Emiris, Ilias S. Kotsireas	Implicit Polynomial Support Optimized for Sparseness.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
12	Wolfram Koepf	Power series, Bieberbach conjecture and the de Branges and Weinstein functions.	ISSAC	2003	DBLP DOI BibTeX RDF	Askey-Gasper inequality, Bieberbach conjecture, FPS algorithm, Sturm sequences, Weinstein functions, algorithmic computation of formal power series, de Branges functions
12	Abdolali Basiri, Jean-Charles Faugère	Changing the ordering of Gröbner bases with LLL: case of two variables.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, reduced lattice basis, complexity, LLL
12	Anna A. Ryabenko	Formal Solutions of Linear Ordinary Differential Equations Containing m-Hypergeometric Series.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
12	Yu. G. Palii	Correction of Numerical Integration as an Optimal Control Problem.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
12	O. S. Paramonova, A. W. Niukkanen	Computer-Aided Analysis of Transformation Formulas for Appel and Horn Functions.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
12	XueFeng Chen, DingKang Wang	The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
12	Iraklis Paraskakis	TeLoDe : Towards Creating an Intelligent Computer Algebra System.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
12	Mikhail Krastanov, Neli S. Dimitrova	A Stabilizing Feedback of an Uncertain Control System.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
12	Jürgen Zimmer, Louise A. Dennis	Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.	AISC	2002	DBLP DOI BibTeX RDF
12	Alicia Dickenstein, Ioannis Z. Emiris	Multihomogeneous resultant matrices.	ISSAC	2002	DBLP DOI BibTeX RDF	Sylvester and Bézout type matrix, degree vector, determinantal, multihomogeneous system, sparse resultant, formula
12	Volker Weispfenning	Canonical comprehensive Gröbner bases.	ISSAC	2002	DBLP DOI BibTeX RDF
12	Elizabeth L. Mansfield	Algorithms for Symmetric Differential Systems.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF
12	A. M. Mitichkina, Anna A. Ryabenko	Representation of Algebraic Functions As Power and Fractional Power Series of Special Type.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
12	Wolfgang Schreiner, Gábor Kusper, Károly Bósa	Fault Tolerance for Cluster Computing Based on Functional Tasks.	Euro-Par	2001	DBLP DOI BibTeX RDF
12	Wolfgang Schreiner	Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.	PaCT	2001	DBLP DOI BibTeX RDF
12	Rubin H. Landau	Developing Components and Curricula for a Research-Rich Undergraduate Degree in Computational Physics.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
12	Carlos D'Andrea, Ioannis Z. Emiris	Hybrid sparse resultant matrices for bivariate systems.	ISSAC	2001	DBLP DOI BibTeX RDF	mixed subdivison, piecewise-linear lifting, sparse resultant matrix, toric Jacobian, convexity
12	C.-J. Richard Shi, Sheldon X.-D. Tan	Canonical symbolic analysis of large analog circuits withdeterminant decision diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
12	Lu Yang, Ju Zhang	A Practical Program of Automated Proving for a Class of Geometric Inequalities.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
12	Timothy Stokes 0001, Michael Bulmer	A Complex Change of Variables for Geometrical Reasoning.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
12	Diane L. Evans, Lawrence M. Leemis	Input modeling using a computer algebra system.	WSC	2000	DBLP DOI BibTeX RDF
12	A. Buzin, I. Naftulin	APL tutorial in mathematical modelling.	APL	2000	DBLP DOI BibTeX RDF	APL
12	François Boulier, François Lemaire	Computing canonical representatives of regular differential ideals.	ISSAC	2000	DBLP DOI BibTeX RDF	Rosenfeld-Gröbner, canonical representatives, characteristic presentations, lextriangular, regular differential ideal, differential algebra, characteristic sets
12	Michael B. Monagan, Allan D. Wittkopf	On the design and implementation of Brown's algorithm over the integers and number fields.	ISSAC	2000	DBLP DOI BibTeX RDF
12	Dominique Eyheramendy, Thomas Zimmermann	Object-Oriented Symbolic Derivation and Automatic Programming of Finite Elements in Mechanics.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Object-oriented pro-gramming, Symbolic approaches, Finite elements
12	Rakesh M. Verma, Shalitha Senanayake	LarrowR2: A Laboratory fro Rapid Term Graph Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
12	Lu Yang, Xiaorong Hou, Bican Xia	Automated Discovering and Proving for Geometric Inequalities.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
12	Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann	Specification and Integration of Theorem Provers and Computer Algebra Systems.	AISC	1998	DBLP DOI BibTeX RDF	Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks
12	Stéphane Fèvre, Dongming Wang 0001	Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.	AISC	1998	DBLP DOI BibTeX RDF
12	Ferenc Kálovics, Gabriella Mészáros	Finding Global Minima of Maximum Functions by Using Exclusion Functions without Derivatives.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
12	Lu Yang, Hongguang Fu, Zhenbing Zeng	A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry.	CADE	1997	DBLP DOI BibTeX RDF
12	C.-J. Richard Shi, Xiang-Dong Tan	Symbolic analysis of large analog circuits with determinant decision diagrams.	ICCAD	1997	DBLP DOI BibTeX RDF