#
Algebra -- Data processing
Resource Information
The concept ** Algebra -- Data processing** represents the subject, aboutness, idea or notion of resources found in **University of Manitoba Libraries**.

The Resource
Algebra -- Data processing
Resource Information

The concept

**Algebra -- Data processing**represents the subject, aboutness, idea or notion of resources found in**University of Manitoba Libraries**.- Label
- Algebra -- Data processing

## Context

Context of Algebra -- Data processing#### Subject of

- A Course in Computational Algebraic Number Theory
- A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
- A Singular Introduction to Commutative Algebra
- A new approach to scientific computation
- Advanced Encryption Standard - AES : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
- Advanced Relational Programming
- Algebra : an algorithmic treatment
- Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
- Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
- Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
- Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
- Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
- Algebraic Biology : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
- Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
- Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
- Algebraic Informatics : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
- Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
- Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
- Algebraic Informatics : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
- Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
- Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
- Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
- Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings
- Algebraic and Algorithmic Aspects of Differential and Integral Operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
- Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
- Algorithmic Decision Theory : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
- Algorithmic Number Theory : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings
- Algorithmic Number Theory : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings
- Algorithmic Number Theory : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings
- Algorithmic Number Theory : 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
- Algorithmic Number Theory : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings
- Algorithmic Number Theory : Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings
- Algorithmic Topology and Classification of 3-Manifolds
- Algorithmic information theory : mathematics of digital information processing
- Algorithms and Computation : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
- Algorithms for Computer Algebra
- Algorithms in Invariant Theory
- Algorithms in Real Algebraic Geometry
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 14th International Symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001. Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
- Applied algebra and algorithmic error-correcting codes : 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984 : proceedings
- Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August, 21-23, 2009, Proceedings
- Arithmetic of Finite Fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings
- Arithmetic of Finite Fields : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
- Arithmetic of Finite Fields : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers
- Arithmetic of Finite Fields : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
- Arithmetic of Finite Fields : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
- Arithmetic of Finite Fields : Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings
- Arithmetic of Finite Fields : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings
- Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
- Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings
- Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
- Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
- Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
- Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
- Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
- Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
- Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
- Automated Deduction — A Basis for Applications : Volume II: Systems and Implementation Techniques
- Automated Deduction — A Basis for Applications : Volume III Applications
- Bilinear Control Systems : Matrices in Action
- Cellular Automata : A Parallel Model
- Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
- Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
- Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
- Coding Theory and Applications : 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008, Proceedings
- Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
- Cognitive Engineering : A Distributed Approach to Machine Intelligence
- Combinatorial Algorithms : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers
- Combinatorial Algorithms : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
- Combinatorial Algorithms : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, Revised Selected Papers
- Combinatorial Algorithms : 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers
- Combinatorial Algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
- Combinatorial Optimization and Applications : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
- Combinatorial Optimization and Applications : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II
- Commutative Algebra: Constructive Methods : Finite Projective Modules
- Compact Representations for the Design of Quantum Logic
- Comparative Genomics : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings
- Computational Algebra and Number Theory
- Computational Commutative Algebra 2
- Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II
- Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
- Computational Methods in Systems Biology : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
- Computational Methods in Systems Biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings
- Computational Methods in Systems Biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
- Computational Neuroscience: Cortical Dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures
- Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings
- Computational and Algorithmic Problems in Finite Fields
- Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
- Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
- Computer Algebra and Polynomials : Applications of Algebra and Number Theory
- Computer Algebra in Quantum Field Theory : Integration, Summation and Special Functions
- Computer Algebra in Scientific Computing : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
- Computer Algebra in Scientific Computing : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings
- Computer Algebra in Scientific Computing : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings
- Computer Algebra in Scientific Computing : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
- Computer Algebra in Scientific Computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings
- Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings
- Computer Algebra in Scientific Computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
- Computer Algebra in Scientific Computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
- Computer Algebra in Scientific Computing : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
- Computer Algebra in Scientific Computing : 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings
- Computer Algebra with LISP and REDUCE : An Introduction to Computer-aided Pure Mathematics
- Computer Graphics and Geometric Modeling : Implementation and Algorithms
- Computer Graphics and Geometric Modeling : Mathematics
- Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers
- Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
- Computer algebra
- Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983
- Computer algebra : symbolic and algebraic computation
- Computer algebra : systems and algorithms for algebraic computation
- Computer algebra in applied mathematics : an introduction to MACSYMA
- Computing in Algebraic Geometry : A Quick Start using SINGULAR
- Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
- Continuous System Simulation
- Cryptographic Hardware and Embedded Systems - CHES 2009 : 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
- Cryptography and Coding : 12th IMA International Conference, IMACC 2009, Cirencester, UK, December 15-17, 2009, Proceedings
- Cryptography and Lattices : International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers
- Cut Elimination in Categories
- Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
- Design, Analysis and Test of Logic Circuits Under Uncertainty
- Developments in Language Theory : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
- Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
- Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
- Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
- Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
- EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings. --
- Elements of computer algebra with applications
- Elimination Methods in Polynomial Computer Algebra
- Elimination practice : software tools and applications
- Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
- Explorations in algebra for the TI-82 and TI-83
- Fast Software Encryption : 10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers
- Finite Difference Methods. Theory and Applications : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers
- Finite Fields and Applications : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers
- Finite Fields: Theory and Computation : The Meeting Point of Number Theory, Computer Science, Coding Theory and Cryptography
- Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
- Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
- Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings
- Formal Grammar : 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
- Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
- Frontiers of Combining Systems : First International Workshop, Munich, March 1996
- Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
- Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
- Fuzzy Computational Ontologies in Contexts : Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications
- Fuzzy Logic : An Introductory Course for Engineering Students
- Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
- Game Start! : Strumenti per comprendere i videogiochi
- Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
- Geospatial Algebraic Computations : Theory and Applications
- Getting Started with MuPAD
- Global Analysis in Linear Differential Equations
- Global Optimization : From Theory to Implementation
- Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
- Graph Drawing : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
- Graph Drawing : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
- Graph Drawing : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
- Graph Drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
- Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.
- Graph-Theoretic Concepts in Computer Science : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers
- Guide to Computational Geometry Processing : Foundations, Algorithms, and Methods
- Guide to Geometric Algebra in Practice
- High Performance Computational Science and Engineering : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France
- Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
- Inconsistent Mathematics
- Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks : Third IFIP WG 11.2 International Workshop, WISTP 2009 Brussels, Belgium, September 1-4, 2009 Proceedings Proceedings
- Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
- Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
- Intelligent Computer Mathematics : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
- Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
- Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
- Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
- Introduction to Maple
- Involution : The Formal Theory of Differential Equations and its Applications in Computer Algebra
- LATIN'98: Theoretical Informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings
- Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
- Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
- Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
- Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
- Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
- Languages Alive : Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
- Loewy Decomposition of Linear Differential Equations
- Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions
- Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
- Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
- Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
- Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
- Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
- Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
- Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
- Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
- Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
- Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
- Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
- Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
- Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
- Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
- Low Rank Approximation : Algorithms, Implementation, Applications
- Low-Rank Approximation : Algorithms, Implementation, Applications
- Maple V : Learning Guide
- Maple V Programming Guide
- Maple V library reference manual
- Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
- Mathematical Methods in Counterterrorism
- Mathematical Modeling of Technological Processes : 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings
- Mathematical Modelling Courses for Engineering Education
- Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
- Mathematica®: A Problem-Centered Approach
- Mathematica®: A Problem-Centered Approach
- Mathematics of Surfaces : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings
- Mathematics of Surfaces XI : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings
- Mathematics of Surfaces XII : 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings
- Max-Plus Linear Stochastic Systems and Perturbation Analysis
- Microcomputer algorithms : action from algebra
- Modelling Distributed Systems
- Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
- Modern computer algebra
- Modern computer algebra
- Modular Algorithms in Symbolic Summation and Symbolic Integration
- Monomial Ideals and Their Decompositions
- Network reliability : experiments with a symbolic algebra environment
- Numerical computing: : an introduction
- OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy
- Optimization—Theory and Practice
- Pairing-Based Cryptography - Pairing 2007 : First International Conference, Pairing 2007, Tokyo, Japan, July 2-4, 2007, Proceedings
- Pairing-Based Cryptography - Pairing 2009 : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
- Parallel Robots
- Parameterized and Exact Computation : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
- Parameterized and Exact Computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
- Polyhedral and Algebraic Methods in Computational Geometry
- Principles of Data Mining and Knowledge Discovery : 4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings
- Principles of Distributed Systems : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
- Principles of Distributed Systems : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011, Proceedings
- Principles of Distributed Systems : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings
- Probabilistic Group Theory, Combinatorics, and Computing : Lectures from the Fifth de Brún Workshop
- Probabilistic Methods for Algorithmic Discrete Mathematics
- Programming Languages : An Active Learning Approach
- Quantum Attacks on Public-Key Cryptosystems
- Rational Algebraic Curves : A Computer Algebra Approach
- Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
- Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
- Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
- Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
- Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
- Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
- Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
- Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
- Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
- Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
- Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
- Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
- Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings
- 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 - September2, 2006, Proceedings
- Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
- Research in Cryptology : 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
- Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
- Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
- Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings
- Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
- Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
- Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
- Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
- Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
- Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
- Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
- Rigorous Software Development : An Introduction to Program Verification
- Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings
- Selected Areas in Cryptography : 15th Annual International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, 2008
- Sequences and Their Applications - SETA 2004 : Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
- Sequences and Their Applications - SETA 2008 : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings
- Sequences and Their Applications – SETA 2006 : 4th International Conference, Beijing, China, September 24-28, 2006, Proceedings
- Sets, Logic and Maths for Computing
- Sets, Logic and Maths for Computing
- Solving Polynomial Equations : Foundations, Algorithms, and Applications
- Some Tapas of Computer Algebra
- String Analysis for Software Verification and Security
- String Processing and Information Retrieval : 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings
- Symbolic Integration I : Transcendental Functions
- Symbolic Integration I : Transcendental Functions
- Symbolic and Numerical Scientific Computation : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers
- Symbolic and algebraic computation : EUROSAM '79, an international symposium on symbolic and algebraic manipulation, Marseille, France, June 1979
- Symmetry and Pattern in Projective Geometry
- TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
- Tensor Eigenvalues and Their Applications
- Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
- Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
- Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
- The Gröbner Cover
- The Mathematica GuideBook for Symbolics
- The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
- The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
- The Matlab® 5 Handbook
- The Symbolic Computation of Integrability Structures for Partial Differential Equations
- Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
- Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers
- Theory and Applications of Relational Structures as Knowledge Instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
- Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
- Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
- Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
- Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
- Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
- Using Algebraic Geometry
- WALCOM: Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
- WALCOM: Algorithms and Computation : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings
- WALCOM: Algorithms and Computation : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings
- WALCOM: Algorithms and Computation : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013, Proceedings
- WALCOM: Algorithms and Computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings
- ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.lib.umanitoba.ca/resource/J3vWCjeflks/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/resource/J3vWCjeflks/">Algebra -- Data processing</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Algebra -- Data processing

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.lib.umanitoba.ca/resource/J3vWCjeflks/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/resource/J3vWCjeflks/">Algebra -- Data processing</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>`