Search results for "symbolic computation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	César Domínguez	Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	hidden algebras, symbolic computation, Coq proof assistant
3	Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt	06271 Executive Summary - Challenges in Symbolic Computation Software.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
3	Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt	06271 Abstracts Collection -- Challenges in Symbolic Computation Software.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
3	Xianming Chen, Richard F. Riesenfeld, Elaine Cohen	Degree Reduction for NURBS Symbolic Computation on Curves.	SMI	2006	DBLP DOI BibTeX RDF	NURBS symbolic computation, zero curvature, critical curvature, focal curve, tangent developable, normal scroll, binormal scroll, rectifying developable, bisector curve, bisector surface, evolute, torsion, degree reduction
3	Hongbo Li	Symbolic computation in the homogeneous geometric model with clifford algebra.	ISSAC	2004	DBLP DOI BibTeX RDF	homogeneous model, automated theorem proving, symbolic computation, geometric algebra, clifford algebra
3	Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita	A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.	AISC	2002	DBLP DOI BibTeX RDF	diagnosis of Alzheimer's disease, ideal membership problem, Gröbner bases, Rule-based expert systems
3	Elena Smirnova	Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.	AISC	2002	DBLP DOI BibTeX RDF
3	Jacqueline Castaing	Non-commutative Logic for Hand-Written Character Modeling.	AISC	2002	DBLP DOI BibTeX RDF	Proofs Topics: Foundations and Complexity of Symbolic Computation, Logic and Symbolic Computing, Character Recognition, Linear Logic, Distance Computing
3	Andrés Iglesias	How Symbolic Computation Can Benefit Computer-Aided Geometric Design.	AISC	2000	DBLP DOI BibTeX RDF
3	Paolo Di Blasio, Marco Temperini	Subtyping Inheritance in Languages for Symbolic Computation Systems.	DISCO	1993	DBLP DOI BibTeX RDF
3	Georgios Grivas, Roman Maeder	Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench.	DISCO	1993	DBLP DOI BibTeX RDF
3	Karl Aberer	Combinatory Models and Symbolic Computation.	DISCO	1992	DBLP DOI BibTeX RDF
3	Philip S. Santas	SYMO2: Objects and Classes for Symbolic Computation Systems.	DISCO	1992	DBLP DOI BibTeX RDF
3	Uwe Petermann	Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example.	DISCO	1990	DBLP DOI BibTeX RDF
3	Vincenzo Russi, Roberto Zompi	Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development.	DISCO	1990	DBLP DOI BibTeX RDF	Automation oriented software process, PROT nets, Petri nets, Rapid prototyping, Object-oriented design, Visual Programming, symbolic computation, Executable specification, Real-time distributed systems
2	Pascal Maroni, Z. da Rocha	Connection coefficients between orthogonal polynomials and the canonical sequence: an approach based on symbolic computation.	Numerical Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 33C45, 33F10, 68W30, 42C05
2	Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond	Symbolic Computation Software Composability.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
2	Jónathan Heras, Vico Pascual, Julio Rubio	Mediated Access to Symbolic Computation Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
2	Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder	SymGrid: A Framework for Symbolic Computation on the Grid.	Euro-Par	2007	DBLP DOI BibTeX RDF
2	Andrés Iglesias, Sinan Kapçak	Symbolic Computation of Petri Nets.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF
2	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Towards a high-level implementation of flexible parallelism primitives for symbolic languages.	PASCO	2007	DBLP DOI BibTeX RDF	parallelism, logic programming, symbolic computation
2	Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt (eds.)	Challenges in Symbolic Computation Software, 02.07. - 07.07.2006	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt	Coxeter Lattice Paths.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Xiao-Shan Gao, Mingbo Zhang	Decomposition of Differential Polynomials.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	George Labahn, Scott MacLean, Mirette S. Marzouk, Ian Rutherford, David Tausky	MathBrush: An Experimental Pen-Based Math System.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Éric Schost, Alin Bostan, Claude-Pierre Jeannerod	Using fast matrix multiplication to solve structured linear systems.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Arne Storjohann	Notes on computing minimal approximant bases.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch	Adaptive Triangular System Solving.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Stephen M. Watt	Pivot-Free Block Matrix Inversion.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov	Bounds and algebraic algorithms in differential algebra: the ordinary case.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Santiago Laplagne	Computation of the Minimal Associated Primes.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Stephen M. Watt	Two Families of Algorithms for Symbolic Polynomials.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	John Abbott	Challenges in Computational Commutative Algebra.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Anne Frühbis-Krüger	Computational Aspects of the Resolution of Singularities.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Mark Giesbrecht, George Labahn, Wen-shin Lee	Probabilistically Stable Numerical Sparse Polynomial Interpolation.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Joris van der Hoeven	GNU TeXmacs.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
2	Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio	Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Yukari Shirota	A Semantic Explanation and Symbolic Computation Approach for Designing Mathematical Courseware.	C5	2005	DBLP DOI BibTeX RDF
2	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.	QSIC	2005	DBLP DOI BibTeX RDF
2	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
2	Biao Li, Yong Chen, Qi Wang	Exact analytical solutions to the nonlinear Schrödinger equation model.	ISSAC	2005	DBLP DOI BibTeX RDF	nonlinear Schrödinger equation, soliton propagation and interaction, symbolic computation, soliton
2	Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry	Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices.	CASC	2005	DBLP DOI BibTeX RDF	complete pivoting, weighing matrices, symbolic computation, Gaussian elimination, growth
2	Jan Verschelde	Numerical algebraic geometry and symbolic computation.	ISSAC	2004	DBLP DOI BibTeX RDF	irreducible decomposition, numerical homotopy continuation, polynomial systems, approximate factorization
2	Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu	Proving and Constraint Solving in Computational Origami.	AISC	2004	DBLP DOI BibTeX RDF
2	Markus Rosenkranz	The Algorithmization of Physics: Math Between Science and Engineering.	AISC	2004	DBLP DOI BibTeX RDF
2	Tom Kelsey, Steve Linton, Colva M. Roney-Dougal	New Developments in Symmetry Breaking in Search Using Computational Group Theory.	AISC	2004	DBLP DOI BibTeX RDF
2	Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder	Comparing Parallel Functional Languages: Programming and Performance.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism
2	Robert M. Corless, David J. Jeffrey	The Wright omega Function.	AISC	2002	DBLP DOI BibTeX RDF
2	César Domínguez, Julio Rubio	Modeling inheritance as coercion in a symbolic computation system.	ISSAC	2001	DBLP DOI BibTeX RDF	CLOS
2	Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin	A Service-Based Agent Framework for Distributed Symbolic Computation.	HPCN	2000	DBLP DOI BibTeX RDF
2	Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori	George Boole, a Forerunner of Symbolic Computation.	AISC	2000	DBLP DOI BibTeX RDF
2	José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos	Formalizing Rewriting in the ACL2 Theorem Prover.	AISC	2000	DBLP DOI BibTeX RDF
2	Julio Rubio	Locally Effective Objects and Artificial Intelligence.	AISC	2000	DBLP DOI BibTeX RDF
2	Jieqing Feng, Qunsheng Peng	B-Spline Free-Form Deformation of Polygonal Objects through Fast Functional Composition. (PDF / PS)	GMP	2000	DBLP DOI BibTeX RDF	B-spline, symbolic computation, Free-form deformation, polynomial interpolation
2	Roberto M. Amadio, Denis Lugiez	On the Reachability Problem in Cryptographic Protocols.	CONCUR	2000	DBLP DOI BibTeX RDF	verification, cryptographic protocols, symbolic computation
2	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
2	Alessandro Armando, Silvio Ranise	From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components.	AISC	1998	DBLP DOI BibTeX RDF
2	Giovanni Cesari	CALYPSO: a computer algebra library for parallel symbolic computation.	PASCO	1997	DBLP DOI BibTeX RDF
2	Jesús Rodríguez-Millán, José Yépez, Jozsef Bokor	Design of Nonlinear Lag-Lead Compensators by Extended Linearization.	EUROCAST	1997	DBLP DOI BibTeX RDF	Lag-lead compensators, Jacobian and extended linearization, Mathematica®, symbolic computation
2	Gianna Cioni, Attilio Colagrossi, Marco Temperini	An Approach to Class Reasoning in Symbolic Computation.	DISCO	1996	DBLP DOI BibTeX RDF
2	Giovanni Cesari, Roman Maeder	Parallel 3-Primes FFT Algorithm.	DISCO	1996	DBLP DOI BibTeX RDF
2	Grigorios Grivas, Alexios Palinginis	Compiling Residuation for a Multiparadigm Symbolic Programming Language.	DISCO	1996	DBLP DOI BibTeX RDF
2	Daniel Keren	Using Symbolic Computation to Find Algebraic Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	algebraic invariants, complicated objects, Brown University, polynomial coefficients, computer vision, object recognition, CAD, polynomials, graphics, symbolic computation, symbol manipulation, implicit polynomials
2	Charles C. Dyer	An Application of Symbolic Computation in the Physical Sciences.	ISSAC	1994	DBLP DOI BibTeX RDF	REDUCE
2	Jason F. Harris	Inheritance of Rewrite Rule Structures Applied to Symbolic Computation.	ISSAC	1994	DBLP DOI BibTeX RDF	Mathematica
2	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
2	Kurt Siegl	Parallelizing Algorithms for Symbolic Computation using \|\|MAPLE\|\|.	PPOPP	1993	DBLP DOI BibTeX RDF	logic programming, Maple, computer algebra systems
2	Angel Díaz, Markus A. Hitz, Erich Kaltofen, A. Lobo, T. Valente	Process Scheduling in DSC and the Large Sparse Linear Systems Challenge.	DISCO	1993	DBLP DOI BibTeX RDF
2	Carla Limongelli, Marco Temperini	On the Uniform Representation of Mathematical Data Structures.	DISCO	1993	DBLP DOI BibTeX RDF
2	Stephan A. Missura	Extending AlgBench with a Type System.	DISCO	1993	DBLP DOI BibTeX RDF
2	William M. Farmer, Joshua D. Guttman, F. Javier Thayer	Reasoning with Contexts.	DISCO	1993	DBLP DOI BibTeX RDF
2	Serge D. Meshveliani	The Algebraic Constructor CAC: Computing in Construction-Defined Domains.	DISCO	1993	DBLP DOI BibTeX RDF
2	Jean-Marc Champarnaud	A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.	STACS	1992	DBLP DOI BibTeX RDF
2	Roman Maeder	AlgBench: An Object-Oriented Symbolic Core System.	DISCO	1992	DBLP DOI BibTeX RDF
2	Norbert Kajler	Building a Computer Algebra Environment by Composition of Collaborative Tools.	DISCO	1992	DBLP DOI BibTeX RDF	User Interface, Computer Algebra, Tool Integration, Software Bus
2	Dongming Wang, Bernd Schürmann	Computer Aided Analysis and Derivation for Artificial Neural Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule
2		Book Review of A "Kinder, Gentler LISP?" COMMON LISP: A Gentle Introduction to Symbolic Computation" by David S. Touretzky.	Lisp and Symbolic Computation	1991	DBLP BibTeX RDF
2	Kin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang	The Implementation of A PC-Based List Processor for Symbolic Computation.	DISCO	1990	DBLP DOI BibTeX RDF
2	Jean-Louis Lassez	Parametric queries, linear constraints and variable elimination.	DISCO	1990	DBLP DOI BibTeX RDF
2	Michel Bidoit, Francis Capy, Christine Choppy	The design and specification of the ASSPEGIQUE database.	DISCO	1990	DBLP DOI BibTeX RDF
2	Robert H. Halstead Jr.	Multilisp: A Language for Concurrent Symbolic Computation.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	LISP, SCHEME, MULTILISP
1	M. F. Ciappina, T. Kirchner	SymbMat: Symbolic computation of quantum transition matrix elements.	Computer Physics Communications	2012	DBLP DOI BibTeX RDF
1	Yezhi Lin, Yinping Liu, Zhibin Li	Symbolic computation of analytic approximate solutions for nonlinear differential equations with initial conditions.	Computer Physics Communications	2012	DBLP DOI BibTeX RDF
1	Douglas Poole, Willy Hereman	Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Yang Zhao, Gianfranco Ciardo	Symbolic computation of strongly connected components and fair cycles using saturation.	ISSE	2011	DBLP DOI BibTeX RDF
1	Milan B. Tasic, Predrag S. Stanimirovic, Marko D. Petkovic	Symbolic computation of weighted Moore-Penrose inverse using partitioning method	CoRR	2011	DBLP BibTeX RDF
1	Ünal Göktas, Willy Hereman	Symbolic Computation of Recursion Operators for Nonlinear Differential-Difference equations	CoRR	2011	DBLP BibTeX RDF
1	Ünal Göktas, Willy Hereman	Symbolic Computation of	CoRR	2011	DBLP BibTeX RDF
1	Hiroshi Yoshida, Yoshihiro Miwa, Masanobu Kaneko	Elliptic curves and Fibonacci numbers arising from Lindenmayer system with symbolic computation.	Appl. Algebra Eng. Commun. Comput.	2011	DBLP DOI BibTeX RDF
1	Dalibor L. Sekulic, Miljko V. Sataric, Milos B. Zivanov	Symbolic computation of some new nonlinear partial differential equations of nanobiosciences using modified extended tanh-function method.	Applied Mathematics and Computation	2011	DBLP DOI BibTeX RDF
1	Sajed Miremadi, Knut Åkesson, Bengt Lennartson	Symbolic Computation of Reduced Guards in Supervisory Control.	IEEE T. Automation Science and Engineering	2011	DBLP DOI BibTeX RDF
1	Ismail Aslan	Application of the Exp-function method to the (2+1)-dimensional Boiti-Leon-Pempinelli equation using symbolic computation.	Int. J. Comput. Math.	2011	DBLP DOI BibTeX RDF
1	Franz Winkler	What can Symbolic Computation Contribute to Mathematics?	SYNASC	2011	DBLP DOI BibTeX RDF
1	Lei Yan, Ruijuan Li	Construction of Riemann-Theta Function Solutions for Benjamin-Ono Equation Based on Symbolic Computation.	CSISE	2011	DBLP DOI BibTeX RDF
1	Yoshinao Isobe	CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation.	CPA	2011	DBLP DOI BibTeX RDF
1	Xiqiang Zhao, Weijun Sun	The Jacobin elliptic function expansion method for solitonic solutions to nonlinear partial differential equations with symbolic computation.	ICNC	2011	DBLP DOI BibTeX RDF
1	Weijun Sun, Xiqiang Zhao	On the solitonic solutions of the coupled KdV system of equations with symbolic computation.	ICNC	2011	DBLP DOI BibTeX RDF
1	Temur Kutsia	Symbolic computation in software science: Foreword from the editor.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Kun Sun, Bo Tian, Wen-Jun Liu, Min Li, Qi-Xing Qu, Yan Jiang	Symbolic-Computation Study on the (2+1)-Dimensional Dispersive Long Wave System.	SIAM Journal of Applied Mathematics	2010	DBLP DOI BibTeX RDF
1	B. Gebremariam, S. K. Bogner, T. Duguet	Symbolic computation of the Hartree-Fock energy from a chiral EFT three-nucleon interaction at N2LO.	Computer Physics Communications	2010	DBLP DOI BibTeX RDF