24:
305:. In March 2005 the GAP Council and the GAP developers have agreed that status and responsibilities of "GAP Headquarters" should be passed to an equal collaboration of a number of "GAP Centres", where there is permanent staff involvement and an element of collective or organizational commitment, while fully recognizing the vital contributions of many individuals outside those centers.
619:
The GNU Scientific
Library (or GSL) is a software library for numerical computations in applied mathematics and science. The GSL is written in C and wrappers are available for other programming languages. The GSL is part of the GNU Project and is distributed under the GNU General Public License.
656:
Modelica is an object-oriented, declarative, multi-domain modeling language for component-oriented modeling of complex systems including algebraic and differential equations. OpenModelica and
Jmodelica are some of the opensource implementations of the language.
966:. It was originally known as "HECKE and Manin". After a short while it was renamed SAGE, which stands for ‘’Software of Algebra and Geometry Experimentation’’. Sage 0.1 was released in 2005 and almost a year later Sage 1.0 was released. It already consisted of
127:
to be used for high-order mathematical calculations. This software has played an important role in the field of mathematics. Open-source software in mathematics has become pivotal in education because of the high cost of textbooks.
367:
PARI/GP is a computer algebra system that facilitates number-theory computation. Besides support of factoring, algebraic number theory, and analysis of elliptic curves, it works with mathematical objects like matrices, polynomials,
296:
in 1986. This was the case until in 1997 when they decided to co-develop GAP further with CIRCA (Centre for
Research in Computational Algebra). Unlike MAXIMA and Axiom, GAP is a system for computational
41:
634:. Originally conceived in 1988 by John W. Eaton as a companion software for an undergraduate textbook, Eaton later opted to modify it into a more flexible tool. Development begun in 1992 and the
595:
does not have a closed form as its solution, there would not be any analytical tools present to evaluate the desired solutions, hence an approximation method is employed instead.
380:
software. The gp interactive shell allows GP-language scripting; the gp2c compiler compiles GP scripts into C; and the PARI C library allows C programs to use PARI/GP functions.
194:. Richard Jenks originally headed it but over the years Barry Trager who then shaped the direction of the scratchpad project took over the project. It was eventually sold to the
540:
951:. It can be downloaded or used through a web site. SageMath comprises a variety of other free packages, with a common interface and language. SageMath is developed in Python.
726:
is the study of how to collate and interpret numerical information from data. It is the science of learning from data and communicating uncertainty. There are two branches in
156:
rather than numerically. The precise uses and capabilities of these systems differ greatly from one system to another, yet their purpose remains the same: manipulation of
1099:
560:
88:
60:
1109:
718:
67:
74:
338:
1104:
56:
1114:
1251:
675:(French national Institute for computer science and control). François Delebecque and Serge Steer developed it and it was released by
107:
357:
was released later that year. Since his death in 2001, a group of Maxima enthusiasts have continued to provide technical support.
444:
176:
45:
1058:
971:
702:
391:
271:
225:
81:
1129:
1063:
835:
1124:
1256:
302:
249:
210:
195:
34:
1119:
1000:
714:
405:
1231:
1048:
868:
863:
855:
839:
823:
803:
797:
638:
was released in 1993. Subsequently, version 1.0 was released a year after that in 1994. Octave is a high level
279:
245:
137:
144:. The principal objective of a computer algebra system is to systematize monotonous and sometimes problematic
1206:
373:
217:
183:
744:
740:
735:
731:
613:
592:
585:
350:
293:
252:. However, Cadabra has been expanded for a wider range of uses, it is no longer restricted to physicists.
489:- combines geometric objects like circles and graphs of functions with its algebraic representation e.g.
1134:
983:
815:
643:
153:
141:
492:
1033:
1018:
918:
807:
639:
417:
346:
263:
229:
165:
121:
202:
in 2001 with more than 300 man-years worth of research involved. Axiom is licensed under a
Modified
198:(NAG) and was renamed Axiom. After a failure to launch as a product, NAG decided to release it as a
975:
894:
886:
748:
582:
145:
691:
compatible. In 2010, Scilab
Enterprise was founded to provide even more support to the software.
959:
943:
SageMath is designed partially as a free alternative to the general-purpose mathematics products
578:
570:
157:
781:, widely used for statistical analysis of sampled data. PSPP is maintained by the GNU project.
148:
manipulation tasks. The primary difference between a computer algebra system and a traditional
1073:
979:
705:
programming language library to take advantage of Python's ability to handle large data sets.
428:
323:
241:
1181:
1023:
955:
944:
440:
342:
316:
298:
1087:
782:
766:
464:
221:
376:. Originally developed by Henri Cohen et al at Université Bordeaux I, France, it now is
545:
422:
286:
1155:
1245:
963:
930:
635:
330:
199:
1038:
847:
786:
762:
471:
calculator, which utilizes the Giac/Xcas 1.1.2 engine under a dual-license scheme.
369:
743:
involves methods of organizing, picturing and summarizing information from data.
987:
926:
872:
819:
354:
267:
203:
161:
23:
1028:
843:
727:
723:
624:
574:
460:
345:
from 1982 to 2001. In 1998, Schelter obtained permission to release Maxima as
237:
169:
149:
879:
827:
790:
589:
1013:
1008:
937:
910:
890:
811:
650:
486:
480:
468:
409:
124:
1053:
967:
599:
361:
334:
309:
933:
and hence have more features than the rest of the software mentioned.
948:
922:
831:
684:
680:
668:
661:
631:
606:
432:
851:
413:
1210:
1068:
1043:
695:
676:
672:
456:
452:
448:
436:
384:
275:
256:
1182:"Open Source Resources for Teaching and Research in Mathematics"
914:
898:
859:
778:
774:
770:
756:
398:
688:
377:
187:
17:
244:. Kespers Peeters then decided to write a similar program in
439:
and many others platforms. It has a compatibility mode with
140:
is a type of software set that is used in manipulation of
562:. Designed for use in schools and educational settings.
224:
theory. An unpublished computational program written in
160:. Computer algebra system often include facilities for
315:
Mathics is an open-source GPL3 license version of the
913:
were created with the original intent of providing a
548:
495:
404:
Xcas/Giac is an open-source project developed at the
573:
is an area of mathematics that creates and analyzes
785:is addressing beginners with basic features, while
48:. Unsourced material may be challenged and removed.
554:
534:
854:commands to manipulate R-objects directly. Also,
679:in 1994 as an open-source software. Since 2008,
671:, Scilab was initiated in the mid-1980s at the
262:CoCoA (COmputations in COmmutative Algebra) is
390:Sympy is a computer algebra system written in
57:"List of open-source software for mathematics"
1154:David Joyner; William Stein (November 2007).
1100:List of open-source machine learning software
747:involves methods of using information from a
630:Octave (aka GNU Octave) is an alternative to
270:and initiated in 1987. Originally written in
8:
1180:Russell Herman; Gabriel Lugo (24 May 2008).
186:. It has been in development since 1971 by
751:to draw conclusions about the Population.
1187:. University of North Carolina Wilmington
1110:Comparison of numerical-analysis software
1001:Automated theorem proving § Free software
547:
526:
513:
500:
494:
220:designed for the solution of problems in
108:Learn how and when to remove this message
777:are open source software competitors to
719:List of open-source statistical packages
1146:
542:representing a circle with the radius
463:calculators. The system was chosen by
152:is the ability to deal with equations
789:has a large community that maintains
339:Massachusetts Institute of Technology
248:rather than Pascal, which he renamed
7:
1105:Comparison of deep-learning software
962:in 2005 for his personal project in
889:that was developed and published by
46:adding citations to reliable sources
1156:"Open Source Mathematical Software"
1115:List of numerical-analysis software
341:in the 1960s, it was maintained by
793:also beyond statistical analysis.
14:
1082:Recreational mathematics software
917:platform that can be compared to
905:Multipurpose mathematics software
535:{\displaystyle x^{2}+y^{2}=r^{2}}
999:This section is an excerpt from
22:
1161:. American Mathematical Society
683:has been distributed under the
487:Geogebra (Geometry and Algebra)
240:to compute problems present in
33:needs additional citations for
929:. They contain multiple other
642:with the primary intention in
1:
605:FreeMat is an alternative to
1130:List of statistical packages
1064:SPARK (programming language)
826:was originally developed by
333:had an earlier incarnation,
301:with particular emphasis on
236:was originally designed for
1125:List of numerical libraries
190:, and was originally named
182:Axiom is a general-purpose
1273:
998:
954:SageMath was initiated by
712:
351:GNU General Public license
303:computational group theory
278:was later translated into
228:called Abra inspired this
196:Numerical Algorithms Group
1252:Free mathematics software
1120:List of graphing software
885:Demetra is a program for
866:is currently part of the
787:GNU-R Statistics Software
715:Free statistical software
427:et al. and available for
406:Joseph Fourier University
372:, algebraic numbers, and
869:Free Software Foundation
579:numerical approximations
374:transcendental functions
268:multivariate polynomials
164:equations and provide a
132:Computer algebra systems
412:since 2000. Written in
218:Computer Algebra System
184:computer algebra system
138:computer algebra system
1232:"Visualizing big data"
842:is largely written in
745:Inferential statistics
741:Descriptive statistics
736:Inferential statistics
732:Descriptive statistics
614:GNU Scientific Library
581:to problems involving
556:
536:
294:RWTH Aachen University
1135:Mathematical software
816:statistical computing
763:R Statistics Software
644:numerical computation
557:
537:
467:as the CAS for their
292:GAP was initiated by
142:mathematical formulae
986:that rivals that of
919:proprietary software
887:seasonal adjustments
830:(Currently known as
546:
493:
347:open-source software
264:open-source software
246:C computing language
230:open-source software
166:programming language
42:improve this article
1207:"PARI/GP home page"
895:European Commission
832:Lucent Technologies
266:used for computing
168:for the users' own
960:Harvard University
571:Numerical analysis
566:Numerical analysis
552:
532:
158:symbolic equations
120:This is a list of
1257:Lists of software
1074:Z3 Theorem Prover
828:Bell Laboratories
555:{\displaystyle r}
418:Bernard Parisse's
242:quantum mechanics
118:
117:
110:
92:
1264:
1236:
1235:
1228:
1222:
1221:
1219:
1218:
1209:. Archived from
1203:
1197:
1196:
1194:
1192:
1186:
1177:
1171:
1170:
1168:
1166:
1160:
1151:
846:, users can use
755:Alternatives to
561:
559:
558:
553:
541:
539:
538:
533:
531:
530:
518:
517:
505:
504:
426:
416:, maintained by
343:William Schelter
317:Wolfram Language
299:discrete algebra
113:
106:
102:
99:
93:
91:
50:
26:
18:
1272:
1271:
1267:
1266:
1265:
1263:
1262:
1261:
1242:
1241:
1240:
1239:
1230:
1229:
1225:
1216:
1214:
1205:
1204:
1200:
1190:
1188:
1184:
1179:
1178:
1174:
1164:
1162:
1158:
1153:
1152:
1148:
1143:
1096:
1084:
1079:
1078:
1004:
996:
994:Theorem provers
941:
907:
883:
801:
783:SOFA Statistics
767:SOFA Statistics
760:
721:
711:
699:
665:
654:
628:
617:
603:
568:
544:
543:
522:
509:
496:
491:
490:
484:
477:
465:Hewlett-Packard
420:
402:
388:
365:
337:. Developed by
327:
313:
290:
260:
214:
180:
134:
114:
103:
97:
94:
51:
49:
39:
27:
12:
11:
5:
1270:
1268:
1260:
1259:
1254:
1244:
1243:
1238:
1237:
1223:
1198:
1172:
1145:
1144:
1142:
1139:
1138:
1137:
1132:
1127:
1122:
1117:
1112:
1107:
1102:
1095:
1092:
1091:
1090:
1083:
1080:
1077:
1076:
1071:
1066:
1061:
1056:
1051:
1046:
1041:
1036:
1031:
1026:
1021:
1016:
1011:
1005:
997:
995:
992:
940:
935:
906:
903:
882:
877:
800:
795:
759:
753:
710:
707:
698:
693:
685:CeCILL license
664:
659:
653:
648:
627:
622:
616:
611:
602:
597:
577:for obtaining
567:
564:
551:
529:
525:
521:
516:
512:
508:
503:
499:
483:
478:
476:
473:
401:
396:
387:
382:
364:
359:
326:
321:
312:
307:
289:
284:
259:
254:
213:
208:
179:
174:
133:
130:
116:
115:
30:
28:
21:
13:
10:
9:
6:
4:
3:
2:
1269:
1258:
1255:
1253:
1250:
1249:
1247:
1233:
1227:
1224:
1213:on 2019-09-29
1212:
1208:
1202:
1199:
1183:
1176:
1173:
1157:
1150:
1147:
1140:
1136:
1133:
1131:
1128:
1126:
1123:
1121:
1118:
1116:
1113:
1111:
1108:
1106:
1103:
1101:
1098:
1097:
1093:
1089:
1086:
1085:
1081:
1075:
1072:
1070:
1067:
1065:
1062:
1060:
1057:
1055:
1052:
1050:
1047:
1045:
1042:
1040:
1037:
1035:
1032:
1030:
1027:
1025:
1022:
1020:
1017:
1015:
1012:
1010:
1007:
1006:
1002:
993:
991:
989:
985:
981:
977:
973:
969:
965:
964:number theory
961:
957:
956:William Stein
952:
950:
946:
939:
936:
934:
932:
931:free software
928:
924:
920:
916:
912:
904:
902:
900:
896:
892:
888:
881:
878:
876:
874:
871:
870:
865:
861:
858:runs on most
857:
853:
849:
845:
841:
837:
836:John Chambers
833:
829:
825:
821:
817:
813:
809:
805:
799:
796:
794:
792:
788:
784:
780:
776:
772:
768:
764:
758:
754:
752:
750:
746:
742:
738:
737:
733:
729:
725:
720:
716:
708:
706:
704:
697:
694:
692:
690:
686:
682:
678:
674:
670:
663:
660:
658:
652:
649:
647:
645:
641:
637:
636:alpha version
633:
626:
623:
621:
615:
612:
610:
608:
601:
598:
596:
594:
591:
587:
584:
580:
576:
572:
565:
563:
549:
527:
523:
519:
514:
510:
506:
501:
497:
488:
482:
479:
474:
472:
470:
466:
462:
458:
454:
451:software and
450:
446:
442:
438:
434:
430:
424:
419:
415:
411:
407:
400:
397:
395:
393:
386:
383:
381:
379:
375:
371:
363:
360:
358:
356:
352:
348:
344:
340:
336:
332:
331:free software
325:
322:
320:
318:
311:
308:
306:
304:
300:
295:
288:
285:
283:
281:
277:
273:
269:
265:
258:
255:
253:
251:
247:
243:
239:
235:
231:
227:
223:
219:
212:
209:
207:
205:
201:
200:free software
197:
193:
189:
185:
178:
175:
173:
171:
167:
163:
159:
155:
151:
147:
143:
139:
131:
129:
126:
123:
112:
109:
101:
90:
87:
83:
80:
76:
73:
69:
66:
62:
59: –
58:
54:
53:Find sources:
47:
43:
37:
36:
31:This article
29:
25:
20:
19:
16:
1226:
1215:. Retrieved
1211:the original
1201:
1189:. Retrieved
1175:
1163:. Retrieved
1149:
953:
942:
908:
884:
867:
802:
761:
739:
722:
700:
667:Inspired by
666:
655:
629:
618:
604:
569:
485:
403:
389:
370:power series
366:
328:
314:
291:
261:
233:
215:
191:
181:
154:symbolically
135:
119:
104:
95:
85:
78:
71:
64:
52:
40:Please help
35:verification
32:
15:
988:Mathematica
927:Mathematica
873:GNU project
862:platforms.
701:SciPy is a
687:, which is
421: [
355:source code
204:BSD license
122:open-source
1246:Categories
1217:2016-12-28
1141:References
1029:IsaPlanner
897:under the
844:C language
806:is both a
791:R packages
734:’’ and ‘’
728:statistics
724:Statistics
713:See also:
709:Statistics
588:. When an
583:continuous
575:algorithms
461:Voyage 200
349:under the
238:physicists
192:scratchpad
170:procedures
150:calculator
68:newspapers
984:interface
901:license.
814:used for
590:arbitrary
586:variables
146:algebraic
98:June 2013
1094:See also
1014:Automath
1009:Alt-Ergo
982:with an
976:Singular
938:SageMath
921:such as
911:software
891:Eurostat
880:Demetra+
838:. Since
820:graphing
812:software
808:language
651:Modelica
640:language
593:function
481:Geogebra
475:Geometry
469:HP Prime
410:Grenoble
353:and the
162:graphing
125:software
1191:11 June
1165:11 June
1054:Prover9
1049:Paradox
600:FreeMat
429:Windows
362:PARI/GP
335:Macsyma
310:Mathics
250:Cadabra
211:Cadabra
82:scholar
980:Maxima
949:MATLAB
923:MATLAB
749:sample
703:python
681:Scilab
669:MATLAB
662:Scilab
632:MATLAB
625:Octave
607:MATLAB
445:Derive
392:Python
324:Maxima
272:Pascal
226:Pascal
84:
77:
70:
63:
55:
1185:(PDF)
1159:(PDF)
1088:Golly
1069:Twelf
1044:NuPRL
1039:Mizar
958:, of
945:Maple
909:Such
834:) by
696:SciPy
677:INRIA
673:INRIA
457:TI-92
453:TI-89
449:MuPAD
441:Maple
437:Linux
425:]
385:Sympy
329:This
276:CoCoA
257:CoCoA
222:field
177:Axiom
89:JSTOR
75:books
1193:2013
1167:2013
978:and
968:Pari
947:and
925:and
915:math
899:EUPL
860:UNIX
818:and
810:and
779:SPSS
775:JASP
773:and
771:PSPP
757:SPSS
717:and
459:and
447:and
399:Xcas
234:Abra
61:news
1059:PVS
1034:LCF
1019:CVC
972:GAP
852:C++
850:or
730:: ‘
689:GPL
433:Mac
414:C++
408:of
378:GPL
287:GAP
188:IBM
44:by
1248::
990:.
974:,
970:,
893:–
875:.
822:.
769:,
765:,
646:.
609:.
455:,
443:,
435:,
431:,
423:fr
394:.
319:.
282:.
274:,
232:.
216:A
206:.
172:.
136:A
1234:.
1220:.
1195:.
1169:.
1024:E
1003:.
864:R
856:R
848:C
840:R
824:R
804:R
798:R
550:r
528:2
524:r
520:=
515:2
511:y
507:+
502:2
498:x
280:C
111:)
105:(
100:)
96:(
86:·
79:·
72:·
65:·
38:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.