×

Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. (English) Zbl 1194.68011

Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). xv, 471 p. (2010).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conferences have been reviewed (for AISC 2008 see Zbl 1154.68002, for Calculemus 2009 and MKM 2009 see Zbl 1165.68005).
Indexed articles:
Davenport, James H., The challenges of multivalued “functions”, 1-12 [Zbl 1286.68516]
Salvy, Bruno, The dynamic dictionary of mathematical functions, 13 [Zbl 1286.68520]
Calmet, Jacques; Campbell, John A., A revisited perspective on symbolic mathematical computing and artificial intelligence, 14-18 [Zbl 1286.68514]
Bensaid, Hicham; Caferra, Ricardo; Peltier, Nicolas, \(I\)-terms in ordered resolution and superposition calculi: retrieving lost completeness, 19-33 [Zbl 1286.68390]
Bortin, Maksym; Lüth, Christoph, Structured formal development with quotient types in Isabelle/HOL, 34-48 [Zbl 1286.68391]
Echenim, Mnacho; Peltier, Nicolas, Instantiation of SMT problems modulo integers, 49-63 [Zbl 1286.68397]
Feinsilver, Philip; Schott, René, On Krawtchouk transforms, 64-75 [Zbl 1286.65035]
Kolev, Mikhail K., A mathematical model of the competition between acquired immunity and virus, 76-88 [Zbl 1286.65009]
Li, Yongbin, Some notes upon “When does \(\langle{\mathbb T}\rangle\) equal sat\(({\mathbb T})\)?”, 89-100 [Zbl 1286.68518]
Loddo, Jean-Vincent; Saiu, Luca, How to correctly prune tropical trees, 101-115 [Zbl 1286.68264]
Lucas, Salvador, From matrix interpretations over the rationals to matrix interpretations over the naturals, 116-131 [Zbl 1286.68266]
Urban, Josef; Sutcliffe, Geoff, Automated reasoning and presentation support for formalizing mathematics in MizAR, 132-146 [Zbl 1286.68403]
Asperti, Andrea; Sacerdoti Coen, Claudio, Some considerations on the usability of interactive provers, 147-156 [Zbl 1286.68388]
Carette, Jacques, Mechanized mathematics, 157 [Zbl 1286.68393]
Butelle, Franck; Hivert, Florent; Mayero, Micaela; Toumazet, Frédéric, Formal proof of SCHUR conjugate function, 158-171 [Zbl 1286.68392]
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M., Symbolic domain decomposition, 172-188 [Zbl 1286.68515]
Cohen, Cyril; Mahboubi, Assia, A formal quantifier elimination for algebraically closed fields, 189-203 [Zbl 1286.68394]
Domínguez, César; Rubio, Julio, Computing in Coq with infinite algebraic data structures, 204-218 [Zbl 1286.68396]
Paşca, Ioana, Formally verified conditions for regularity of interval matrices, 219-233 [Zbl 1286.68400]
Jeffrey, David J.; Rich, Albert D., Reducing expression size using rule-based integration, 234-246 [Zbl 1286.68517]
Tarau, Paul, A unified formal description of arithmetic and set theoretical data types, 247-261 [Zbl 1286.68062]
Asperti, Andrea; Tassi, Enrico, Smart matching, 263-277 [Zbl 1286.68389]
Chen, Xiaoyu, Electronic Geometry Textbook: a geometric textbook knowledge management system, 278-292 [Zbl 1286.68425]
Collins, Joseph B., An OpenMath content dictionary for tensor concepts, 293-299 [Zbl 1286.68426]
Grabowski, Adam; Schwarzweller, Christoph, On duplication in mathematical repositories, 300-314 [Zbl 1286.68429]
Heeren, Bastiaan; Jeuring, Johan, Adapting mathematical domain reasoners, 315-330 [Zbl 1286.97012]
Heras, Jónathan; Pascual, Vico; Romero, Ana; Rubio, Julio, Integrating multiple sources to answer questions in algebraic topology, 331-335 [Zbl 1286.68479]
Jucovschi, Constantin; Kohlhase, Michael, STEXIDE: an integrated development environment for STEX collections, 336-344 [Zbl 1278.68294]
Kerber, Manfred, Proofs, proofs, proofs, and proofs, 345-354 [Zbl 1286.00044]
Kohlhase, Andrea; Kohlhase, Michael; Lange, Christoph, Dimensions of formality: a case study for MKM in software engineering, 355-369 [Zbl 1278.68295]
Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav, Towards MKM in the large: modular representation and scalable software architecture, 370-384 [Zbl 1278.68297]
Kovalchuk, Andriy; Levitsky, Vyacheslav; Samolyuk, Igor; Yanchuk, Valentyn, The formulator MathML editor project: user-friendly authoring of content markup documents, 385-397 [Zbl 1286.68430]
Libbrecht, Paul, Notations around the world: census and exploitation, 398-410 [Zbl 1286.68431]
Lyaletski, Alexander; Verchinine, Konstantin, Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement), 411-426 [Zbl 1286.68399]
Rowinska-Schwarzweller, Agnieszka; Schwarzweller, Christoph, On building a knowledge base for stability theory, 427-439 [Zbl 1286.68433]
Tankink, Carst; Geuvers, Herman; McKinna, James; Wiedijk, Freek, Proviola: a tool for proof re-animation, 440-454 [Zbl 1286.68402]
Urban, Josef; Alama, Jesse; Rudnicki, Piotr; Geuvers, Herman, A Wiki for Mizar: motivation, considerations, and initial prototype, 455-469 [Zbl 1286.68434]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Txx Artificial intelligence
00B25 Proceedings of conferences of miscellaneous specific interest
PDFBibTeX XMLCite
Full Text: DOI