Back to Search
Start Over
Symbolic Recipes for Real Solutions
- Source :
- Some Tapas of Computer Algebra, Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩, Some Tapas of Computer Algebra ISBN: 9783642083358
- Publication Year :
- 1998
- Publisher :
- HAL CCSD, 1998.
-
Abstract
- Contribution à un ouvrage.; International audience; The main purpose of this chapter is to show how to use algorithms and methodology provided by computer algebra to manipulate in a symbolic way the real solutions of an algebraic system of equations.
- Subjects :
- Résolution
Real roots
Computer science
010102 general mathematics
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
0102 computer and information sciences
System of linear equations
Symbolic computation
01 natural sciences
Algebra
Polynomes
010201 computation theory & mathematics
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
Polynoms
Solving
0101 mathematics
Algebraic number
Racines Réelles
Structured program theorem
Resolution (algebra)
Real Roots
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-642-08335-8
- ISBNs :
- 9783642083358
- Database :
- OpenAIRE
- Journal :
- Some Tapas of Computer Algebra, Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩, Some Tapas of Computer Algebra ISBN: 9783642083358
- Accession number :
- edsair.doi.dedup.....7d0941051efdb2ac1a0c56038becbf07
- Full Text :
- https://doi.org/10.1007/978-3-662-03891-8_6⟩