References in zbMATH (referenced in 151 articles , 3 standard articles )

Showing results 1 to 20 of 151.
Sorted by year (citations)

1 2 3 ... 6 7 8 next

  1. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  2. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  3. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  4. Rojas-Bruna, Carlos: Trace forms and ideals on commutative algebras satisfying an identity of degree four (2013)
  5. Carette, Jacques; Kiselyov, Oleg: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (2011)
  6. Dos Reis, Gabriel; Matthews, David; Li, Yue: Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework (2011)
  7. Kredel, Heinz: Unique factorization domains in the Java computer algebra system (2011)
  8. Kredel, Heinz; Jolly, Raphael: Algebraic structures as typed objects (2011)
  9. Spitters, Bas; van der Weegen, Eelis: Type classes for mathematics in type theory (2011)
  10. Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
  11. Lecerf, Grégoire: Mathemagix: towards large scale programming for symbolic and certified numeric computations (2010)
  12. McGettrick, Michael: One dimensional quantum walks with memory (2010)
  13. Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio: Connecting the 3D DGS Calques3D with the CAS Maple (2010)
  14. Bradford, Russell; Davenport, James H.; Sangwin, Christopher J.: A comparison of equality in computer algebra and correctness in mathematical pedagogy (2009)
  15. Li, Xin; Moreno Maza, Marc; Schost, Éric: Fast arithmetic for triangular sets: from theory to practice (2009)
  16. Rioboo, Renaud: Invariants for the FoCaL language (2009)
  17. Akbar Hussain, D.M.; Haq, Shaiq A.; Khan, Zafar Ullah; Ahmed, Zaki: Simple object oriented designed computer algebra system (2008)
  18. Joyner, David: Open source computer algebra systems: Axiom (2008)
  19. Kredel, Heinz: On a Java computer algebra system, its performance and applications (2008)
  20. Kredel, Heinz: Evaluation of a Java computer algebra system (2008)

1 2 3 ... 6 7 8 next