Symbolic

Results: 1438



#Item
91

Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

Add to Reading List

Source URL: www.cs.colorado.edu

- Date: 2017-05-01 12:25:34
    92

    Supplementary Material for Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis 1 Pankajan Chanthirasegaran 2 Pushmeet Kohli 3 Charles SuttonSynthetic Expression Datasets

    Add to Reading List

    Source URL: proceedings.mlr.press

    - Date: 2018-02-06 15:06:57
      93

      PARALLEL SYMBOLIC FACTORIZATION FOR SPARSE LU WITH STATIC PIVOTING L. GRIGORI1 1 J.W. DEMMEL2

      Add to Reading List

      Source URL: crd-legacy.lbl.gov

      - Date: 2007-08-17 21:51:18
        94

        Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar

        Add to Reading List

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

        - Date: 2017-10-24 05:39:23
          95

          1 First Steps This introductory chapter presents the way the Sage mathematical system thinks. The next chapters of this first part develop the basic notions: how to make symbolic or numerical computations in analysis, h

          Add to Reading List

          Source URL: members.loria.fr

          - Date: 2018-03-13 12:27:01
            96

            Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

            Add to Reading List

            Source URL: www.sci.brooklyn.cuny.edu

            - Date: 2003-04-29 19:30:12
              97

              Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

              Add to Reading List

              Source URL: rd.host.cs.st-andrews.ac.uk

              - Date: 2008-04-13 07:08:42
                98

                AEIcs.SCA field-theory motivated approach to symbolic computer algebra Kasper Peeters

                Add to Reading List

                Source URL: cadabra.science

                - Date: 2017-03-01 04:56:20
                  99

                  Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky

                  Add to Reading List

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

                  - Date: 2018-02-19 14:22:13
                    100

                    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-25 14:09:20
                      UPDATE