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

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

1 2 3 ... 7 8 9 next

  1. Roanes-Lozano, Eugenio; Galán-García, Jose Luis; Solano-Macías, Carmen: Some reflections about the success and impact of the computer algebra system \textitDERIVEwith a 10-year time perspective (2019)
  2. Carette, Jacques; Farmer, William M.: Formalizing mathematical knowledge as a biform theory graph: a case study (2017)
  3. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \textsfSC(^2): satisfiability checking meets symbolic computation. (Project paper) (2016)
  4. Lambe, Larry A.: An algebraic study of the Klein bottle (2016)
  5. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  6. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  7. Chen, Changbo; Covanov, Svyatoslav; Mansouri, Farnam; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen: Basic polynomial algebra subprograms (2014)
  8. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  9. Jolly, Raphaël: Categories as type classes in the Scala algebra system (2013)
  10. Rojas-Bruna, Carlos: Trace forms and ideals on commutative algebras satisfying an identity of degree four (2013)
  11. Aharonovich, I.; Horwitz, L. P.: Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case (2012)
  12. Dos Reis, Gabriel: A system for axiomatic programming (2012)
  13. Ardizzoni, Alessandro; Stumbo, Fabio: Quadratic Lie algebras. (2011)
  14. Carette, Jacques; Kiselyov, Oleg: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (2011)
  15. Dos Reis, Gabriel; Matthews, David; Li, Yue: Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework (2011)
  16. Kredel, Heinz: Unique factorization domains in the Java computer algebra system (2011)
  17. Kredel, Heinz; Jolly, Raphael: Algebraic structures as typed objects (2011)
  18. Spitters, Bas; van der Weegen, Eelis: Type classes for mathematics in type theory (2011)
  19. Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
  20. Lecerf, Grégoire: Mathemagix: towards large scale programming for symbolic and certified numeric computations (2010)

1 2 3 ... 7 8 9 next