• SageMath

  • Referenced in 1505 articles [sw00825]
  • Sage (SageMath) is free, open-source math software that supports research and teaching in algebra ... numerical computation, and related areas. Both the Sage development model and the technology in Sage ... reinventing the wheel. The overall goal of Sage is to create a viable, free, open...
  • z3

  • Referenced in 472 articles [sw04887]
  • Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC...
  • Sage-Combinat

  • Referenced in 93 articles [sw16448]
  • Sage-Combinat: enhancing Sage as a toolbox for computer exploration in algebraic combinatorics. Sage-Combinat ... improve the open source mathematical system Sage as an extensible toolbox for computer exploration ... between researchers in this area. In practice, Sage-combinat is a collection of branches ... Sage, developed by a community of researchers. The intent is that most of those branches...
  • car

  • Referenced in 59 articles [sw04358]
  • Companion to Applied Regression, Second Edition, Sage...
  • mwrank

  • Referenced in 28 articles [sw08614]
  • eclib. eclib is also included in Sage, and for most potential users the easiest ... mwrank is to install Sage (which also of course gives you much much more...
  • MuPAD-Combinat

  • Referenced in 25 articles [sw04933]
  • MuPAD. It has now been reincarnated into Sage-Combinat, with the same mission statement ... viable fully open source mathematical software Sage. We were particularly glad to have taken this...
  • py-junctions

  • Referenced in 30 articles [sw29153]
  • python package which, together with Sage, performs Lie algebra computations using string junctions. py-junctions...
  • KASUMI

  • Referenced in 20 articles [sw02926]
  • Security Algorithms Group of Experts (SAGE), a part of the European standards body ETSI ... standardization, instead of developing a new cipher, SAGE agreed with 3GPP technical specification group...
  • M4RI

  • Referenced in 17 articles [sw00534]
  • method. M4RI is used by the Sage mathematics software and the PolyBoRi library. M4RI...
  • ore_algebra

  • Referenced in 11 articles [sw32569]
  • polynomials in Sage. We present a Sage implementation of Ore algebras. The main features...
  • RelBrauer

  • Referenced in 10 articles [sw31691]
  • Sage package RelBrauer: calculate the relative Brauer group of a genus 1 curve over ... 2/pari to the more sane world of Sage...
  • Quiver

  • Referenced in 7 articles [sw13232]
  • cluster algebra and quiver package in Sage. This is the compendium of the cluster algebra ... quiver package for Sage. The purpose of this package is to provide a platform ... that the user can run in the Sage notebook or command line, and then close...
  • Zeta

  • Referenced in 7 articles [sw13746]
  • Python-package for the computer algebra system Sage. This work is supported...
  • Sage

  • Referenced in 3 articles [sw30073]
  • Sage: Hybrid checking for flexible specifications. Software systems typically contain large APIs that are informally ... hence easily misused. This paper presents the Sage programming language, which is designed to enforce ... interface specifications in a flexible manner. The Sage type system uses a synthesis ... this expressive language is not statically decidable, Sage uses hybrid type checking, which extends static...
  • FocalTest

  • Referenced in 6 articles [sw06448]
  • automatically generate test data (e.g., Pex, Sage, Gatel, PathCrawler, Euclide). However, for some test data...
  • MathCheck

  • Referenced in 6 articles [sw13642]
  • capabilities of an open-source CAS, called SAGE. As case studies, we look...
  • amgf

  • Referenced in 4 articles [sw11248]
  • multivariate generating functions. amgf is a new Sage software package for computing asymptotics of multivariate ... under peer review for incorporation into Sage...
  • SAGE Interacts

  • Referenced in 2 articles [sw19392]
  • introduction to SAGE programming. With applications to SAGE interacts for numerical methods. Features a simplified ... numerical methods by introducing and implementing SAGE programs. An Introduction to SAGE Programming: With Applications ... SAGE Interacts for Numerical Methods emphasizes how to implement numerical methods using SAGE Math ... SAGE Interacts and also addresses the fundamentals of computer programming, including if statements, loops, functions...