Log in

Relevant bibliographies by topics / Computer algebraic system

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Computer algebraic system'

Author: Grafiati

Published: 4 June 2021

Last updated: 3 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computer algebraic system.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Computer algebraic system"

1

Letichevskii, A. A., and V. G. Marinchenko. "Objects in algebraic programming system." Cybernetics and Systems Analysis 33, no. 2 (1997): 283–99. http://dx.doi.org/10.1007/bf02665902.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

ALT, HELMUT, and LUDMILA SCHARF. "COMPUTING THE HAUSDORFF DISTANCE BETWEEN CURVED OBJECTS." International Journal of Computational Geometry & Applications 18, no. 04 (2008): 307–20. http://dx.doi.org/10.1142/s0218195908002647.

Full text

Abstract:

The Hausdorff distance between two sets of curves is a measure for the similarity of these objects and therefore an interesting feature in shape recognition. If the curves are algebraic computing the Hausdorff distance involves computing the intersection points of the Voronoi edges of the one set with the curves in the other. Since computing the Voronoi diagram of curves is quite difficult we characterize those points algebraically and compute them using the computer algebra system SYNAPS. This paper describes in detail which points have to be considered, by what algebraic equations they are c

APA, Harvard, Vancouver, ISO, and other styles

3

Abdali, S. Kamal, Guy W. Cherry, and Neil Soiffer. "A Smalltalk system for algebraic manipulation." ACM SIGPLAN Notices 21, no. 11 (1986): 277–83. http://dx.doi.org/10.1145/960112.28724.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kapitonova, Yu V., A. A. Letichevskii, and V. A. Volkov. "Deductive tools of an algebraic programming system." Cybernetics and Systems Analysis 36, no. 1 (2000): 12–26. http://dx.doi.org/10.1007/bf02733299.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Exman, Iaakov, and Harel Wallach. "Linear Software Models: An Occam’s Razor Set of Algebraic Connectors Integrates Modules into a Whole Software System." International Journal of Software Engineering and Knowledge Engineering 30, no. 10 (2020): 1375–413. http://dx.doi.org/10.1142/s0218194020400185.

Full text

Abstract:

Well-designed software systems, with providers only modules, have been rigorously obtained by algebraic procedures from the software Laplacian Matrices or their respective Modularity Matrices. However, a complete view of the whole software system should display, besides provider relationships, also consumer relationships. Consumers may have two different roles in a system: either internal or external to modules. Composite modules, including both providers and internal consumers, are obtained from the joint providers and consumers Laplacian matrix, by the same spectral method which obtained pro

APA, Harvard, Vancouver, ISO, and other styles

6

Axelsson, O., V. A. Barker, M. Neytcheva, and B. Polman. "SOLVING THE STOKES PROBLEM ON A MASSIVELY PARALLEL COMPUTER." Mathematical Modelling and Analysis 6, no. 1 (2001): 7–27. http://dx.doi.org/10.3846/13926292.2001.9637141.

Full text

Abstract:

We describe a numerical procedure for solving the stationary two-dimensional Stokes problem based on piecewise linear finite element approximations for both velocity and pressure, a regularization technique for stability, and a defect‐correction technique for improving accuracy. Eliminating the velocity unknowns from the algebraic system yields a symmetric positive semidefinite system for pressure which is solved by an inner‐outer iteration. The outer iterations consist of the unpreconditioned conjugate gradient method. The inner iterations, each of which corresponds to solving an elliptic bou

APA, Harvard, Vancouver, ISO, and other styles

7

Rambaud, Salvador Cruz, and José García Pérez. "The accounting system as an algebraic automaton." International Journal of Intelligent Systems 20, no. 8 (2005): 827–42. http://dx.doi.org/10.1002/int.20095.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Панчук, К., K. Panchuk, Е. Любчинов, and E. Lyubchinov. "Cyclographic Interpretation and Computer Solution of One System of Algebraic Equations." Geometry & Graphics 7, no. 3 (2019): 3–14. http://dx.doi.org/10.12737/article_5dce5e528e4301.77886978.

Full text

Abstract:

The subject of this study is an algebraic equation of one form and a system of such equations. The peculiarity of the subject of research is that both the equation and the system of equations admit a cyclographic interpretation in the operational Euclidean space, the dimension of which is one more than the dimension of the subspace of geometric images described by the original equations or system of equations. The examples illustrate the advantages of cyclographic interpretation as the basis of the proposed solutions, namely: it allows you to get analytical, i.e. exact solutions of the complet

APA, Harvard, Vancouver, ISO, and other styles

9

Glebsky, L. Yu, E. I. Gordon, and C. Ward Henson. "On finite approximations of topological algebraic systems." Journal of Symbolic Logic 72, no. 1 (2007): 1–25. http://dx.doi.org/10.2178/jsl/1174668381.

Full text

Abstract:

AbstractWe introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class . If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class of algebraic systems. One characterization of this concept states that A is locally embedded in iff it is a subsystem of an ultraproduct of systems from . In this paper we obtain a similar characterization of approximability of a locally compact system A by systems from using the language of nonstandard analysis.In the signature of A we introduce positi

APA, Harvard, Vancouver, ISO, and other styles

10

Nesrine, Zidani, Pierre Spiteri, and Natalia Djellab. "Numerical solution for the performance characteristics of the M/M/C/K retrial queue with negative customers and exponential abandonments by using value extrapolation method." RAIRO - Operations Research 53, no. 3 (2019): 767–86. http://dx.doi.org/10.1051/ro/2017059.

Full text

Abstract:

This paper deals with a retrial queueing system M/M/C/K with exponential abandonment at which positive and negative primary customers arrive according to Poisson processes. This model is of practical interest: it permits to analyze the performance in call centers or multiprocessor computer systems. For model under study, we find the ergodicity condition and also the approximate solution by applying Value Extrapolation method which includes solving of some algebraic system of equations. To this end, we have resolved the algebraic system in question by different numerical methods. We present als

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Computer algebraic system"

1

Pietschker, Andrej. "Automated test generation from algebraic specifications." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.

Full text

Abstract:

This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techniques. However, the crucial area of system testing remains relatively under-explored. Because a project may spend a good part of its budget on testing, even modest improvements to the cost-effectiveness of testing represent substantial improvements in project budgets. Relatively little literature ha

APA, Harvard, Vancouver, ISO, and other styles

2

Saldanha, Carlos M. "An algebraic constraint system for computer-aided design in magnetics /." Thesis, McGill University, 1988. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=64003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hays, Christopher Thomas. "An algebraic axiom environment for software testing (axenvironment)." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186399.

Full text

Abstract:

This dissertation describes the design and implementation of an algebraic axiom support environment for software testing. Since absolute software correctness is undecidable, "approximate" correctness is as good as software engineering can hope to do. The approximately correct behavior of a software system with respect to a specification can only be demonstrated incrementally, beginning with the modules of a system and finishing with the external interface. Software module specification in the form of algebraic axioms provides a base from which we can be complete and concise in developing and t

APA, Harvard, Vancouver, ISO, and other styles

4

Rashed, Shawki al [Verfasser], and Gerhard [Akademischer Betreuer] Pfister. "Numerical Algorithms in Algebraic Geometry with Implementation in Computer Algebra System SINGULAR / Shawki Al-Rashed. Betreuer: Gerhard Pfister." Kaiserslautern : Universitätsbibliothek Kaiserslautern, 2011. http://d-nb.info/1017757763/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lin, Chuan-kai. "Practical Type Inference for the GADT Type System." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/367.

Full text

Abstract:

Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that allows the type of an algebraic data value to vary with its shape. The GADT type system allows programmers to express detailed program properties as types (for example, that a function should return a list of the same length as its input), and a general-purpose type checker will automatically check those properties at compile time. Type inference for the GADT type system and the properties of the type system are both currently areas of active research. In this dissertation, I attack both problems

APA, Harvard, Vancouver, ISO, and other styles

6

Hanselmann, Thomas. "Approximate dynamic programming with adaptive critics and the algebraic perceptron as a fast neural network related to support vector machines." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2003. http://theses.library.uwa.edu.au/adt-WU2004.0005.

Full text

Abstract:

[Truncated abstract. Please see the pdf version for the complete text. Also, formulae and special characters can only be approximated here. Please see the pdf version of this abstract for an accurate reproduction.] This thesis treats two aspects of intelligent control: The first part is about long-term optimization by approximating dynamic programming and in the second part a specific class of a fast neural network, related to support vector machines (SVMs), is considered. The first part relates to approximate dynamic programming, especially in the framework of adaptive critic designs (ACDs

APA, Harvard, Vancouver, ISO, and other styles

7

Pierce, Robyn U. "An exploration of algebraic insight and effective use of computer algebra systems /." Connect to thesis, 2001. http://eprints.unimelb.edu.au/archive/00000739.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Tam, King-lam, and 譚敬霖. "Using computer algebra system in teaching secondary algebra." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B29954472.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Sydney, Ali. "The evaluation of software defined networking for communication and control of cyber physical systems." Diss., Kansas State University, 2013. http://hdl.handle.net/2097/15577.

Full text

Abstract:

Doctor of Philosophy<br>Department of Electrical and Computer Engineering<br>Don Gruenbacher<br>Caterina Scoglio<br>Cyber physical systems emerge when physical systems are integrated with communication networks. In particular, communication networks facilitate dissemination of data among components of physical systems to meet key requirements, such as efficiency and reliability, in achieving an objective. In this dissertation, we consider one of the most important cyber physical systems: the smart grid. The North American Electric Reliability Corporation (NERC) envisions a smart grid that

APA, Harvard, Vancouver, ISO, and other styles

10

Hadj, Said Yanis. "Prise en compte de la complexité de modélisation dans la gestion énergétique des bâtiments." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAT121/document.

Full text

Abstract:

Du fait de son impact énergétique, la gestion énergétique dans le bâtiment est devenu un enjeu majeur ses dernières années, qu'il s'agisse d'encourager la sobriété énergétique ou de s'adapter aux besoins des réseaux énergétiques. Différents travaux de recherche ont conduit à des gestionnaires énergétiques souvent dotés de capacités d'anticipation. Les premiers résultats, bien qu'encourageants, n'envisagent pas la complexité tant du fait nombre d'éléments que de la diversité des applications de gestion énergétique.Cette thèse propose d'apporter des éléments de solution à la problématique de com

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Computer algebraic system"

1

Geometric algebra: An algebraic system for computer games and animation. Springer, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Vince, John. Geometric Algebra: An Algebraic System for Computer Games and Animation. Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-379-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Marco, Bernardo, and Corradini Flavio, eds. A process algebraic approach to software architecture design. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Jirstrand, Mats. Algebraic methods for modeling and design in control. Dept. of Electrical Engineering, Linköping University, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mengzhao, Qin, and SpringerLink (Online service), eds. Symplectic Geometric Algorithms for Hamiltonian Systems. Springer-Verlag Berlin Heidelberg, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Davenport, James Harold. Computer algebra: Systems and algorithms for algebraic computation. 2nd ed. Academic Press, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Davenport, J. H. Computer algebra: Systems and algorithms for algebraic computation. Academic, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Y, Siret, and Tournier E, eds. Computer algebra: Systems and algorithms for algebraic computation. Academic Press, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Astesiano, Egidio. Algebraic Foundations of Systems Specification. Springer Berlin Heidelberg, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

1945-, Fitch John, ed. Design and implementation of symbolic computation systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings. Springer-Verlag, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Computer algebraic system"

1

Baras, J. S. "Algebraic System Theory, Computer Algebra and Controller Synthesis." In Mathematical System Theory. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_20.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Zhang, Zhiwei, Jin-Zhao Wu, and Hao Yang. "Approximation to Linear Algebraic Transition System." In Communications in Computer and Information Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31837-5_49.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Barbot, Jean-Pierre. "A computer-aided design for sampling a nonlinear analytic system." In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51083-4_49.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kryukov, A. P., and A. Ya Rodionov. "CTS — Algebraic debugging system for reduce programs." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51517-8_121.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mňuk, Michal, and Franz Winkler. "CASA — A system for Computer Aided Constructive Algebraic geometry." In Design and Implementation of Symbolic Computation Systems. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61697-7_31.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Bauer, Andrej, and Matija Pretnar. "An Effect System for Algebraic Effects and Handlers." In Algebra and Coalgebra in Computer Science. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40206-7_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Berghammer, Rudolf, and Gunther Schmidt. "RELVIEW — A Computer System for the Manipulation of Relations." In Algebraic Methodology and Software Technology (AMAST’93). Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-3227-1_43.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Heras, Jónathan, Vico Pascual, and Julio Rubio. "A System for Computing and Reasoning in Algebraic Topology." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22673-1_26.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Suzuki, Masayuki, Tateaki Sasaki, Mitsuhisa Sato, and Yoshinari Fukui. "A hybrid algebraic-numeric system ANS and its preliminary implementation." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51517-8_106.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Dlapa, Marek, Roman Prokop, and Monika Bakosova. "Robust Control of a Two Tank System Using Algebraic Approach." In Computer Aided Systems Theory - EUROCAST 2009. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04772-5_78.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computer algebraic system"

1

Roig, Pedro Juan, Salvador Alcaraz, Katja Gilly, Sonja Filiposka, and Noura Aknin. "Formal algebraic modelling of a city-wide smart parking system." In 2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE). IEEE, 2020. http://dx.doi.org/10.1109/icecce49384.2020.9179447.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jin, Qinggeng, Lijuan Su, Anping He, and Juxia Xiong. "A Way of Validating Polynomial Program with Semi-algebraic System." In 2016 International Symposium on Advances in Electrical, Electronics and Computer Engineering. Atlantis Press, 2016. http://dx.doi.org/10.2991/isaeece-16.2016.31.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Peng Fang, Huang XuYing, and Liu Ting. "An acceleration method of an iterative method for algebraic equations." In 2010 International Conference on Computer Application and System Modeling (ICCASM 2010). IEEE, 2010. http://dx.doi.org/10.1109/iccasm.2010.5620067.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Marx, Oliver, Carlos Villarraga, Dominik Stoffel, and Wolfgang Kunz. "A computer-algebraic approach to formal verification of data-centric low-level software." In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). IEEE, 2016. http://dx.doi.org/10.1109/memcod.2016.7797743.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Reger, Johann, Philipp Mai, and Hebertt Sira-Ramirez. "Robust algebraic state estimation of chaotic systems." In 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control. IEEE, 2006. http://dx.doi.org/10.1109/cacsd-cca-isic.2006.4776667.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Rui, Wang, Rui Guo-Sheng, and Zhang Yang. "Channel iterative optimization algorithm based on algebraic solution in MIMO relay system." In 2017 3rd IEEE International Conference on Computer and Communications (ICCC). IEEE, 2017. http://dx.doi.org/10.1109/compcomm.2017.8322690.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Li, Jianping, and Wan Li. "Joint probability-algebraic decoding for tail-biting codes used in LTE system." In 2015 4th International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2015. http://dx.doi.org/10.1109/iccsnt.2015.7490877.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Dyvak, Mykola, Kasatkina Natalya, and Iryna Oliynyk. "Reduction of interval equations for interval system of linear algebraic equations." In 2016 13th International Conference on Modern Problems of Radio Engineering. Telecommunications and Computer Science (TCSET). IEEE, 2016. http://dx.doi.org/10.1109/tcset.2016.7451990.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Jouffroy, Jerome, and Johann Reger. "An algebraic perspective to single-transponder underwater navigation." In 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control. IEEE, 2006. http://dx.doi.org/10.1109/cacsd-cca-isic.2006.4776912.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lee, Chung-Ching. "A Geometric-Algebraic Exploration of Two Kinds of Schatz 6R Linkages." In ASME 1998 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/detc98/mech-5903.

Full text

Abstract:

Abstract The generation of two kinds of Schatz six-revolute linkages is first delineated from the view point of geometry and then, the general analytical kinematic closed-form solutions of both types are developed by matrix algebra and its differentiation for confirming the constrained motion and further application. The full cycle range of motion about the input link for these linkages is also verified by using the matrix differential closure loop equation. Furthermore, based on the six-by-six screw coordinate transformation matrix, we establish the algebraic formulas of screw coordinates of

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computer algebraic system"

1

Fateman, Richard J., and Carl G. Ponder. Speed and Data Structures in Computer Algebra Systems. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada197131.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!