Wyniki wyszukiwania - BazTech

1

The use of computer algebra systems in the teaching process

Paszeczko M., Barszcz M., Zagórski I.

Advances in Science and Technology. Research Journal

|

2014

|

Vol. 8, nr 24

38--43

EN

This work discusses computational capabilities of the programs belonging to the CAS (Computer Algebra Systems). A review of commercial and non-commercial software has been done here as well. In addition, there has been one of the programs belonging to the this group (program Mathcad) selected and its application to the chosen example has been presented. Computational capabilities and ease of handling were decisive factors for the selection.

2

Mathematica System and Its Application in the Research and Education

Chichurin A.

Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie

|

2011

|

Nr 2(2)

7--12

EN

The effectiveness of using of the computer algebra system Mathematica for cosmic dynamics problems, weather research and educational problems (university course of the ordinary differential equations) are considered in the present work.

PL

W tym artykule rozpatrywana jest skuteczność wykorzystania systemu algebry komputerowej Mathematica do rozwiązania zagadnień dynamiki kosmicznej, problematyki badania pogody oraz wykształcenia wyższego w dziedzinie matematyki wyższej (kurs z przedmiotu Równania różniczkowe zwyczajne dla uniwersytetów).

3

Symbolic computation of variational symmetries in optimal control

Gouveia P. D., Torres D. F., Rocha E. A.

Control and Cybernetics

|

2006

|

Vol. 35, no 4

831-849

EN

We use a computer algebra system to compute, in an efficient way, optimal control variational symmetries up to a gauge term. The symmetries are then used to obtain families of Noether's first integrals, possibly in the presence of nonconservative external forces. As an application, we obtain eight independent first integrals for a sub-Riemannian nilpotent problem (2,3,5,8).

4

Specification and integration of theorem provers and computer algebra systems

Bertoli P.G., Calmet J., Giunchiglia F., Homann K.

Fundamenta Informaticae

|

1999

|

Vol. 39, Nr 1,2

39-57

EN

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each class alone. However, most experiments conducted so far followed an ad-hoc approach, resulting in solutions tailored to specific problems. A structured and principled approach is necessary to allow for the sound integration of systems in a modular way. The Open Mechanized Reasoning Systems (OMRS) framework was introduced for the specification and implementation of mechanized reasoning systems, e.g. ATPs. In this paper, we introduce a generalization of OMRS, named OMSCS (Open Mechanized Symbolic Computation Systems). We show how OMSCS can be used to soundly express CASs, ATPs, and their integration, by formalizing a combination between the Isabelle prover and the Maple algebra system. We show how the integrated system solves a problem which could not be tackled by each single system alone.