#
Symbolic and Algebraic Manipulation
Resource Information
The concept ** Symbolic and Algebraic Manipulation** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Symbolic and Algebraic Manipulation
Resource Information

The concept

**Symbolic and Algebraic Manipulation**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Symbolic and Algebraic Manipulation

## Context

Context of Symbolic and Algebraic Manipulation#### Subject of

- A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
- Advanced Encryption Standard – AES : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
- Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
- Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
- Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. 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 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, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
- Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
- Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
- 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 : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
- Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
- Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings
- Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
- Algebraic Methods II: Theory, Tools and Applications
- Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers
- Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- 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 : First International Symposium, ANTS-I Ithaca, NY, USA, May 6–9, 1994 Proceedings
- Algorithmic Number Theory : Third International Symposiun, ANTS-III Portland, Oregon, USA, June 21–25, 1998 Proceedings
- Algorithms and computation : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
- Algorithms in Invariant Theory
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings
- 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, Algebraic Algorithms and Error-Correcting Codes : 5th International Conference, AAECC-5 Menorca, Spain, June 15–19, 1987 Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 6th International Conference, AAECC-6 Rome, Italy, July 4–8, 1988 Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 8th International Conference, AAECC-8 Tokyo, Japan, August 20–24, 1990 Proceedings
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 9th International Symposium, AAECC-9 New Orleans, LA, USA, October 7–11, 1991 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 : 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 : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. 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 : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
- Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, 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 and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
- Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings
- Attribute Grammars and their Applications : International Conference WAGA Paris, France, September 19–21, 1990 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 selected papers
- Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
- Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
- Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
- Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
- Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
- Combinatorial Algorithms : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers
- Combinatorial algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, revised selected papers
- Combinatorial algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers
- Commutative Algebra: Constructive Methods : Finite Projective Modules
- Compact Representations for the Design of Quantum Logic
- Comparative Genomics : International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings
- 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
- Computer Algebra and Parallelism : Second International Workshop Ithaca, USA, May 9–11, 1990 Proceedings
- 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 : 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 Graphics and Geometric Modeling : Mathematics
- Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
- Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
- Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
- Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
- Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
- Cryptographic Hardware and Embedded Systems - CHES 2009 : 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
- Cryptography and Lattices : International Conference, CaLC 2001 Providence, RI, USA, March 29–30, 2001 Revised Papers
- Cryptology and Network Security : 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
- Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
- Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
- 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 : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. 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
- Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
- Electronic Dictionaries and Automata in Computational Linguistics : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings
- Eurocal '87 : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
- Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers
- Finite Fields and Applications : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003. Revised Papers
- Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
- Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
- Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
- Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
- Formal grammar : 17th and 18th International Conferences, FG 2012/2013, Opole, Poland, August 2012, Revised Selected Papers, Düsseldorf, Germany, August 2013. Proceedings
- Formal grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
- Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
- Fundamental Algorithms for Permutation Groups
- Fundamentals of Algebraic Graph Transformation
- Fuzzy Algebraic Hyperstructures : An Introduction
- Fuzzy Logic : An Introductory Course for Engineering Students
- Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
- Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers
- Geospatial Algebraic Computations : Theory and Applications
- Graph Drawing : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised 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, 1994 Selected Papers
- Graph drawing : 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers
- Graph-Theoretic Concepts in Computer Science : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
- 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
- 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
- Instantiation Theory : On the Foundations of Automated Deduction
- Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
- Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 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 : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
- LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings
- 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
- Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. 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, 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 : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
- Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
- Mathematical Modeling of Technological Processes : 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings
- Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
- 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
- Modelling Distributed Systems
- Modular Algorithms in Symbolic Summation and Symbolic Integration
- OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy
- Pairing-Based Cryptography – Pairing 2007 : First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings
- Pairing-Based Cryptography – Pairing 2008 : Second International Conference, Egham, UK, September 1-3, 2008. Proceedings
- 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
- Probabilistic Group Theory, Combinatorics, and Computing : Lectures from the Fifth de Brún Workshop
- Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
- Programming languages : an active learning approach
- Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
- Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
- 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, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
- 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 : 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
- Reliable implementation of real number algorithms : theory and practice : International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006, revised 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 : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
- Rewriting Techniques and Applications : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
- Rewriting Techniques and Applications : 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
- Rewriting Techniques and Applications : 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
- Rewriting Techniques and Applications : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
- Rewriting Techniques and Applications : 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
- Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
- SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
- STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
- Selected Areas in Cryptography : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers
- Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
- 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
- Sets, Logic and Maths for Computing
- 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 and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
- Symbolic and Numerical Scientific Computation : Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers
- Symmetry and Pattern in Projective Geometry
- 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 Symbolic Computation of Integrability Structures for Partial Differential Equations
- The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings
- Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
- 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 : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
- Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des 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
- WALCOM: Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
- WALCOM: Algorithms and Computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings
- ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 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.bu.edu/resource/zWOdegzYsi8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/zWOdegzYsi8/">Symbolic and Algebraic Manipulation</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University 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 Symbolic and Algebraic Manipulation

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.bu.edu/resource/zWOdegzYsi8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/zWOdegzYsi8/">Symbolic and Algebraic Manipulation</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`