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

SageCombinat
 Referenced in 93 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 55 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...

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

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

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