218:
232:
661:
699:
673:
759:
417:
740:
779:
784:
774:
769:
410:
245:
223:
733:
467:
764:
665:
403:
677:
616:
457:
789:
555:
442:
726:
472:
188:
595:
145:
38:
447:
364:
385:, invited paper presented at the A3L Conference in Honor of the 60th Birthday of Volker Weispfenning, April 2005.
611:
256:
141:. Since then, many scientists from all over the world have contributed to its development under his direction.
426:
184:
131:
91:
180:
149:
67:
231:
537:
434:
195:
570:
512:
86:
545:
237:
376:
487:
172:
710:
560:
138:
98:
74:
157:
590:
550:
176:
279:
191:
package Reduce.jl uses Reduce as a backend and implements its semantics in Julia style.
79:
753:
585:
355:
137:
The development of the Reduce computer algebra system was started in the 1960s by
370:
359:
203:
199:
103:
698:
260:
636:
213:
24:
382:
482:
395:
294:
706:
626:
507:
492:
319:
631:
565:
497:
646:
641:
621:
579:
462:
250:
575:
527:
517:
477:
452:
389:
168:
160:. The latter is used as a basis for Reduce's user-level language.
153:
522:
348:
164:
114:
399:
198:
in
December 2008 and is available for free under a modified
163:
Implementations of Reduce are available on most variants of
714:
604:
536:
433:
109:
97:
85:
73:
63:
37:
23:
320:"REDUCE Computer Algebra System at SourceForge"
259:- REDUCE Computer Algebra System - J. P. Fitch
734:
411:
8:
18:
760:Computer algebra system software for Linux
741:
727:
672:
418:
404:
396:
17:
134:geared towards applications in physics.
271:
246:Comparison of computer algebra systems
144:Reduce is written entirely in its own
7:
695:
693:
224:Free and open-source software portal
713:. You can help Knowledge (XXG) by
14:
780:Free software programmed in Lisp
697:
671:
660:
659:
372:Reduce User's Manual Version 3.8
356:Reduce (computer algebra system)
230:
216:
206:. Previously it had cost $ 695.
383:"Reduce: The First Forty Years"
179:systems by using an underlying
785:Software using the BSD license
324:reduce-algebra.sourceforge.net
1:
775:Free computer algebra systems
770:Formerly proprietary software
293:chakravala (April 9, 2019).
596:Engineering Equation Solver
365:Reduce wiki on SourceForge.
806:
692:
390:"TeXmacs-Reduce interface"
655:
59:
33:
765:Computer algebra systems
427:Computer algebra systems
132:computer algebra system
92:Computer algebra system
46:; 18 months ago
29:Anthony C. Hearn et al.
790:Science software stubs
582:symbolic math toolbox)
295:"chakravala/Reduce.jl"
280:"Files on SourceForge"
185:Codemist Standard LISP
181:Portable Standard Lisp
150:Portable Standard Lisp
68:Portable Standard Lisp
130:is a general-purpose
187:implementation. The
156:-like syntax called
707:scientific software
20:
381:Anthony C. Hearn,
369:Anthony C. Hearn,
238:Mathematics portal
152:, expressed in an
44:March 8, 2023
722:
721:
687:
686:
375:, February 2004.
173:Microsoft Windows
125:
124:
797:
743:
736:
729:
701:
694:
675:
674:
663:
662:
546:ClassPad Manager
420:
413:
406:
397:
352:
351:
349:Official website
334:
333:
331:
330:
316:
310:
309:
307:
305:
290:
284:
283:
276:
240:
235:
234:
226:
221:
220:
219:
139:Anthony C. Hearn
121:
118:
116:
75:Operating system
54:
52:
47:
21:
805:
804:
800:
799:
798:
796:
795:
794:
750:
749:
748:
747:
690:
688:
683:
651:
600:
591:TI InterActive!
532:
429:
424:
388:Andrey Grozin,
377:In HTML format.
347:
346:
343:
338:
337:
328:
326:
318:
317:
313:
303:
301:
292:
291:
287:
278:
277:
273:
268:
236:
229:
222:
217:
215:
212:
177:Apple Macintosh
148:dialect called
117:.reduce-algebra
113:
55:
50:
48:
45:
12:
11:
5:
803:
801:
793:
792:
787:
782:
777:
772:
767:
762:
752:
751:
746:
745:
738:
731:
723:
720:
719:
702:
685:
684:
682:
681:
669:
656:
653:
652:
650:
649:
644:
639:
634:
629:
624:
619:
614:
608:
606:
602:
601:
599:
598:
593:
588:
583:
573:
568:
563:
558:
553:
548:
542:
540:
534:
533:
531:
530:
525:
520:
515:
510:
505:
500:
495:
490:
485:
480:
475:
470:
465:
460:
455:
450:
445:
439:
437:
431:
430:
425:
423:
422:
415:
408:
400:
394:
393:
386:
379:
367:
362:
353:
342:
341:External links
339:
336:
335:
311:
285:
270:
269:
267:
264:
263:
262:
253:
248:
242:
241:
227:
211:
208:
123:
122:
111:
107:
106:
101:
95:
94:
89:
83:
82:
80:Cross-platform
77:
71:
70:
65:
61:
60:
57:
56:
43:
41:
39:Stable release
35:
34:
31:
30:
27:
13:
10:
9:
6:
4:
3:
2:
802:
791:
788:
786:
783:
781:
778:
776:
773:
771:
768:
766:
763:
761:
758:
757:
755:
744:
739:
737:
732:
730:
725:
724:
718:
716:
712:
709:article is a
708:
703:
700:
696:
691:
680:
679:
670:
668:
667:
658:
657:
654:
648:
645:
643:
640:
638:
635:
633:
630:
628:
625:
623:
620:
618:
615:
613:
610:
609:
607:
603:
597:
594:
592:
589:
587:
584:
581:
577:
574:
572:
569:
567:
564:
562:
559:
557:
554:
552:
549:
547:
544:
543:
541:
539:
535:
529:
526:
524:
521:
519:
516:
514:
511:
509:
506:
504:
501:
499:
496:
494:
491:
489:
486:
484:
481:
479:
476:
474:
471:
469:
466:
464:
461:
459:
456:
454:
451:
449:
446:
444:
441:
440:
438:
436:
432:
428:
421:
416:
414:
409:
407:
402:
401:
398:
392:, April 2012.
391:
387:
384:
380:
378:
374:
373:
368:
366:
363:
361:
357:
354:
350:
345:
344:
340:
325:
321:
315:
312:
300:
296:
289:
286:
281:
275:
272:
265:
261:
258:
255:REDUCE Meets
254:
252:
249:
247:
244:
243:
239:
233:
228:
225:
214:
209:
207:
205:
201:
197:
192:
190:
186:
182:
178:
174:
170:
166:
161:
159:
155:
151:
147:
142:
140:
135:
133:
129:
120:
112:
108:
105:
102:
100:
96:
93:
90:
88:
84:
81:
78:
76:
72:
69:
66:
62:
58:
42:
40:
36:
32:
28:
26:
22:
16:
715:expanding it
704:
689:
676:
664:
605:Discontinued
586:SMath Studio
502:
371:
327:. Retrieved
323:
314:
302:. Retrieved
298:
288:
274:
196:open sourced
193:
162:
143:
136:
127:
126:
25:Developer(s)
15:
571:Mathematica
538:Proprietary
435:Open-source
360:SourceForge
204:SourceForge
200:BSD license
194:Reduce was
104:BSD license
754:Categories
637:Mathomatic
329:2015-09-28
266:References
64:Written in
51:2023-03-08
523:Xcas/Giac
483:Macaulay2
666:Category
627:LiveMath
513:Singular
508:SageMath
493:Normaliz
304:June 16,
210:See also
632:Macsyma
566:Mathcad
498:PARI/GP
448:Cadabra
110:Website
99:License
49: (
647:ALTRAN
642:muMATH
622:Erable
617:Derive
580:MATLAB
503:Reduce
488:Maxima
463:FriCAS
458:Fermat
299:GitHub
251:ALTRAN
128:Reduce
19:Reduce
705:This
612:CAMAL
576:muPAD
561:Maple
556:Magma
528:Yacas
518:SymPy
478:GiNaC
453:CoCoA
443:Axiom
257:CAMAL
189:Julia
175:, or
169:Linux
158:RLISP
154:ALGOL
711:stub
678:List
551:KANT
468:FORM
306:2019
165:Unix
146:LISP
119:.com
87:Type
473:GAP
358:on
202:on
183:or
115:www
756::
322:.
297:.
171:,
167:,
742:e
735:t
728:v
717:.
578:(
419:e
412:t
405:v
332:.
308:.
282:.
53:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.