962:
974:
216:
The Magma system is used extensively within pure mathematics. The
Computational Algebra Group maintain a list of publications that cite Magma, and as of 2010 there are about 2600 citations, mostly in pure mathematics, but also including papers from areas as diverse as economics and geophysics.
24:
247:
scientific research or educational institutions. All students, researchers and faculty associated with a participating institution will be able to access Magma for free, through that institution.
195:
232:
Magma was officially released in August 1993 (version 1.0). Version 2.0 of Magma was released in June 1996 and subsequent versions of 2.X have been released approximately once per year.
1010:
1005:
1000:
1030:
718:
492:
Magma has a type for invariant rings of finite groups, for which one can primary, secondary and fundamental invariants, and compute with the module structure.
37:
1025:
711:
540:
323:
315:
768:
574:
966:
704:
350:
computer algebra system for comprehensive computations in algebraic number fields. A special type also allows one to compute in the
210:
1015:
978:
917:
803:
758:
743:
1020:
773:
685:
244:
896:
52:
748:
528:
331:
433:
912:
272:
620:"Simons Foundation Scheme for the Provision of Magma at US Educational and Scientific Research Organizations"
727:
453:
339:
145:
103:
240:
465:
319:
292:
838:
735:
638:
391:
268:
199:
41:
871:
813:
513:
507:
441:
295:
165:
98:
846:
502:
375:
157:
191:
472:
Magma has extensive tools for computing in representation theory, including the computation of
788:
675:
351:
264:
236:
179:
477:
861:
560:
485:
473:
457:
445:
284:
175:
149:
110:
86:
432:, which is an LLL algorithm for integer matrices which uses floating point numbers for the
426:
206:
891:
851:
680:
414:
403:
383:
347:
327:
168:
239:, whereby the Simons Foundation will underwrite all costs of providing Magma to all U.S.
399:
371:
363:
311:
276:
91:
619:
994:
523:
418:
406:
359:
303:
280:
226:
161:
153:
886:
518:
256:
690:
605:
669:
681:
Magma V2.12 is apparently "Overall Best in the World at
Polynomial GCD" :-)
288:
676:
Magma's High
Performance for computing Hermite Normal Forms of integer matrices
937:
497:
314:
algorithms for all fundamental integer and polynomial operations, such as the
31:
591:
783:
172:
696:
927:
808:
793:
235:
In 2013, the
Computational Algebra Group finalized an agreement with the
225:
The predecessor of the Magma system was named Cayley (1982–1993), after
932:
866:
798:
664:
395:
213:
as volume 19 of the
Algorithms and Computations in Mathematics series.
23:
947:
942:
922:
880:
763:
876:
828:
818:
778:
753:
436:, but such that the result is rigorously proven to be LLL-reduced.
657:
124:
823:
374:
algorithms for all fundamental dense matrix operations, such as
700:
398:
algorithms for reducing sparse systems which arise in
318:
for fast multiplication of integers and polynomials.
670:
905:
837:
734:
119:
109:
97:
85:
77:
51:
30:
409:for several other sparse linear algebra problems.
298:. Several databases of groups are also included.
712:
452:Magma has an efficient implementation of the
8:
1011:Computer algebra system software for Windows
16:
196:Sydney School of Mathematics and Statistics
1006:Computer algebra system software for macOS
1001:Computer algebra system software for Linux
973:
719:
705:
697:
561:"Summary of New Features in Magma V2.27-8"
115:Cost recovery (non-commercial proprietary)
22:
15:
1031:Proprietary commercial software for Linux
190:Magma is produced and distributed by the
251:Mathematical areas covered by the system
552:
425:Magma has a provable implementation of
541:Comparison of computer algebra systems
693:von Publikationen, die Magma zitieren
7:
592:"Discovering Mathematics with Magma"
58:2.27-8 / 22 February 2023
38:School of Mathematics and Statistics
207:Discovering Mathematics with Magma
14:
606:"Published Research Citing Magma"
972:
961:
960:
1026:Numerical programming languages
390:Magma contains the structured
148:designed to solve problems in
1:
81:C (kernel), Magma (libraries)
36:Computational Algebra Group,
665:Magma Free Online Calculator
316:Schönhage–Strassen algorithm
897:Engineering Equation Solver
192:Computational Algebra Group
1047:
639:"Magma 2.13 release notes"
402:methods, while Magma uses
956:
637:John Cannon (July 2006).
476:of finite groups and the
434:Gram–Schmidt coefficients
73:
47:
21:
728:Computer algebra systems
164:. It is named after the
1016:Cross-platform software
376:Strassen multiplication
340:Algebraic number theory
322:algorithms include the
205:In late 2006, the book
146:computer algebra system
104:Computer algebra system
60:; 18 months ago
883:symbolic math toolbox)
624:Magma Computer Algebra
283:(finite or infinite),
466:Representation theory
324:Elliptic Curve Method
320:Integer factorization
293:straight-line program
1021:Functional languages
514:incidence structures
454:Faugère F4 algorithm
392:Gaussian elimination
200:University of Sydney
42:University of Sydney
508:Arithmetic geometry
442:Commutative algebra
372:asymptotically fast
346:Magma includes the
312:asymptotically fast
166:algebraic structure
18:
686:Magma example code
503:Algebraic geometry
332:Number field sieve
273:finitely presented
988:
987:
352:algebraic closure
237:Simons Foundation
209:was published by
176:operating systems
139:
138:
1038:
976:
975:
964:
963:
847:ClassPad Manager
721:
714:
707:
698:
661:
660:
658:Official website
643:
642:
634:
628:
627:
616:
610:
609:
602:
596:
595:
588:
582:
581:
579:
575:"What is Magma?"
571:
565:
564:
557:
486:Invariant theory
474:character tables
245:non-governmental
135:
132:
130:
128:
126:
87:Operating system
68:
66:
61:
26:
19:
1046:
1045:
1041:
1040:
1039:
1037:
1036:
1035:
991:
990:
989:
984:
952:
901:
892:TI InterActive!
833:
730:
725:
656:
655:
652:
647:
646:
636:
635:
631:
618:
617:
613:
604:
603:
599:
590:
589:
585:
577:
573:
572:
568:
559:
558:
554:
549:
537:
384:Sparse matrices
370:Magma contains
328:Quadratic sieve
310:Magma contains
263:Magma includes
253:
223:
188:
123:
69:
64:
62:
59:
12:
11:
5:
1044:
1042:
1034:
1033:
1028:
1023:
1018:
1013:
1008:
1003:
993:
992:
986:
985:
983:
982:
970:
957:
954:
953:
951:
950:
945:
940:
935:
930:
925:
920:
915:
909:
907:
903:
902:
900:
899:
894:
889:
884:
874:
869:
864:
859:
854:
849:
843:
841:
835:
834:
832:
831:
826:
821:
816:
811:
806:
801:
796:
791:
786:
781:
776:
771:
766:
761:
756:
751:
746:
740:
738:
732:
731:
726:
724:
723:
716:
709:
701:
695:
694:
688:
683:
678:
673:
667:
662:
651:
650:External links
648:
645:
644:
629:
611:
597:
583:
566:
551:
550:
548:
545:
544:
543:
536:
533:
532:
531:
526:
521:
516:
510:
505:
500:
494:
493:
489:
488:
482:
481:
469:
468:
462:
461:
456:for computing
449:
448:
438:
437:
422:
421:
411:
410:
400:index calculus
387:
386:
380:
379:
367:
366:
364:linear algebra
356:
355:
343:
342:
336:
335:
307:
306:
300:
299:
260:
259:
252:
249:
222:
219:
187:
184:
137:
136:
121:
117:
116:
113:
107:
106:
101:
95:
94:
92:Cross-platform
89:
83:
82:
79:
75:
74:
71:
70:
57:
55:
53:Stable release
49:
48:
45:
44:
34:
28:
27:
13:
10:
9:
6:
4:
3:
2:
1043:
1032:
1029:
1027:
1024:
1022:
1019:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
999:
998:
996:
981:
980:
971:
969:
968:
959:
958:
955:
949:
946:
944:
941:
939:
936:
934:
931:
929:
926:
924:
921:
919:
916:
914:
911:
910:
908:
904:
898:
895:
893:
890:
888:
885:
882:
878:
875:
873:
870:
868:
865:
863:
860:
858:
855:
853:
850:
848:
845:
844:
842:
840:
836:
830:
827:
825:
822:
820:
817:
815:
812:
810:
807:
805:
802:
800:
797:
795:
792:
790:
787:
785:
782:
780:
777:
775:
772:
770:
767:
765:
762:
760:
757:
755:
752:
750:
747:
745:
742:
741:
739:
737:
733:
729:
722:
717:
715:
710:
708:
703:
702:
699:
692:
689:
687:
684:
682:
679:
677:
674:
671:
668:
666:
663:
659:
654:
653:
649:
640:
633:
630:
625:
621:
615:
612:
607:
601:
598:
593:
587:
584:
576:
570:
567:
562:
556:
553:
546:
542:
539:
538:
534:
530:
527:
525:
524:Coding theory
522:
520:
517:
515:
511:
509:
506:
504:
501:
499:
496:
495:
491:
490:
487:
484:
483:
479:
475:
471:
470:
467:
464:
463:
459:
458:Gröbner bases
455:
451:
450:
447:
446:Gröbner bases
443:
440:
439:
435:
431:
429:
424:
423:
420:
419:LLL algorithm
416:
413:
412:
408:
405:
401:
397:
393:
389:
388:
385:
382:
381:
377:
373:
369:
368:
365:
361:
360:Module theory
358:
357:
353:
349:
345:
344:
341:
338:
337:
333:
329:
325:
321:
317:
313:
309:
308:
305:
304:Number theory
302:
301:
297:
294:
290:
286:
282:
278:
274:
270:
266:
262:
261:
258:
255:
254:
250:
248:
246:
242:
238:
233:
230:
228:
227:Arthur Cayley
220:
218:
214:
212:
208:
203:
201:
197:
193:
185:
183:
181:
178:, as well as
177:
174:
171:. It runs on
170:
167:
163:
162:combinatorics
159:
155:
154:number theory
151:
147:
143:
134:
122:
118:
114:
112:
108:
105:
102:
100:
96:
93:
90:
88:
84:
80:
76:
72:
56:
54:
50:
46:
43:
39:
35:
33:
29:
25:
20:
977:
965:
906:Discontinued
887:SMath Studio
856:
632:
623:
614:
600:
586:
569:
555:
529:Optimization
519:Cryptography
427:
257:Group theory
234:
231:
224:
215:
204:
189:
186:Introduction
141:
140:
32:Developer(s)
872:Mathematica
839:Proprietary
736:Open-source
354:of a field.
265:permutation
194:within the
995:Categories
938:Mathomatic
547:References
498:Lie theory
480:algorithm.
285:polycyclic
78:Written in
65:2023-02-22
824:Xcas/Giac
784:Macaulay2
404:Markowitz
241:nonprofit
173:Unix-like
967:Category
928:LiveMath
814:Singular
809:SageMath
794:Normaliz
535:See also
417:and the
415:Lattices
407:pivoting
330:and the
211:Springer
158:geometry
933:Macsyma
867:Mathcad
799:PARI/GP
749:Cadabra
512:Finite
478:Meataxe
396:Lanczos
281:abelian
277:soluble
221:History
198:at the
180:Windows
150:algebra
120:Website
111:License
63: (
948:ALTRAN
943:muMATH
923:Erable
918:Derive
881:MATLAB
804:Reduce
789:Maxima
764:FriCAS
759:Fermat
672:(2004)
326:, the
296:groups
269:matrix
127:.maths
913:CAMAL
877:muPAD
862:Maple
857:Magma
829:Yacas
819:SymPy
779:GiNaC
754:CoCoA
744:Axiom
691:Liste
578:(PDF)
289:braid
169:magma
144:is a
142:Magma
129:.usyd
125:magma
17:Magma
979:List
852:KANT
769:FORM
444:and
394:and
362:and
348:KANT
291:and
160:and
131:.edu
99:Type
774:GAP
430:LLL
133:.au
997::
622:.
428:fp
287:,
279:,
275:,
271:,
267:,
243:,
229:.
202:.
182:.
156:,
152:,
40:,
879:(
720:e
713:t
706:v
641:.
626:.
608:.
594:.
580:.
563:.
460:.
378:.
334:.
67:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.