
SageMath
 Referenced in 1159 articles
[sw00825]
 Sage (SageMath) is free, opensource 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...

SageCombinat
 Referenced in 63 articles
[sw16448]
 SageCombinat: enhancing Sage as a toolbox for computer exploration in algebraic combinatorics. SageCombinat ... improve the open source mathematical system Sage as an extensible toolbox for computer exploration ... between researchers in this area. In practice, Sagecombinat 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...

MuPADCombinat
 Referenced in 24 articles
[sw04933]
 MuPAD. It has now been reincarnated into SageCombinat, 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...

Modp group cohomology
 Referenced in 7 articles
[sw08638]
 This is an optional package for the Sage computer algebra system. It computes modular cohomology...

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 ObjectOriented 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 sourcelevel programmer annotations. Sage++ provides an underlying infrastructure on which...

MathCheck
 Referenced in 4 articles
[sw13642]
 capabilities of an opensource CAS, called SAGE. As case studies, we look...

Zeta
 Referenced in 4 articles
[sw13746]
 Pythonpackage 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...