Symbolic

Results: 1438



#Item
31Algebraic Groups 14Lxx [1] Thomas Bayer, An algorithm for computing invariants of linear actions of algebraic groups up to a given degree, J. Symbolic Comput), no. 4, 441–449. MR MR1976577 (2004c:13045)

Algebraic Groups 14Lxx [1] Thomas Bayer, An algorithm for computing invariants of linear actions of algebraic groups up to a given degree, J. Symbolic Comput), no. 4, 441–449. MR MR1976577 (2004c:13045)

Add to Reading List

Source URL: magma.maths.usyd.edu.au

Language: English
    32PREFERRED NEWSLETTER - SPRING 2018 Spring Trivia Answer Key 1. Spring is mostly symbolic of what? a: Rejuvenation b: Rebirth

    PREFERRED NEWSLETTER - SPRING 2018 Spring Trivia Answer Key 1. Spring is mostly symbolic of what? a: Rejuvenation b: Rebirth

    Add to Reading List

    Source URL: pgit.org

    Language: English - Date: 2018-03-22 10:59:41
      33Reducing to Symbolic Integer Reasoning Deciding Symbolic Product Inequalities Experiments

      Reducing to Symbolic Integer Reasoning Deciding Symbolic Product Inequalities Experiments

      Add to Reading List

      Source URL: www.gilith.com

      Language: English - Date: 2017-11-12 23:29:45
        34Ev3: A Library for Symbolic Computation in C++ using n-ary Trees Leo Liberti ´ LIX, Ecole Polytechnique, 91128 Palaiseau, France

        Ev3: A Library for Symbolic Computation in C++ using n-ary Trees Leo Liberti ´ LIX, Ecole Polytechnique, 91128 Palaiseau, France

        Add to Reading List

        Source URL: www.enseignement.polytechnique.fr

        Language: English - Date: 2006-08-05 07:05:43
          35Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

          Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

          Add to Reading List

          Source URL: blog.inf.ed.ac.uk

          Language: English - Date: 2017-02-23 05:31:21
            36Symbolic Systems Biology and Pathway Logic Patrick Lincoln and Carolyn Talcott SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [lincoln,clt]@csl.sri.com

            Symbolic Systems Biology and Pathway Logic Patrick Lincoln and Carolyn Talcott SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [lincoln,clt]@csl.sri.com

            Add to Reading List

            Source URL: pl.csl.sri.com

            Language: English - Date: 2018-08-10 18:50:28
              37A Comprehensive Symbolic Analysis of TLS 1.3 Cas Cremers Marko Horvat University of Oxford, UK

              A Comprehensive Symbolic Analysis of TLS 1.3 Cas Cremers Marko Horvat University of Oxford, UK

              Add to Reading List

              Source URL: tls13tamarin.github.io

              Language: English - Date: 2017-10-20 11:40:47
                38IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1 Symbolic Supervisory Control of Distributed Systems with Communications

                IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1 Symbolic Supervisory Control of Distributed Systems with Communications

                Add to Reading List

                Source URL: www.irisa.fr

                Language: English - Date: 2013-09-13 05:32:38
                  39ASSOCIATION FOR SYMBOLIC LOGIC 2018 WINTER MEETING Savannah Convention Center Savannah, Georgia January 3–5, 2018 Program committee: Richard G. Heck Jr. (Chair), Tamar Lando.

                  ASSOCIATION FOR SYMBOLIC LOGIC 2018 WINTER MEETING Savannah Convention Center Savannah, Georgia January 3–5, 2018 Program committee: Richard G. Heck Jr. (Chair), Tamar Lando.

                  Add to Reading List

                  Source URL: www.aslonline.org

                  Language: English - Date: 2017-12-06 11:35:50
                    403 MayPhysics Letters A 255 Ž–81 Communicating with chaos using two-dimensional symbolic dynamics

                    3 MayPhysics Letters A 255 Ž–81 Communicating with chaos using two-dimensional symbolic dynamics

                    Add to Reading List

                    Source URL: chaos1.la.asu.edu

                    Language: English - Date: 2002-06-20 12:44:45