J calmet (8 Ergebnisse)

Zustand: New. In English.

Zustand: New. In English.

rigide. Zustand: Bon. Ex. commentariis omnium perfectissimis ubique habitis, et a magna parte episcoporum necnon theologorum europe catholicae, universim ad hoc interrogatorum, designatis, unicè conflatus, plurimis annotantibus presbyteris ad docendo levitas pascendove populos altè positis. Annotavit vero simul et edidit J.P. Migne, 1 vol. in-4 reliure demi-basane bordeaux, Apud Editores, 1841 Tome VII : In Numeros. In Deuteronomium. In Josuam. Sequitur in Numeros Commentarium - In Deuteronomium Commentarium ( Cornelius a Lapide) ; In numeros dissertatio - De balaami prophetiis - De beelphegor, Chamos, caeterisque moabitarum diis (Calmet Augustin) - De XLII Mansionibus aut stationibus Israelitarum - In Deuteronomium - De Politia, sive ratione juris dicendi apud veteres Hebraeos, et potissimum de sanhedrio - De Suppliciis quorum in sacrâ scripturâ mentio - De connubiis hebraeorum (Calmet Augustin) - De Muliere hebraeâ et de Connubiis apud Judaeos recentiores (Munck D.) - De Divortiis (Calmet Augustin) - De natura animae, et ejus post mortem statu, ex sententia veterum Hebraeorum (Calmet Augustin) - De gigantibus (Calmet Augustin) - In prophetiam Moysis, de prophetâ à Deo promisso - De Moysis obitu et sepultura (Calmet Augustin) - Instructiones et mysteria quae in singulis Pentateuchi libris continentur - Divus Hieronymus in universum pentateuchum (Jérôme (père latin) - In librum Josuae (Jahn Johannes) Tome 7 seul. Agréable exemplaire de bibliothèque (anciens cachets d'institution religieuse et étiquette de cote en garde, bon exemplaire par ailleurs). Langue: Français. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients.- An adaptive hybrid algorithm for multiplying dense polynomials.- The construction of multivariate polynomials with preassigned zeros.- Lattices and factorization of polynomials over algebraic number fields.- Commutative algebra and computer algebra.- The nielsen reduction as key problem to polynomial algorithms in free groups.- The structure of near-rings of small order.- Computing double coset representatives for the generation of solvable groups.- On the determination of algebraic number fields of given discriminant.- Rewrite rule theory and abstract data type analysis.- Algebraic specifications: A constructive methodology in logic programming.- A theorem-proving approach to the Knuth-Bendix completion algorithm.- Solving symbolic equations with press.- Deterministic versus probabilistic factorization of integral polynomials.- On polynomial factorization.- Hacijan's algorithm in VAXIMA: improvements and difficulties.- The parallel Risch algorithm (I).- An algorithm to compute the equations of tangent cones.- Computer algebra systems viewed by a notorious user.- Implementation of differential geometric objects and functions with an application to extended Maxwell equations.- A sum-substitutor used as trigonometric simplifier.- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables.- Algebraic computation of the solution of some nonlinear differential equations.- Factorization in cylindrical algebraic decomposition - Abstract.- Cylindrical algebraic decomposition by quantifier elimination.- Algorithms for the computation of free lattices.- Linear algebraic approach for computing polynomialresultant.- The development of a vector-based algebra system.- Nlargeing a z80 microprocessor.- Escaping from intermediate expression swell: a continuing saga.- REDUCE - A case study in algebra system development.- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point.- Symbolic numeric methods in microwave technology.- A program in REDUCE for finding explicit solutions to certain ordinary differential equations.- An application of MACSYMA to nonlinear systems decoupling.…

Taschenbuch. Zustand: Neu. Artificial Intelligence and Symbolic Computation | 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings | Gonzalo A. Aranda-Corral (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2014 | Springer | EAN 9783319137698 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 2014 edition. 70 pages. 8.75x5.75x0.25 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 320 | Sprache: Englisch | Produktart: Bücher | Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients.- An adaptive hybrid algorithm for multiplying dense polynomials.- The construction of multivariate polynomials with preassigned zeros.- Lattices and factorization of polynomials over algebraic number fields.- Commutative algebra and computer algebra.- The nielsen reduction as key problem to polynomial algorithms in free groups.- The structure of near-rings of small order.- Computing double coset representatives for the generation of solvable groups.- On the determination of algebraic number fields of given discriminant.- Rewrite rule theory and abstract data type analysis.- Algebraic specifications: A constructive methodology in logic programming.- A theorem-proving approach to the Knuth-Bendix completion algorithm.- Solving symbolic equations with press.- Deterministic versus probabilistic factorization of integral polynomials.- On polynomial factorization.- Hacijan's algorithm in VAXIMA: improvements and difficulties.- The parallel Risch algorithm (I).- An algorithm to compute the equations of tangent cones.- Computer algebra systems viewed by a notorious user.- Implementation of differential geometric objects and functions with an application to extended Maxwell equations.- A sum-substitutor used as trigonometric simplifier.- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables.- Algebraic computation of the solution of some nonlinear differential equations.- Factorization in cylindrical algebraic decomposition ¿ Abstract.- Cylindrical algebraic decomposition by quantifier elimination.- Algorithms for the computation of free lattices.- Linear algebraic approach for computing polynomial resultant.- The development of a vector-based algebra system.- Nlargeing a z80 microprocessor.- Escaping from intermediate expression swell: a continuing saga.- REDUCE ¿ A case study in algebra system development.- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point.- Symbolic numeric methods in microwave technology.- A program in REDUCE for finding explicit solutions to certain ordinary differential equations.- An application of MACSYMA to nonlinear systems decoupling.…