AISC/MKM/Calculemus - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 411

2018

Towards an Automated GeometerFrancisco Botana, Zoltán Kovács, Tomás Recio. AISC 2018: 215-220 [doi]

Formalizing Some "Small" Finite Models of Projective Geometry in CoqDavid Braun, Nicolas Magaud, Pascal Schreck. AISC 2018: 54-69 [doi]

Automated Reasoning in the Age of the InternetAlan Bundy, Kwabena Nuamah, Christopher Lucas. AISC 2018: 3-18 [doi]

Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems GeometricallyChangbo Chen, Wenyuan Wu. AISC 2018: 170-180 [doi]

: A Linear Algebra Textbook SystemXiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang. AISC 2018: 209-214 [doi]

Methodologies of Symbolic ComputationJames H. Davenport. AISC 2018: 19-33 [doi]

A Formal Proof of the Computation of Hermite Normal Form in a General SettingJose Divasón, Jesús Aransay. AISC 2018: 37-53 [doi]

Into the Infinite - Theory Exploration for CoinductionSólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola. AISC 2018: 70-86 [doi]

Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, ProceedingsJacques D. Fleuriot, Dongming Wang, Jacques Calmet, editors, Volume 11110 of Lecture Notes in Computer Science, Springer, 2018. [doi]

What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?Fadoua Ghourabi, Kazuko Takahashi. AISC 2018: 139-154 [doi]

Machine Learning for Inductive Theorem ProvingYaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot. AISC 2018: 87-103 [doi]

A Chinese New Word Detection Approach Based on Independence TestingDongchen Jiang, Xiaoyu Chen, Xin Yang. AISC 2018: 227-236 [doi]

Autocorrelation via RunsIlias S. Kotsireas, Jing Yang. AISC 2018: 195-205 [doi]

Discovering Geometry Theorems in Regular PolygonsZoltán Kovács. AISC 2018: 155-169 [doi]

FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable SubsetsShaofan Liu, Jie Luo. AISC 2018: 104-118 [doi]

Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing ContestPengcheng Peng, Chenqi Mou, Wei-Tek Tsai. AISC 2018: 255-268 [doi]

Automatic Deduction in an AI Geometry BookPedro Quaresma. AISC 2018: 221-226 [doi]

Specialty-Aware Task Assignment in Spatial CrowdsourcingTianshu Song, Feng Zhu 0005, Ke Xu 0001. AISC 2018: 243-254 [doi]

Deciding Extended Modal Logics by Combining State Space Generation and SAT SolvingMartin Strecker. AISC 2018: 119-135 [doi]

The Accessibility of Mathematical Formulas for the Visually Impaired in ChinaWei Su, Chuan Cai, Jinzhao Wu. AISC 2018: 237-242 [doi]

Early Ending in Homotopy Path-Tracking for Real RootsYu Wang, Wenyuan Wu, Bican Xia. AISC 2018: 181-194 [doi]

2014

Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. ProceedingsGonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos, editors, Volume 8884 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Obtaining an ACL2 Specification from an Isabelle/HOL TheoryJesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Angel Luis Rubio, Julio Rubio. AISC 2014: 49-63 [doi]

Dynamic Symmetry Breaking in Itemset MiningBelaïd Benhamou. AISC 2014: 132-146 [doi]

Decomposition of Some Jacobian Varieties of Dimension 3Lubjana Beshaj, Tony Shaska. AISC 2014: 193-204 [doi]

A Direct Propagation Method in Singly Connected Causal Belief Networks with Conditional Distributions for all CausesOumaima Boussarsar, Imen Boukhris, Zied Elouedi. AISC 2014: 64-75 [doi]

Conformant Planning as a Case Study of Incremental QBF SolvingUwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler. AISC 2014: 120-131 [doi]

A Distance-Based Decision in the Credal LevelAmira Essaid, Arnaud Martin, Grégory Smits, Boutheina Ben Yaghlane. AISC 2014: 147-156 [doi]

A Rule-Based Expert System for Vaginal Cytology DiagnosisCarlos Gamallo-Chicano, Eugenio Roanes-Lozano, Carlos Gamallo-Amat. AISC 2014: 34-48 [doi]

A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner BasesShutaro Inoue, Yosuke Sato. AISC 2014: 88-98 [doi]

Multivalued Elementary Functions in Computer-Algebra SystemsDavid J. Jeffrey. AISC 2014: 157-167 [doi]

From Declarative Set Constraint Models to "Good" SAT InstancesFrédéric Lardeux, Eric Monfroy. AISC 2014: 76-87 [doi]

Models for Logics and Conditional Constraints in Automated Proofs of TerminationSalvador Lucas, José Meseguer. AISC 2014: 9-20 [doi]

Using Representation Theorems for Proving Polynomials Non-negativeSalvador Lucas. AISC 2014: 21-33 [doi]

Algorithmic Aspects of Theory BlendingMaricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease. AISC 2014: 180-192 [doi]

A Simple GUI for Developing Applications That Use Mathematical Software SystemsEugenio Roanes-Lozano, Antonio Hernando. AISC 2014: 99-119 [doi]

Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk)José-Luis Ruiz-Reina. AISC 2014: 1-6 [doi]

Rational Conchoid and Offset Constructions: Algorithms and ImplementationJuana Sendra, David Gómez, Valerio Morán. AISC 2014: 168-179 [doi]

Combining Systems for Mathematical Creativity (Invited Talk)Volker Sorge. AISC 2014: 7-8 [doi]

2012

Towards the Formal Specification and Verification of Maple ProgramsMuhammad Taimoor Khan 0001, Wolfgang Schreiner. AISC 2012: 231-247 [doi]

On Formal Specification of Maple ProgramsMuhammad Taimoor Khan 0001, Wolfgang Schreiner. AISC 2012: 443-447 [doi]

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical FormalizationChristoph Lange 0002, Oliver Kutz, Till Mossakowski, Michael Grüninger. AISC 2012: 463-467 [doi]

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open DatasetChristoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou. AISC 2012: 458-462 [doi]

Dependencies in Formal Mathematics: Applications and Extraction for Coq and MizarJesse Alama, Lionel Mamane, Josef Urban. AISC 2012: 1-16 [doi]

A Web Interface for MatitaAndrea Asperti, Wilmer Ricciotti. AISC 2012: 417-421 [doi]

Proof, Message and CertificateAndrea Asperti. AISC 2012: 17-31 [doi]

MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and TextJosef B. Baker, Alan P. Sexton, Volker Sorge. AISC 2012: 422-426 [doi]

Challenges and Experiences in Managing Large-Scale ProofsTimothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski. AISC 2012: 32-48 [doi]

New Developments in Parsing MizarCzeslaw Bylinski, Jesse Alama. AISC 2012: 427-431 [doi]

Theory Presentation CombinatorsJacques Carette, Russell O'Connor. AISC 2012: 202-215 [doi]

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description)Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang. AISC 2012: 432-437 [doi]

Semantic Alliance: A Framework for Semantic AlliesCatalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase. AISC 2012: 49-64 [doi]

Reasoning on Schemata of FormulæMnacho Echenim, Nicolas Peltier. AISC 2012: 310-325 [doi]

Verifying an Algorithm Computing Discrete Vector Fields for Digital ImagingJónathan Heras, María Poza, Julio Rubio. AISC 2012: 216-230 [doi]

Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)Stefan Hetzl. AISC 2012: 438-442 [doi]

Extending MKM Formats at the Statement LevelFulya Horozal, Michael Kohlhase, Florian Rabe. AISC 2012: 65-80 [doi]

A Streaming Digital Ink Framework for Multi-party CollaborationRui Hu, Vadim Mazalov, Stephen M. Watt. AISC 2012: 81-95 [doi]

Management of Change in Declarative LanguagesMihnea Iancu, Florian Rabe. AISC 2012: 326-341 [doi]

Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. ProceedingsJohan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, editors, Volume 7362 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Cost-Effective Integration of MKM Semantic Services into Editing EnvironmentsConstantin Jucovschi. AISC 2012: 96-110 [doi]

DynGenPar - A Dynamic Generalized Parser for Common Mathematical LanguageKevin Kofler, Arnold Neumaier. AISC 2012: 386-401 [doi]

MathWebSearch 0.5: Scaling an Open Formula Search EngineMichael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu. AISC 2012: 342-357 [doi]

The Planetary Project: Towards eMath3.0Michael Kohlhase. AISC 2012: 448-452 [doi]

Tentative Experiments with Ellipsis in MizarArtur Kornilowicz. AISC 2012: 453-457 [doi]

Understanding the Learners' Actions when Using Mathematics Learning ToolsPaul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin. AISC 2012: 111-126 [doi]

Formalizing Frankl's Conjecture: FC-FamiliesFilip Maric, Miodrag Zivkovic, Bojan Vuckovic. AISC 2012: 248-263 [doi]

Towards Understanding Triangle Construction ProblemsVesna Marinkovic, Predrag Janicic. AISC 2012: 127-142 [doi]

Writing on CloudsVadim Mazalov, Stephen M. Watt. AISC 2012: 402-416 [doi]

CDCL-Based Abstract State Transition System for Coherent LogicMladen Nikolic, Predrag Janicic. AISC 2012: 264-279 [doi]

Real Algebraic Strategies for MetiTarski ProofsGrant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura. AISC 2012: 358-370 [doi]

A Query Language for Formal Mathematical LibrariesFlorian Rabe. AISC 2012: 143-158 [doi]

A System for Axiomatic ProgrammingGabriel Dos Reis. AISC 2012: 295-309 [doi]

A Combinator Language for Theorem DiscoveryPhil Scott, Jacques D. Fleuriot. AISC 2012: 371-385 [doi]

Abramowitz and Stegun - A Resource for Mathematical Document AnalysisAlan P. Sexton. AISC 2012: 159-168 [doi]

Point-and-Write - Documenting Formal Mathematics by ReferenceCarst Tankink, Christoph Lange 0002, Josef Urban. AISC 2012: 169-185 [doi]

Isabelle/jEdit - A Prover IDE within the PIDE FrameworkMakarius Wenzel. AISC 2012: 468-471 [doi]

An Essence of SSReflectIain Whiteside, David Aspinall, Gudmund Grov. AISC 2012: 186-201 [doi]

Speeding Up Cylindrical Algebraic Decomposition by Gröbner BasesDavid J. Wilson, Russell J. Bradford, James H. Davenport. AISC 2012: 280-294 [doi]

2010

Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. ProceedingsSerge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, editors, Volume 6167 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Structured Formal Development with Quotient Types in Isabelle/HOLMaksym Bortin, Christoph Lüth. AISC 2010: 34-48 [doi]

Formal Proof of SCHUR Conjugate FunctionFranck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet. AISC 2010: 158-171 [doi]

A Revisited Perspective on Symbolic Mathematical Computing and Artificial IntelligenceJacques Calmet, John A. Campbell. AISC 2010: 14-18 [doi]

Symbolic Domain DecompositionJacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt. AISC 2010: 172-188 [doi]

Mechanized MathematicsJacques Carette. AISC 2010: 157 [doi]

An OpenMath Content Dictionary for Tensor ConceptsJoseph B. Collins. AISC 2010: 293-299 [doi]

Computing in Coq with Infinite Algebraic Data StructuresCésar Domínguez, Julio Rubio. AISC 2010: 204-218 [doi]

Instantiation of SMT Problems Modulo IntegersMnacho Echenim, Nicolas Peltier. AISC 2010: 49-63 [doi]

On Krawtchouk TransformsPhilip Feinsilver, René Schott. AISC 2010: 64-75 [doi]

On Duplication in Mathematical RepositoriesAdam Grabowski, Christoph Schwarzweller. AISC 2010: 300-314 [doi]

Proofs, Proofs, Proofs, and ProofsManfred Kerber. AISC 2010: 345-354 [doi]

A Mathematical Model of the Competition between Acquired Immunity and VirusMikhail K. Kolev. AISC 2010: 76-88 [doi]

Notations Around the World: Census and ExploitationPaul Libbrecht. AISC 2010: 398-410 [doi]

How to Correctly Prune Tropical TreesJean-Vincent Loddo, Luca Saiu. AISC 2010: 101-115 [doi]

Evidence Algorithm and System for Automated Deduction: A Retrospective ViewAlexander V. Lyaletski, Konstantin Verchinine. AISC 2010: 411-426 [doi]

Formally Verified Conditions for Regularity of Interval MatricesIoana Pasca. AISC 2010: 219-233 [doi]

On Building a Knowledge Base for Stability TheoryAgnieszka Rowinska-Schwarzweller, Christoph Schwarzweller. AISC 2010: 427-439 [doi]

Proviola: A Tool for Proof Re-animationCarst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk. AISC 2010: 440-454 [doi]

A Unified Formal Description of Arithmetic and Set Theoretical Data TypesPaul Tarau. AISC 2010: 247-261 [doi]

A Wiki for Mizar: Motivation, Considerations, and Initial PrototypeJosef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers. AISC 2010: 455-469 [doi]

Automated Reasoning and Presentation Support for Formalizing Mathematics in MizarJosef Urban, Geoff Sutcliffe. AISC 2010: 132-146 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

AISC/MKM/Calculemus (AISC)

Viewing Publication 1 - 100 from 411

2018

2014

2012

2010

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

AISC/MKM/Calculemus (AISC)

Viewing Publication 1 - 100 from 411

2018

2014

2012

2010

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1