Εμφανίζονται 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.

Εργαλεία αναζήτησης: