প্রদর্শন 11 - 20 ফলাফল এর 40 অনুসন্ধানের জন্য '"Journal of symbolic computation."', জিজ্ঞাসা করার সময়: 0.02সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 11

    A Survey of User Interfaces for Computer Algebra Systems. অনুযায়ী Kajler, N.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    A Survey of User Interfaces for Computer Algebra Systems.
  2. 12

    A Generic Approach to Building User Interfaces for Theorem Provers. অনুযায়ী Bertot, Y.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    A Generic Approach to Building User Interfaces for Theorem Provers.
  3. 13

    Newton An Interactive Environment for Exploring Mathematics. অনুযায়ী Hayden, M. B.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    Newton An Interactive Environment for Exploring Mathematics.
  4. 14

    Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions. অনুযায়ী Gray, S.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions.
  5. 15

    The Use of Proof Planning for Co-operative Theorem Proving. অনুযায়ী Lowe, H.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    The Use of Proof Planning for Co-operative Theorem Proving.
  6. 16

    Interactive Theorem Proving An Empirical Study of User Activity. অনুযায়ী Aitken, J. S.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    Interactive Theorem Proving An Empirical Study of User Activity.
  7. 17

    Counting Points on Curves over Finite Fields. অনুযায়ী Huang, Ming-Deh

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    Counting Points on Curves over Finite Fields.
  8. 18

    A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings. অনুযায়ী Madlener, Klaus

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings.
  9. 19

    Finding Intersections and Normalizers in Finitely Generated Nilpotent Groups. অনুযায়ী LO, E. H.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    Finding Intersections and Normalizers in Finitely Generated Nilpotent Groups.
  10. 20

    A Polycyclic Quotient Algorithm. অনুযায়ী Lo, E. H.

    প্রকাশিত Journal of symbolic computation.
    প্রবন্ধ

    A Polycyclic Quotient Algorithm.

অনুসন্ধান সাধনীগুলি: