Symbolic

Results: 1438



#Item
101Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

Add to Reading List

Source URL: cadabra.science

- Date: 2017-03-01 04:55:53
    102CGO: G: Decoupling Symbolic from Numeric in Sparse Matrix Computations Kazem Cheshmi PhD Student, Rutgers University

    CGO: G: Decoupling Symbolic from Numeric in Sparse Matrix Computations Kazem Cheshmi PhD Student, Rutgers University

    Add to Reading List

    Source URL: src.acm.org

    - Date: 2017-05-12 11:25:09
      103hep-thJanuaryMarchupdate for v2 syntax) Introducing Cadabra: a symbolic computer algebra system for field theory problems

      hep-thJanuaryMarchupdate for v2 syntax) Introducing Cadabra: a symbolic computer algebra system for field theory problems

      Add to Reading List

      Source URL: cadabra.science

      - Date: 2018-03-29 13:54:29
        104A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

        A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2017-06-23 18:20:17
          105Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

          Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

          Add to Reading List

          Source URL: srg.doc.ic.ac.uk

          - Date: 2017-10-17 05:46:31
            106Symbolic Types for Lenient Symbolic Execution

            Symbolic Types for Lenient Symbolic Execution

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2017-12-12 13:01:34
              107Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University

              Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University

              Add to Reading List

              Source URL: nsl.cs.columbia.edu

              - Date: 2014-12-07 19:02:19
                108Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis Sergey Mechtaev Jooyong Yi

                Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis Sergey Mechtaev Jooyong Yi

                Add to Reading List

                Source URL: www.comp.nus.edu.sg

                - Date: 2016-02-22 21:37:04
                  109Symbolic Computation of Differential Equivalences ∗ Ar tifact

                  Symbolic Computation of Differential Equivalences ∗ Ar tifact

                  Add to Reading List

                  Source URL: cse.lab.imtlucca.it

                  - Date: 2017-04-12 13:01:12
                    110Symbolic Interaction and Applied Social Research: A Focus on Translational Science

                    Symbolic Interaction and Applied Social Research: A Focus on Translational Science

                    Add to Reading List

                    Source URL: gato-docs.its.txstate.edu

                    - Date: 2017-08-05 07:24:21