|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 23 keywords
|
|
|
|
|
Results
Found 126 publication records. Showing 126 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, Maxim Hendriks |
Cross-Curriculum Search for Intergeo.  |
AISC/MKM/Calculemus  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida |
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer |
High-Level Theories. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk |
Automating Side Conditions in Formalized Partial Functions. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, functional programming, software verification, real-world applications, theorem provers |
| 1 | Peter Chapman, James McKinna, Christian Urban |
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
Nominal Isabelle, logic, automated reasoning, Formal mathematics |
| 1 | Alan Bundy |
Automating Signature Evolution in Logical Theories. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio 0001 |
Mediated Access to Symbolic Computation Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Ewen Denney, Christoph Lüth |
A Tactic Language for Hiproofs. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Distler, Tom Kelsey |
The Monoids of Order Eight and Nine. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez 0001 |
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
hidden algebras, symbolic computation, Coq proof assistant |
| 1 | Khalil Djelloul |
A Full First-Order Constraint Solver for Decomposable Theories. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Soboll |
On the Construction of Transformation Steps in the Category of Multiagent Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Zankl, Aart Middeldorp |
Increasing Interpretations. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
Related Topics implementations of symbolic computation systems, logic and symbolic computing |
| 1 | Serge Autexier, John A. Campbell, Julio Rubio 0001, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.) |
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp |
Search Techniques for Rational Polynomial Orders. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
Topics computer algebra systems and automated theorem provers, implementation and performance issues |
| 1 | Radim Rehurek, Petr Sojka |
Automated Classification and Categorization of Mathematical Knowledge. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura I. Meikle, Jacques D. Fleuriot |
Combining Isabelle and QEPCAD-B in the Prover's Palette. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport |
Effective Set Membership in Computer Algebra and Beyond. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine |
Case Studies in Model Manipulation for Scientific Computing. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Dietrich, Ewaryst Schulz, Marc Wagner 0001 |
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Stamerjohanns, Michael Kohlhase |
Transforming the arXiv to XML. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Peltier |
Automated Model Building: From Finite to Infinite Models. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Sloman |
Kantian Philosophy of Mathematics and Young Robots. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
learning mathematics, philosophy of mathematics, robot 3-D vision, self-extending architecture, epigenetic robotics |
| 1 | Jochen Pfalzgraf |
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
Computer Algebra (CA), Benchmarks for CA, Simulation, Artificial Neural Networks, Connectionism, Robotic Kinematics, Inverse Kinematics Problem |
| 1 | Jonathan Stratford, James H. Davenport |
Unit Knowledge Management. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #126 of 126 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license