|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7798 occurrences of 3322 keywords
|
|
|
Results
Found 19249 publication records. Showing 19248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Britta Kehden |
Evaluating Sets of Search Points Using Relational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 266-280, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Anthony N. Lasenby |
Recent Applications of Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWMM/GIAE ![In: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers, pp. 298-328, 2004, Springer, 3-540-26296-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Rich Wareham, Jonathan Cameron, Joan Lasenby |
Applications of Conformal Geometric Algebra in Computer Vision and Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWMM/GIAE ![In: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers, pp. 329-349, 2004, Springer, 3-540-26296-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Clint J. van Alten |
On Varieties of Biresiduation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 425-445, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
biresiduation algebra, residuated lattice, BCK-algebra |
30 | Klaus-Dieter Schewe, Bernhard Thalheim |
Reasoning About Web Information Systems Using Story Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceeding, pp. 54-66, 2004, Springer, 3-540-23243-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
navigation, process algebra, personalisation, Web information system, Kleene algebra |
30 | Gianpiero Cattaneo, Davide Ciucci |
Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 77-84, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Wajsberg algebra, rough approximation space, rough sets, fuzzy sets, Heyting algebra |
30 | Ludger Becker, Ralf Hartmut Güting |
Rule-Based Optimization and Query Processing in an Extensible Geometric Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(2), pp. 247-303, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
geometric query processing, many-sorted algebra, rule-based optimization, optimization, extensibility, relational algebra |
30 | Gunther Schmidt 0001 |
Relational Measures and Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 343-357, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evidence and belief, necessity and possibility measures, relational measure, relation algebra, Choquet integral, plausibility, Sugeno integral |
30 | Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun |
Intrinsic Differential Geometry with Geometric Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWMM/GIAE ![In: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers, pp. 207-216, 2004, Springer, 3-540-26296-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra |
30 | Dexter Kozen |
On Hoare logic and Kleene algebra with tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 1(1), pp. 60-76, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
specification, dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests |
30 | Rita V. Rodríguez |
A relativistic temporal algebra for efficient design of distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 31-45, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Atomic relation, incomparable events, interval temporal model, relativistic space-time, temporal algebra, distributed system, relation algebra |
30 | Jan J. M. M. Rutten, Daniele Turi |
Initial Algebra and Final Coalgebra Semantics for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 530-582, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality |
30 | Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe |
Automated Test Case Generation for Programs Specified by Relational Algebra Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 316-324, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming |
29 | Yoshinao Isobe, Kazuhito Ohmaki |
A process logic for distributed system synthesis . ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 62-69, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
process logic, distributed system synthesis, concurrent behavior, interleaving behavior, DS algebra, SP logic, computability, process algebra, process algebra, satisfiability, algebraic specification, concurrency theory |
29 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 262-266, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra |
29 | Roberto Manduchi, Pietro Perona |
Pyramidal implementation of deformable kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 378-381, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
deformable kernels, pyramidal decomposition, multirate implementation, quadratic error criterion, hypermatrix algebra, multilinear problem, pseudo-SVD, quadratic approximation error minimisation, basis filters, steerable-scalable decomposition, computer vision, computer vision, image processing, image processing, global optimization, singular value decomposition, rendering, iterative methods, matrix algebra, aliasing, filtering theory, rendering (computer graphics), image filtering, Kronecker algebra, iterative procedure |
27 | George E. Andrews |
Application of Scratchpad to Problems in Special Functions and Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Computer Algebra ![In: Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings, pp. 158-166, 1987, Springer, 3-540-18928-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Richard D. Jenks, Robert S. Sutor, Stephen M. Watt |
Scratchpad II: An Abstract Datatype System for Mathematical Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Computer Algebra ![In: Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings, pp. 12-37, 1987, Springer, 3-540-18928-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Hans Z. Munthe-Kaas, Will M. Wright |
On the Hopf Algebraic Structure of Lie Group Integrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 8(2), pp. 227-257, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Xue-fang Wang, Peishun Liu |
A Method for Constructing Lattice Implication Algebras on the Interval [0, 1]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 116-121, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Floris Geerts, Jan Van den Bussche |
Relational Completeness of Query Languages for Annotated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, pp. 127-137, 2007, Springer, 978-3-540-75986-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Rachid El Harti, Gábor Lukács |
Bounded and Unitary Elements in Pro-C*-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(2), pp. 151-164, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05 |
27 | Christoph Koch 0001 |
On the complexity of nonrecursive XQuery and functional query languages on complex values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA, pp. 84-97, 2005, ACM, 1-59593-062-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Stelios Paparizos, Yuqing Wu, Laks V. S. Lakshmanan, H. V. Jagadish |
Tree Logical Classes for Efficient Evaluation of XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Paris, France, June 13-18, 2004, pp. 71-82, 2004, ACM, 1-58113-859-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Issam Abbas, Omar Boucelma |
A Framework for Algebraic Optimization of Object-Oriented Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 478-487, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Alberto Belussi, Elisa Bertino, Barbara Catania |
Manipulating Spatial Data in Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings, pp. 115-141, 1997, Springer, 3-540-63238-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | José Barros, Joseph A. Goguen |
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, pp. 16-35, 1995, Springer, 3-540-61377-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Hermann von Issendorff |
A theory of organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(9), pp. 31-38, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Hermann von Issendorff |
A theory of organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(8), pp. 84-102, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Van-Ly Le |
Polly Two : A New Algebraic Polynomial-based Public-Key Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 17(3-4), pp. 267-283, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Combinatorially algebraic public-key cryptoschemes, Polly Cracker, EnRoot, Linear-Algebra attacks, System of algebraic equations, Elimination ideals, Sparse polynomials |
26 | Rance Cleaveland |
Better Automata Through Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 116-136, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Rosemary Carroll Farley |
Student undergraduate research projects in linear algebra using a computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 50, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Zoltán Kovács, Bernard Parisse |
Giac and GeoGebra - Improved Gröbner Basis Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 126-138, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Willem A. de Graaf |
Orbit Closures of Linear Algebraic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 76-93, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Cristian-Silviu Radu |
A Note on a Problem Proposed by Kim and Lisonek. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 151-156, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Felix Breuer |
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 1-29, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson 0001 |
Ore Polynomials in Sage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 105-125, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Ragni Piene |
Polar Varieties Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 139-150, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Georg Grasegger, Franz Winkler 0001 |
Symbolic Solutions of First-Order Algebraic ODEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 94-104, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Maria-Laura Torrente |
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 204-212, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Carsten Schneider |
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 157-191, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | J. Rafael Sendra, David Sevilla, Carlos Villarino |
Some Results on the Surjectivity of Surface Parametrizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 192-203, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Joachim von zur Gathen, Konstantin Ziegler |
Survey on Counting Special Types of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 50-75, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Carlos D'Andrea |
Moving Curve Ideals of Rational Plane Parametrizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 30-49, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Hongbo Li 0012, Lixian Zhang |
Line Geometry in Terms of the Null Geometric Algebra over ℝ3, 3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 253-272, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Leo Dorst |
Tutorial Appendix: Structure Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 435-453, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Robert Valkenburg, Leo Dorst |
Estimating Motors from a Variety of Geometric Data in 3D Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 25-45, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Ron Goldman 0002 |
A Homogeneous Model for Three-Dimensional Computer Graphics Based on the Clifford Algebra for ℝ3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 329-352, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Anthony N. Lasenby, Robert Lasenby, Chris Doran |
Rigid Body Dynamics and Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 3-24, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Robert Valkenburg, Nawar Alwesh |
Calibration of Target Positions Using Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 127-148, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Anthony N. Lasenby |
Rigid Body Dynamics in a Constant Curvature Space and the '1D-up' Approach to Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 371-389, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Aristidou, Joan Lasenby |
Inverse Kinematics Solutions Using Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 47-62, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Hongbo Li 0012, Yuanhao Cao |
On Geometric Theorem Proving with Null Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 195-215, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Serré, Nabil Anwer, Jian-Xin Yang |
On the Use of Conformal Geometric Algebra in Geometric Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 217-232, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Leo Dorst, Robert Valkenburg |
Square Root and Logarithm of Rotors in 3D Conformal Geometric Algebra Using Polar Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 81-104, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Daniel M. Dunlavy, Tamara G. Kolda, W. Philip Kegelmeyer |
Multilinear Algebra for Analyzing Data with Multiple Linkages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Algorithms in the Language of Linear Algebra ![In: Graph Algorithms in the Language of Linear Algebra, pp. 85-114, 2011, SIAM, 978-0-89871-990-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Agnieszka Patyk |
Geometric Algebra Model of Distributed Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 401-430, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Hongbo Li 0012 |
Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 71-90, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Eckhard M. S. Hitzer, Christian Perwass, Daisuke Ichikawa |
Interactive 3D Space Group Visualization with CLUCalc and Crystallographic Subperiodic Groups in Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 385-400, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alyn Rockwood, Dietmar Hildenbrand |
Engineering Graphics in Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 53-69, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Dietmar Hildenbrand, Joachim Pitt, Andreas Koch 0001 |
Gaalop - High Performance Parallel Computing Based on Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 477-494, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Leo Dorst |
Tutorial: Structure-Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 35-52, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Thibaud Debaecker, Ryad Benosman, Sio-Hoi Ieng |
Image Sensor Model Using Geometric Algebra: From Calibration to Motion Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 277-297, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Minh Tuan Pham, Kanta Tachibana, Eckhard M. S. Hitzer, Tomohiro Yoshikawa, Takeshi Furuhashi |
Classification and Clustering of Spatial Patterns with Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Algebra Computing ![In: Geometric Algebra Computing - in Engineering and Computer Science., pp. 231-247, 2010, Springer, 978-1-84996-107-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld |
07071 Abstracts Collection -- Web Information Retrieval and Linear Algebra Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Information Retrieval and Linear Algebra Algorithms ![In: Web Information Retrieval and Linear Algebra Algorithms, 11.02. - 16.02.2007, 2007, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld |
07071 Report on Dagstuhl Seminar -- Web Information Retrieval and Linear Algebra Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Information Retrieval and Linear Algebra Algorithms ![In: Web Information Retrieval and Linear Algebra Algorithms, 11.02. - 16.02.2007, 2007, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Dirk Draheim, Winfried Neun, Dima Suliman |
Employing Computer Algebra for Classifying Mathematical Web Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Algebra and Logic ![In: Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning., pp. 91-94, 2005, Books on Demand, 3-8334-2669-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Gema M. Diaz-Toca |
Galois Theory, Splitting Fields, and Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Algebra and Logic ![In: Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning., pp. 77-81, 2005, Books on Demand, 3-8334-2669-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Masayuki Noro |
A Computer Algebra System: Risa/Asir. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebra, Geometry, and Software Systems ![In: Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], pp. 147-162, 2003, Springer, 3-540-00256-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | James H. Davenport |
The Geometry of Cn is Important for the Algebra of Elementary Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebra, Geometry, and Software Systems ![In: Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], pp. 207-224, 2003, Springer, 3-540-00256-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Jos C. M. Baeten, Twan Basten |
Partial-Order Process Algebra (and its Relation to Petri Nets). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 769-872, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Rance Cleaveland, Gerald Lüttgen, V. Natarajan 0001 |
Priority in Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 711-765, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Sjouke Mauw, Michel A. Reniers |
A Process Algebra for Interworkings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 1269-1327, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jan A. Bergstra, Wan J. Fokkink, Alban Ponse |
Process Algebra with Recursive Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 333-389, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko |
Discrete Time Process Algebra and the Semantics of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 1209-1268, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jos C. M. Baeten, Cornelis A. Middelburg |
Process Algebra with Timing: Real Time and Discrete Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 627-684, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | N. Joachim Lehmann |
Computer Algebra and Practical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (1) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures, pp. 102-113, 1985, Springer, 3-540-15983-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | George E. Collins |
The SAC-2 Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 34-35, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Robert S. Sutor |
The Scratchpad II Computer Algebra Language and System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 32-33, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Stephen M. Watt |
A System for Parallel Computer Algebra Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 537-538, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | J.-M. Drouffe |
Computer Algebra as a Research Tool in Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (1) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures, pp. 58-67, 1985, Springer, 3-540-15983-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | John F. Ogilvie |
Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 205, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Arne Hornæs |
Computer Algebra in Norway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 405-406, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Bob F. Caviness |
Computer Algebra: Past and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (1) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures, pp. 1-18, 1985, Springer, 3-540-15983-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dennis S. Arnon |
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 270-271, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dieter Armbruster |
Bifurcation Theory and Computer Algebra: An Initial Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 126-137, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Terje Wahl |
Infinite Dimensional Computer Lie Algebra? ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 203-204, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | D. M. Klimov |
Symbolic Algebra in Problems of Non-Linear Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 199-200, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra |
Algorithm for Testing the Leibniz Algebra Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 177-186, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Fengguang Song, Asim YarKhan, Jack J. Dongarra |
Dynamic task scheduling for linear algebra algorithms on distributed-memory multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2009, November 14-20, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-744-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yousheng Tian, Yingxu Wang 0001 |
A Knowledge Representation Tool Based on Concept Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA, pp. 294-301, 2007, IEEE Computer Society, 1-4244-1327-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | John Harding, Carol L. Walker, Elbert A. Walker |
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Faxin Zhao, Zong Min Ma 0001, Li Yan 0001 |
A Vague Relational Model and Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 81-85, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Cezary Kaliszyk, Freek Wiedijk |
Certified Computer Algebra on Top of an Interactive Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 94-105, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Ninghui Li, Qihua Wang |
Beyond separation of duty: an algebra for specifying high-level security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, October 30 - November 3, 2006, pp. 356-369, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
access control, category, separation of duty, policy design |
26 | Algimantas Cepulkauskas, Regina Kulvietiene, Genadijus Kulvietis |
Computer Algebra for the Formation of Structural Matrices of Piezoceramic Finite Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II, pp. 407-413, 2006, Springer, 3-540-34381-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001 |
Comparison Maps for Relatively Free Resolutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 1-22, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Gentile, Salvatore Segreto, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile, Vincenzo Vullo |
CliffoSor: A Parallel Embedded Architecture for Geometric Algebra and Computer Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMP ![In: Seventh International Workshop on Computer Architectures for Machine Perception (CAMP 2005), 4-6 July 2005, Palermo, Italy, pp. 90-95, 2005, IEEE Computer Society, 0-7695-2255-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Dirk Leinders, Jan Van den Bussche |
On the complexity of division and set joins in the relational algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA, pp. 76-83, 2005, ACM, 1-59593-062-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jos C. M. Baeten, Mario Bravetti |
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 248-262, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 19248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|