Computer Algebra Systems
6,793 Followers
Recent papers in Computer Algebra Systems
Computation of Polynomial Rings in
SINGULAR (A Computer Algebra System)
SINGULAR (A Computer Algebra System)
*Introduction
* Basic Calculations
* Algebraic Manipulation
* Plotting
* Functions
* Equations
* Calculus
* Solving DEs
* Control Structures
* Sample Programs
* Basic Calculations
* Algebraic Manipulation
* Plotting
* Functions
* Equations
* Calculus
* Solving DEs
* Control Structures
* Sample Programs
Introduction
Talking to Maple
Entering Math
Combining Text and Math
Plotting
Task Assistants, Tutors and Math Apps
Entering Commands
References
Talking to Maple
Entering Math
Combining Text and Math
Plotting
Task Assistants, Tutors and Math Apps
Entering Commands
References
Gentil Lopes - ALGEBRA LINEAR (COMENTADO)
It has source for plotting Venn diagrams for any logical relation using complex solutions.
It has become a fact that fluency and competency in utilizing the advancement of technology, specifically the computer and the internet is one way that could help in facilitating learning in mathematics. This study investigated the... more
(PhD Dissertation, Stanford Mathematics 2001) What sort of geometric creation and performance can or cannot be supported in a writing technology that spans freehand sketching, manipulable graphics, text, symbolic computation and... more
There is, in France, a long-term tradition of research in the didactics of mathematics. In this paper, we revisit this tradition using, as a specific lens, the research carried out on the educational use of digital tools and resources for... more
Code for various types of lexicograpical orderings of polynomials on Maxima CAS. Many more orderings can be created using existing code with slight manipulation.
In this paper, high school mathematics teachers’ views on computer-assisted mathematics instruction and on computer algebra systems (CAS) were explored in two stages, before and after they were trained on it. This study is based on the... more
\HDUO\ 6\PSRVLXP WKH ILUVW ZDV KHOG LQ ,VUDHO WKH VHFRQG LQ 7KH 1HWKHUODQGV WKH WKLUG LQ )UDQFH WKH IRXUWK LQ WKH 86$ DQG WKH ILIWK LQ +XQJDU\ &$0( ZLOO EH KHOG LQ %HOJUDGH 6HUELD DQG -XO\ FRLQFLGLQJ ZLWK WKH UG 3V\FKRORJ\ RI 0DWKHPDWLFV... more
In this paper we survey some of the developments with regards to technology-enhanced support of mathematics learning and teaching. Coverage is especially given on how to design systems that work effectively on the Web, particularly in the... more
Studies handling the lights and the colors as key components of computation attracted the scientists and engineers since these studies are potentially applicable to the signal processing through optical interconnections between electronic... more
Mathematics is one the most important subjects during school days of the world educational institutes. And handling mathematical objects at user’s facilities easily is much more important for students to learn not only philosophy of... more
Abstract:- In this study, it is observed how a CAS programme can help student to increase their mathematical understanding. CAS have a lot of great properties that can be used for educational purposes. For example, you can produce 2D, 3D... more
We implement GAP functions about groups with action on itself and investigate some basic properties of small groups with action on itself of order $<32$.
In the last two decades, a number of researchers have been engaged in the study of natural computing systems that employ physical, chemical, and biological properties as direct media for manifesting computations. Among such attempts,... more
TI-Nspire CAS technology by Texas Instruments, USA, is the only dynamic educational system in the world that enables teaching and learning of all levels of secondary school mathematics. In addition, it includes data collection application... more
In this paper we survey some of the developments with regards to technology-enhanced support of mathematics learning and teaching. Coverage is especially given on how to design systems that work effectively on the Web, particularly in the... more
* Introduction * Basic Calculations * Parentheses, Brackets, and Braces * Symbolic Vs. Numerical Computation * Names and Capitalization; Basic Functions * Algebraic Manipulation * Plotting Graphs * Variables * Functions -> Set... more
We prove the proposition addressed in the title of this paper.
, an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer's Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer... more
El uso de los programas matematicos conocidos como CAS por sus siglas en ingles (Computer Algebra System) permite mejorar la calidad de la enseñanza de las matematicas en los cursos de ingenieria.
Extending previous results we show that there are no Petrov type III space-times on which either the Weyl neutrino equation or Maxwell's equations satisfy Huygens' principle. We prove the result by using Maple's NPspinor package to... more
Abstract: This study compares the respective achievement of students in an integrated algebra course taught with two different types of handhelds over a period of one year. The experimental group was taught with TI-Nspire [TM] handhelds... more
Experiências francesas realizadas nos três últimos anos no ensino de matemática em ambientes complexos com calculadora - em especial com Tl-92 - permitem tirar algumas lições: A introdução deste tipo de calculadoras não simplifica o... more
We propose a model to assign prime numbers to axioms and theorems, then by comparing equivalent numbers, it results in new equivalent theorems.
+PVTQFWEVKQP $IWHU FRPSXWHUV KDYH FRPH LQWR RXU OLYHV ZH KDYH VWDUWHG WR XVH WKHP WR WHDFK PDWKHPDWLFV DOVR 0DQ\ PDWK HGXFDWRUV KDYH VWXGLHG RQ KRZ WR XVH FRPSXWHUV PRUH HIILFLHQWO\ DV D WHDFKLQJ PDWHULDO 7KHUH DUH ORWV RI VWXGLHV ZKLFK... more
"While computational technologies are transforming the professional practice of mathematics, as yet they have had little impact on school mathematics. This pioneering text develops a theorized analysis of why this is and what can be done... more
This is a short piece from the proceedings of the 23rd international conference on Applications of Computer Algebra. The main claim of this paper is that mathematics teachers need to adjust their epistemological stance in order to... more
We assess the current state of research in the application of computer aided formal reasoning to computer algebra, and argue that embedded verification support allows users to enjoy its benefits without wrestling with technicalities. We... more
This study compares the respective achievement of students in an integrated algebra course taught with two different types of handhelds over a period of one year. The experimental group was taught with TI-Nspire™ handhelds and was... more
TI-Nspire CAS technology by Texas Instruments, USA, is the only dynamic educational system in the world that enables teaching and learning of all levels of secondary school mathematics. In addition, it includes data collection application... more
There is, in France, a long-term tradition of research in the didactics of mathematics. In this paper, we revisit this tradition using, as a specific lens, the research carried out on the educational use of digital tools and resources for... more
The article is devoted to the current problem of improving the level of students' professional competences. The main attention is paid to the preparation of teachers of Informatics and Mathematics. The article presents the list of... more
The primary purpose of this study is to provide an immediate connection to analytics of biological functions and visualisation. We introduce a visual framework in the environment of a main computer algebra system (CAS), Mathematica, to... more
Fermat User's Guide for Linux and Mac OSX 32 bit and 64 bit versions
We study Smarandache sequences of numbers, and related problems, via a Computer Algebra System. Solutions are discovered, and some conjectures presented.
* Recall
* Introduction
* The Lotka–Volterra Model
* The Lotka–Volterra Model in Maple
* Maple Help
* References
* Introduction
* The Lotka–Volterra Model
* The Lotka–Volterra Model in Maple
* Maple Help
* References