
SageMath
 Referenced in 1778 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 515 articles
[sw04887]
 Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC...

SageCombinat
 Referenced in 103 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 69 articles
[sw04358]
 Companion to Applied Regression, Second Edition, Sage...

mwrank
 Referenced in 29 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 25 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...

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

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 18 articles
[sw00534]
 method. M4RI is used by the Sage mathematics software and the PolyBoRi library. M4RI...

ore_algebra
 Referenced in 12 articles
[sw32569]
 polynomials in Sage. We present a Sage implementation of Ore algebras. The main features...

Quiver
 Referenced in 10 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...

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...

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

Zeta
 Referenced in 9 articles
[sw13746]
 Pythonpackage for the computer algebra system Sage. This work is supported...

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

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...

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...

Mathchem
 Referenced in 4 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...