LEADER 01025nam a22002771i 4500 001 991000803849707536 005 20040202132153.0 008 040220s1982 fr |||||||||||||||||fre 035 $ab1267283x-39ule_inst 035 $aARCHE-067117$9ExL 040 $aDip.to Scienze pedagogiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a618.4 100 1 $aOdent, Michel$0482949 245 10$aA misura di bambino :$bcome l'ospedale può realizzare la nascita senza violenza /$c[Di] Michel Odent 260 $aMilano :$bEmme,$c1982 300 $a140 p. ;$c24 cm 440 2$aI quaderni del nuovo nato ;$v3 500 $aTrad. Giovanna Nobile 650 4$aParto$xNascita 765 0 $tBien naitre 907 $a.b1267283x$b02-04-14$c17-03-04 912 $a991000803849707536 945 $aLE022 MP 64 A 12$g1$i2022000029681$lle022$o-$pE0.00$q-$rl$s- $t0$u2$v1$w2$x0$y.i13181993$z17-03-04 996 $aA misura di bambino$9274108 997 $aUNISALENTO 998 $ale022$b17-03-04$cm$da $e-$ffre$gfr $h0$i1 LEADER 04726nam 22006975 450 001 9910742490403321 005 20251107152638.0 010 $a9783031417245 010 $a3031417240 024 7 $a10.1007/978-3-031-41724-5 035 $a(MiAaPQ)EBC30719883 035 $a(Au-PeEL)EBL30719883 035 $a(DE-He213)978-3-031-41724-5 035 $a(PPN)272260339 035 $a(CKB)28044444600041 035 $a(OCoLC)1395512093 035 $a(EXLCZ)9928044444600041 100 $a20230823d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Algebra in Scientific Computing $e25th International Workshop, CASC 2023, Havana, Cuba, August 28 ? September 1, 2023, Proceedings /$fedited by François Boulier, Matthew England, Ilias Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (441 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14139 311 08$aPrint version: Boulier, François Computer Algebra in Scientific Computing Cham : Springer,c2023 9783031417238 327 $aComputing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore?Penrose Inverse a Case Study -- A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface -- Certified Study of Internal Solitary Waves -- Root-Squaring for Root-Finding -- Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential -- On the Complexity of Linear Algebra Operations over Algebraic Extension Fields -- Range Functions of Any Convergence Order and their Amortized Complexity Analysis -- Stability and Zero-Hopf Bifurcation Analysis of the Lorenz?Stenflo System Using Symbolic Methods -- Non-Principal Branches of Lambert W. A Tale of 2 circles -- On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System -- Solving Parametric Linear Systems Using Sparse Rational Function Interpolation -- On the Distance to the Nearest Defective Matrix -- Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals -- On the Structure and Generators of Differential Invariant Algebras -- An Algorithm for the Intersection Problem of Planar Parametric Curves -- A Symbolic-numeric Method for Solving the Poisson Equation in Polar Coordinates -- Two Variants of B´ezout Subresultants for Several Univariate Polynomials -- Efficient Quotients of Non-Commutative Polynomials -- Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. 330 $aThis book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14139 606 $aAlgorithms 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aComputer networks 606 $aDesign and Analysis of Algorithms 606 $aArtificial Intelligence 606 $aMathematics of Computing 606 $aComputer Communication Networks 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aComputer networks. 615 14$aDesign and Analysis of Algorithms. 615 24$aArtificial Intelligence. 615 24$aMathematics of Computing. 615 24$aComputer Communication Networks. 676 $a005.13 700 $aBoulier$b Franc?ois$0954481 701 $aEngland$b Matthew$01423630 701 $aKotsireas$b Ilias$0950774 701 $aSadykov$b Timur M$01423631 701 $aVorozhtsov$b E. V$g(Evgenii Vasil?evich),$f1946-$030382 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910742490403321 996 $aComputer Algebra in Scientific Computing$93552040 997 $aUNINA