Symbolic

Results: 1438



#Item
101

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
    102

    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
      103

      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
        104

        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
          105

          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
            106

            Symbolic Types for Lenient Symbolic Execution

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2017-12-12 13:01:34
              107

              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
                108

                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
                  109

                  Symbolic Computation of Differential Equivalences ∗ Ar tifact

                  Add to Reading List

                  Source URL: cse.lab.imtlucca.it

                  - Date: 2017-04-12 13:01:12
                    110

                    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
                      UPDATE