• SageMath

  • Referenced in 1159 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 388 articles [sw04887]
  • Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC...
  • Sage-Combinat

  • Referenced in 63 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 41 articles [sw04358]
  • Companion to Applied Regression, Second Edition, Sage...
  • mwrank

  • Referenced in 25 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 24 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...
  • 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 11 articles [sw00534]
  • method. M4RI is used by the Sage mathematics software and the PolyBoRi library. M4RI...
  • Quiver

  • Referenced in 6 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...
  • 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...
  • FocalTest

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

  • Referenced in 5 articles [sw19372]
  • Sage worksheets and corresponding PDFs. Accompanying papers: Symmetries of canal surfaces and Dupin cyclides, Symbols...
  • eclib

  • Referenced in 3 articles [sw08615]
  • 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...
  • RECIP

  • Referenced in 3 articles [sw26430]
  • RECIP -- REpository of Complex multIPlication sage code. This started out as code meant for computing ... into a collection of much of the Sage code written by me for my research...
  • Sage++

  • Referenced in 2 articles [sw25046]
  • Sage++: An Object-Oriented Toolkit and Class Library for Building Fortran and C++ Restructuring Tools ... Sage++ is an object oriented toolkit for building program transformation and preprocessing tools. It contains ... type tables, and source-level programmer annotations. Sage++ provides an underlying infrastructure on which...
  • MathCheck

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

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

  • Referenced in 2 articles [sw14538]
  • package for mathematical chemistry calculations. Together with Sage or SciPy it can be used ... using search query, import graph structure from Sage and NetworkX graphs structures or parse...