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

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

1 2 3 ... 7 8 9 next

  1. Carette, Jacques; Farmer, William M.: Formalizing mathematical knowledge as a biform theory graph: a case study (2017)
  2. Á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: \ssfSC$^2$: satisfiability checking meets symbolic computation. (Project paper) (2016)
  3. Lambe, Larry A.: An algebraic study of the Klein bottle (2016)
  4. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  5. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  6. Chen, Changbo; Covanov, Svyatoslav; Mansouri, Farnam; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen: Basic polynomial algebra subprograms (2014)
  7. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  8. Rojas-Bruna, Carlos: Trace forms and ideals on commutative algebras satisfying an identity of degree four (2013)
  9. Aharonovich, I.; Horwitz, L. P.: Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case (2012)
  10. Dos Reis, Gabriel: A system for axiomatic programming (2012)
  11. Ardizzoni, Alessandro; Stumbo, Fabio: Quadratic Lie algebras. (2011)
  12. Carette, Jacques; Kiselyov, Oleg: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (2011)
  13. Dos Reis, Gabriel; Matthews, David; Li, Yue: Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework (2011)
  14. Kredel, Heinz: Unique factorization domains in the Java computer algebra system (2011)
  15. Kredel, Heinz; Jolly, Raphael: Algebraic structures as typed objects (2011)
  16. Spitters, Bas; van der Weegen, Eelis: Type classes for mathematics in type theory (2011)
  17. Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
  18. Lecerf, Grégoire: Mathemagix: towards large scale programming for symbolic and certified numeric computations (2010)
  19. McGettrick, Michael: One dimensional quantum walks with memory (2010)
  20. Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio: Connecting the 3D DGS Calques3D with the CAS Maple (2010)

1 2 3 ... 7 8 9 next