Search results for "BL-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Vitaly Roman'kov	On the Automorphism Group of a Free Metabelian Lie Algebra.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
18	George F. McNulty, Zoltán Székely, Ross Willard	Equational Complexity of the Finite Algebra Membership Problem.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
18	Clóvis C. Gonzaga, Jin Yun Yuan	Foz2006 numerical linear algebra and optimization.	Numer. Linear Algebra Appl.	2008	DBLP DOI BibTeX RDF
18	Giuliano Casale	An application of exact linear algebra to capacity planning models.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Zhonggang Zeng	ApaTools: a software toolbox for approximate polynomial algebra.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	David Joyner	Open source computer algebra systems: Axiom.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Andrey V. Banshchikov	Analysis of dynamics of large-dimensional mechanical systems by the tools of computer algebra.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Matthew Prince	The concept of derivatives using abstract algebra (abstract only).	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann	SINGULAR: a computer algebra system for polynomial computations.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Kelly Roach	Solving integrals with the quantum computer algebra system.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
18	Grigory Mashevitzky, Boris I. Plotkin	On Automorphisms of the Endomorphism Semigroup of a Free Universal Algebra.	Int. J. Algebra Comput.	2007	DBLP DOI BibTeX RDF
18	Alexei Belov-Kanel, A. Berzins, Ruvim Lipyanski	Automorphisms of the Endomorphism Semigroup of a Free Associative Algebra.	Int. J. Algebra Comput.	2007	DBLP DOI BibTeX RDF
18	Franco V. Saliola	The Quiver of the Semigroup Algebra of a Left Regular Band.	Int. J. Algebra Comput.	2007	DBLP DOI BibTeX RDF
18	Marcin Kozik	Computationally and Algebraically Complex Finite Algebra Membership Problems.	Int. J. Algebra Comput.	2007	DBLP DOI BibTeX RDF
18	William S. Page	AXIOM: open source computer algebra system.	ACM Commun. Comput. Algebra	2007	DBLP DOI BibTeX RDF
18	John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano	CoCoA: computations in commutative algebra.	ACM Commun. Comput. Algebra	2007	DBLP DOI BibTeX RDF
18	Akira Suzuki, Yosuke Sato	Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm.	ACM Commun. Comput. Algebra	2007	DBLP DOI BibTeX RDF
18	Jerzy Wasniewski, Jack J. Dongarra, Kaj Madsen, Sivan Toledo, Zahari Zlatev	Editorial introduction to the special issue on computational linear algebra and sparse matrix computations.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF
18	Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld (eds.)	Web Information Retrieval and Linear Algebra Algorithms, 11.02. - 16.02.2007	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	David F. Gleich, Peter W. Glynn, Gene H. Golub, Chen Greif	Three results on the PageRank vector: eigenstructure, sensitivity, and the derivative.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Ivo Marek, Ivana Pultarová, Petr Mayer	Convergence of iterative aggregation/disaggregation methods based on splittings with cyclic iteration matrices.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Claude Brezinski, Michela Redivo-Zaglia	Extrapolation and minimization procedures for the PageRank vector.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Giorgios Kollias, Efstratios Gallopoulos	Asynchronous Computation of PageRank computation in an interactive multithreading environment.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Sudipto Guha, Boulos Harb	Nonlinear Approximation and Image Representation using Wavelets.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Paolo Boldi, Massimo Santini 0001, Sebastiano Vigna	A Deeper Investigation of PageRank as a Function of the Damping Factor.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Julia Luxenburger, Gerhard Weikum	Exploiting Community Behavior for Enhanced Link Analysis and Web Search.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Andrew P. Gray, Chen Greif, Tracy Lau	An Inner/Outer Stationary Iteration for Computing PageRank.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Philip A. Knight	The Sinkhorn-Knopp Algorithm: Convergence and Applications.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Stefano Serra Capizzano	Google Pageranking Problem: The Model and the Analysis.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Philip A. Knight, Daniel Ruiz 0002	A Fast Algorithm for Matrix Balancing.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Giorgios Kollias, Efstratios Gallopoulos	Multidamping simulation framework for link-based ranking.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Peter Buchholz 0001	Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Sebastiano Vigna	Stanford Matrix Considered Harmful.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Catherine Fraikin, Paul Van Dooren	Graph matching with type constraints on nodes and edges.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
18	Marcel Jackson, Timothy Stokes 0001	Identities in the Algebra of Partial Maps.	Int. J. Algebra Comput.	2006	DBLP DOI BibTeX RDF
18	Matthew G. Brin	The Algebra of Strand Splitting Ii: a Presentation for the Braid Group on One Strand.	Int. J. Algebra Comput.	2006	DBLP DOI BibTeX RDF
18	William Y. Sit	Abstracts of special session on differential algebra: American Mathematical Society, Eastern Section Spring Meeting: Stevens Institute of Technology, April 14-15, 2007.	ACM Commun. Comput. Algebra	2006	DBLP DOI BibTeX RDF
18	Hans J. Stetter	"Approximate Commutative Algebra": an ill-chosen name for an important discipline.	ACM Commun. Comput. Algebra	2006	DBLP DOI BibTeX RDF
18	Jennifer Hyndman, Jane G. Pitkethly	How Finite is a Three-Element Unary Algebra?	Int. J. Algebra Comput.	2005	DBLP DOI BibTeX RDF
18	Nicola Mastronardi, Sabine Van Huffel	Numerical linear algebra and its applications.	Numer. Linear Algebra Appl.	2005	DBLP DOI BibTeX RDF
18	Luigi Brugnano, Cecilia Magherini	Some linear algebra issues concerning the implementation of blended implicit methods.	Numer. Linear Algebra Appl.	2005	DBLP DOI BibTeX RDF
18	R. H. Chan, Stefano Serra Capizzano, Cristina Tablino Possio	Two-grid methods for banded linear systems from DCT III algebra.	Numer. Linear Algebra Appl.	2005	DBLP DOI BibTeX RDF
18	Jean-Michel Papy, Lieven De Lathauwer, Sabine Van Huffel	Exponential data fitting using multilinear algebra: the single-channel and multi-channel case.	Numer. Linear Algebra Appl.	2005	DBLP DOI BibTeX RDF
18	Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek	Process algebra and constraint programming for modeling interactions in MAS.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
18	Andreas Dolzmann, Andreas Seidl, Thomas Sturm 0001 (eds.)	Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Sonia Pérez-Díaz, Juana Sendra, J. Rafael Sendra	The Challenge of Approximately Parameterizing Algebraic Curves and Surfaces.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Jaime Gutierrez 0001, David Sevilla	Computation of Unirational Fields.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Lev D. Pustylnikov, Tatiana Lokot, Roman L. Pustylnikov	Discrete Rotation Maps and Generalized Continued Fractions.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Hirokazu Anai, Kazuhiro Yokoyama	Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	James C. Beaumont, Nalina Phisanbut, Russell J. Bradford	Practical Simplification of Elementary Functions Using CAD.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Volker Weispfenning	Model Theory of Lattice Products.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Alexander Semenov	Characteristics of Involutive Divisions.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Mario Fioravanti, Laureano González-Vega, Ioana Necula	Computing the Intersection of Two Ruled Surfaces by Using a New Algebraic Approach.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Nikolaj N. Glazunov	Minkowski's Conjecture on Critical Lattices and Quantifier Elimination.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Hugo Volger	A Note on Definable Operators on Structures.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Aleksey Zobnin	Some Results on Differential Gröbner Bases.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Yosuke Sato	Stability of Gröbner Bases and ACGB.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Stefan Ratschan	Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Gábor Bodnár	Computing Centers of Blowups for Birational Projective Morphisms of Varieties.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Jesús A. De Loera, Tyrrell B. McAllister	Fast Computation of Clebsch-Gordan Coefficients.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Günter Landsmann, Peter Mayr 0001, Josef Schicho	A Topological Criterion for Polynomiality.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Mohamed Ayad	Prime Polynomials.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Pasqualina Conti, Carlo Traverso	Approximate Rings and Gröbner Bases.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	David J. Jeffrey	The Art of Formula.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Armin Größlinger, Martin Griebl, Christian Lengauer	Quantifier Elimination in Automatic Loop Parallelization.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Michael Pesch	Gröbner Bases in Skew Polynomial Rings.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Gregor Snelting	Quantifier Elimination and Information Flow Control for Software Security.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Dongming Wang 0001	The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Anthony C. Hearn	REDUCE: The First Forty Years.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Eberhard Becker	Geometric Radicals of Polynomial Ideals.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Christopher W. Brown 0001, M'hammed El Kahoui, Dominik Novotni, Andreas Weber 0004	Algorithmic Methods for Investigating Equilibria in Epidemic Modeling.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Lu Yang, Bican Xia	Real Solution Classification for Parametric Semi-Algebraic Systems.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Gema M. Diaz-Toca, Laureano González-Vega	On a Conjecture About Univariate Polynomials and Their Roots.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Wolfgang Küchlin	Canonical Hardware Representation Using Gröbner Bases.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Arthur C. Norman	Thirty Years of Lisp Support for REDUCE.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Akira Suzuki	Full Comprehensive Gröbner Bases.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Heinz Kredel	A Systems Perspective on A3L.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Thomas Becker 0001	Volker Weispfenning: Scientist, Teacher, Mentor.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Tadashi Takahashi, Kosaku Nagasaka	On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner Bases.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Hitoshi Yanami, Hirokazu Anai	SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Manfred Göbel	Continuous Visualization of SAGBI Bases for Parameterized Linear Subalgebras.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Lev M. Berkovich, Ephraim Fedor L. Berkovitch	An Algorithm for Factorization of Some Second Order Differential Equations.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Birgit Reinert	Gröbner Bases in Function Rings - A Guide for Introducing Reduction Relations to Algebraic Structures.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Mihai Prunescu	The Symmetric Subset-Sum Problem over the Complex Numbers.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Hongqing Zhang	The Applications of Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Maria Grazia Marinari, Teo Mora	Rambling on Weispfenning, Montes, Gianni, and Kronecker.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Montserrat Manubens, Antonio Montes	Improving the DISPGB Algorithm Using the Discriminant Ideal.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Peter Ullrich	Gröbner Bases in Elimination Theory.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Christopher W. Brown 0001, Sjaak de Vlaming, George Nakos	Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Douglas D. Zaster	High Noon.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Adam W. Strzebonski	Applications of Algorithms for Solving Equations and Inequalities in Mathematica.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Katsusuke Nabeshima	A Computation Method for ACGB-V.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Vladimir P. Gerdt, Denis A. Yanovich	Experimental Analysis of Involutive Criteria.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
18	Benjamin Steinberg, Bret Tilson	Categories as Algebra, II.	Int. J. Algebra Comput.	2003	DBLP DOI BibTeX RDF
18	Plamen Koshlukov, Angela Valenti	Graded Identities for The Algebra of n times n Upper Triangular Matrices over an Infinite Field.	Int. J. Algebra Comput.	2003	DBLP DOI BibTeX RDF
18	Michael Joswig, Nobuki Takayama (eds.)	Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar]	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
18	Ioannis Z. Emiris	Discrete Geometry for Algebraic Elimination.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
18	Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk	Interactive Mathematical Documents on the Web.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
18	Nobuki Takayama	Generating Kummer Type Formulas for Hypergeometric Functions.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
18	Carlos D'Andrea, Ioannis Z. Emiris	Sparse Resultant Perturbations.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF