𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Surprising Mathematics Using a Computer Algebra System

✍ Scribed by François Bergeron

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
140 KB
Volume
15
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

In the course of studying some idempotents of the group algebra of the syrnmetric group, we obtained new unexpected results because of our use of a computer algebra system. This was a direct result of being forced to compute in the ring of polynomials modulo the cyclotomic polynomial, after failing to be able to work directly with primitive roots of unity. This text tells the story of how our computer experiments led us to conjecture surprising new identities.

📜 SIMILAR VOLUMES

A Computer Algebra System based on Order
A Computer Algebra System based on Order-sorted Algebra
✍ Anthony C. Hearn; Eberhard Schrüfer 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 447 KB

This paper presents the prototype design of an algebraic computation system that manipulates algebraic quantities as generic objects using order-sorted algebra as the underlying model. The resulting programs have a form that is closely related to the algorithmic description of a problem, but with th

Rigorous distillation dynamics simulatio
Rigorous distillation dynamics simulations using a computer algebra
✍ Zakia Nasri; Housam Binous 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 829 KB

## Abstract In the present paper, Mathematica®, the famous computer algebra, is used to perform steady‐state and dynamic simulations of a multi‐component distillation column. In order to describe the vapor–liquid equilibrium (VLE) relationships and to compute the vapor‐ and liquid‐phase enthalpies,

Constructions in Finite Geometry Using C
Constructions in Finite Geometry Using Computer Algebra Systems
✍ G.L. Ebert 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 271 KB

One way of using a computer algebra system to do research in finite geometry is to use the system to construct "small" order examples of various constructions, and then hope to recognize a pattern that can be generalized and eventually proven. Of course, initially one does not know if the "small" or

Electronic Communication of Mathematics
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants
✍ Henk Barendregt; Arjeh M. Cohen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 355 KB

Present day computer algebra systems (CASs) and proof assistants (PAs) are specialized programs that help humans with mathematical computations and deductions. Although several such systems are impressive, they all have certain limitations. In most CASs side conditions that are essential for the tru