Linear

Results: 27143



#Item
451

13 Numerical Linear Algebra We consider here the numerical side of linear algebra, the symbolic side being described in Chapter 8. The linear algebra numerical analysis and methods are discussed in [TBI97, Sch02]. The b

Add to Reading List

Source URL: members.loria.fr

- Date: 2018-03-14 10:41:39
    452

    Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

    Add to Reading List

    Source URL: anupamdas.com

    - Date: 2017-08-04 11:45:45
      453

      TRA Comparison of the Performance of SaP::GPU and Intel’s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems Ang Li, Omkar Deshmukh, Radu Serban, Dan Negrut

      Add to Reading List

      Source URL: sbel.wisc.edu

      - Date: 2015-05-24 17:07:50
        454

        Felt Routines can we self-track cyclical time? Types of Time - Linear & Cyclical Time = patterns of repetition

        Add to Reading List

        Source URL: qs17.quantifiedself.com

        - Date: 2017-08-05 13:41:42
          455

          New York Journal of Mathematics New York J. Math–292. Simplicial complexity: piecewise linear motion planning in robotics Jes´

          Add to Reading List

          Source URL: nyjm.albany.edu

          - Date: 2018-03-08 00:05:22
            456

            Mathematics is the art of reducing any problem to linear algebra. William Stein 8

            Add to Reading List

            Source URL: members.loria.fr

            - Date: 2018-03-14 09:40:25
              457

              Linear algebra considerations for the multi-threaded simulation of mechanical systems Dan Negrut ()∗ Abstract. A solution method suitable for the multi-threaded simulation of mechanical system

              Add to Reading List

              Source URL: homepages.cae.wisc.edu

              - Date: 2002-11-05 09:29:08
                458

                Structured MSc in Mathematical Sciences - August 2017 intakeNovember Algebraic Methods Karin-Therese Howell (Stellenbosch University) The course will have an Algebra and a Linear Algebra component. Under Algebra w

                Add to Reading List

                Source URL: www.aims.ac.za

                - Date: 2018-03-09 01:50:50
                  459

                  Coherence of quasi-terminating decreasing linear polygraphs Clément Alleaume IMJ, Université Paris Diderot

                  Add to Reading List

                  Source URL: cl-informatik.uibk.ac.at

                  - Date: 2017-09-12 04:41:19
                    460

                    Linear Differential Constraints for Photo-polarimetric Height Estimation Silvia Tozza Sapienza - Universit`a di Roma William A. P. Smith University of York

                    Add to Reading List

                    Source URL: cseweb.ucsd.edu

                    - Date: 2017-08-23 18:39:01
                      UPDATE