close
1.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
2.

電子ブック

EB
Serge Autexier, John Campbell, Julio Rubio, Jörg Siekmann, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2008
Invited Talks
Symmetry and Search - A Survey / Steve Linton
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra / Jochen Pfalzgraf
Contributed Papers
Applying Link Grammar Formalismin the Development of English-Indonesian Machine Translation System / Teguh Bharata Adji ; Baharum Baharudin ; Norshuhani Zamin
Case Studies in Model Manipulation for Scientific Computing / Jacques Carette ; Spencer Smith ; John McCutchan ; Christopher Anand ; Alexandre Korobkine
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle / Peter Chapman ; James McKinna ; Christian Urban
AISC Meets Natural Typography / James H. Davenport
The Monoids of Order Eight and Nine / Andreas Distler ; Tom Kelsey
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation / Lucas Dixon ; Ross Duncan
A Full First-Order Constraint Solver for Decomposable Theories / Khalil Djelloul
Search Techniques for Rational Polynomial Orders / Carsten Fuhs ; Rafael Navarro-Marset ; Carsten Otto ; Jurgen Giesl ; Salvador Lucas ; Peter Schneider-Kamp
Strategies for Solving SAT in Grids by Randomized Search / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Towards an Implementation of a Computer Algebra System in a Functional Language / Oleg Lobachev ; Rita Loogen
Automated Model Building: From Finite to Infinite Models / Nicolas Peltier
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple / Eugenio Roanes-Lozano ; Luis M. Laita ; Eugenio Roanes-Macias
On the Construction of Transformation Steps in the Category of Multiagent Systems / Thomas Soboll
Increasing Interpretations / Harald Zankl ; Aart Middeldorp
Contributions to Calculemus 2008
Invited Talk
Validated Evaluation of Special Mathematical Functions / Franky Backeljauw ; Stefan Becuwe ; Annie Cuyt
MetiTarski: An Automatic Prover for the Elementary Functions / Behzad Akbarpour ; Lawrence C. Paulson
High-Level Theories / William M. Farmer
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL / Amine Chaieb
A Global Workspace Framework for Combining Reasoning Systems / John Charnley ; Simon Colton
Effective Set Membership in Computer Algebra and Beyond
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems / Cesar Dominguez
Symbolic Computation Software Composability / Sebastian Freundt ; Peter Horn ; Alexander Konovalov ; Dan Roozemond
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server / J. Santiago Jorge ; Victor M. Gulias ; Laura M. Castro
Automating Side Conditions in Formalized Partial Functions / Cezary Kaliszyk
Combining Isabelle and QEPCAD-B in the Prover's Palette / Laura I. Meikle ; Jacques D. Fleuriot
Contributions to MKM 2008
Digital Mathematics Libraries: The Good, the Bad, the Ugly / Thierry Bouche
Automating Signature Evolution in Logical Theories / Alan Bundy
A Tactic Language for Hiproofs / David Aspinall ; Ewen Denney ; Christoph Luth
Logic-Free Reasoning in Isabelle/Isar / Stefan Berghofer ; Makarius Wenzel
A Mathematical Type for Physical Variables / Joseph B. Collins
Unit Knowledge Management / Jonathan Stratford
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors / Dominik Dietrich ; Ewaryst Schulz ; Marc Wagner
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar / Akio Fujiyoshi ; Masakazu Suzuki ; Seiichi Uchida
Specifying Strategies for Exercises / Bastiaan Heeren ; Johan Jeuring ; Arthur van Leeuwen ; Alex Gerdes
Mediated Access to Symbolic Computation Systems / Jonathan Heras ; Vico Pascual ; Julio Rubio
Herbrand Sequent Extraction / Stefan Hetzl ; Alexander Leitsch ; Daniel Weller ; Bruno Woltzenlogel Paleo
Visual Mathematics: Diagrammatic Formalization and Proof / John Howse ; Gem Stapleton
Normalization Issues in Mathematical Representations / Manfred Kerber
Notations for Living Mathematical Documents / Michael Kohlhase ; Christine Muller ; Florian Rabe
Cross-Curriculum Search for Intergeo / Paul Libbrecht ; Cyrille Desmoulins ; Christian Mercat ; Colette Laborde ; Michael Dietrich ; Maxim Hendriks
Augmenting Presentation MathML for Search / Bruce R. Miller ; Abdou Youssef
Automated Classification and Categorization of Mathematical Knowledge / Radim Rehurek ; Petr Sojka
Kantian Philosophy of Mathematics and Young Robots / Aaron Sloman
Transforming the arxiv to XML / Heinrich Stamerjohanns
On Correctness of Mathematical Texts from a Logical and Practical Point of View / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich ; Anatoly Anisimov
Author Index
Contributions to AISC 2008
Invited Talks
Symmetry and Search - A Survey / Steve Linton
3.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼