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