|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17976 occurrences of 6591 keywords
|
|
|
Results
Found 65387 publication records. Showing 65387 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Liviu Dan Serban, Gheorghe Cosmin Silaghi, Cristian Marius Litan |
AgentFSEGA: Time Constrained Reasoning Model for Bilateral Multi-Issue Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Agent-Based Complex Automated Negotiations ![In: New Trends in Agent-Based Complex Automated Negotiations, pp. 159-165, 2012, Springer, 978-3-642-24695-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Katsuhide Fujita, Takayuki Ito 0001, Mark Klein |
The Effect of Grouping Issues in Multiple Interdependent Issues Negotiation based on Cone-Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Agent-Based Complex Automated Negotiations ![In: New Trends in Agent-Based Complex Automated Negotiations, pp. 39-55, 2012, Springer, 978-3-642-24695-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Simone A. Ludwig, Thomas Schoene |
Matchmaking in Multi-attribute Auctions using a Genetic Algorithm and a Particle Swarm Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Agent-Based Complex Automated Negotiations ![In: New Trends in Agent-Based Complex Automated Negotiations, pp. 81-98, 2012, Springer, 978-3-642-24695-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Shuichi Moritsugu |
Extending the Descartes Circle Theorem for Steiner n-Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 48-58, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Mathis, Pascal Schreck |
Equation Systems with Free-Coordinates Determinants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 59-70, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Ciprian Borcea, Ileana Streinu |
Realizations of Volume Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 110-119, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Gabriel Braun, Julien Narboux |
From Tarski to Hilbert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 89-109, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Umair Siddique, Vincent Aravantinos, Sofiène Tahar |
On the Formal Analysis of Geometrical Optics in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 161-180, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk |
Algebraic Analysis of Huzita's Origami Operations and Their Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 143-160, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Christophe Brun, Jean-François Dufourd, Nicolas Magaud |
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 71-88, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | John Christopher Bowers, Ileana Streinu |
Rigidity of Origami Universal Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 120-142, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Jing Yang 0039, Dongming Wang 0001, Hoon Hong |
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 33-47, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Dongming Wang 0001 |
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 31-32, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Michael Beeson |
Proof and Computation in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 1-30, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Sturm 0001, Christoph Zengler (eds.) |
Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 978-3-642-21045-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.) |
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 978-3-642-25069-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | |
Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![AAAI The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit |
Designing Reactive Robot Controllers with LTLMoP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | John Enright, Peter R. Wurman |
Optimization and Coordinated Autonomy in Mobile Fulfillment Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Brian Coltin, Manuela M. Veloso, Rodrigo Ventura 0001 |
Dynamic User Task Scheduling for Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Barbara Frank, Cyrill Stachniss, Nichola Abdo, Wolfram Burgard |
Using Gaussian Process Regression for Efficient Motion Planning in Environments with Deformable Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Zachary Ramaekers, Raj Dasgupta, Vladimir Ufimtsev, S. G. M. Hossain, Carl A. Nelson |
Self-Reconfiguration in Modular Robots Using Coalition Games with Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Ugur C. Usug, Sanem Sariel Talay |
Dynamic Temporal Planning for Multirobot Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Michael Misha Novitzky |
Improvement of Multi-AUV Cooperation through Teammate Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Stephanie Rosenthal, Manuela M. Veloso, Anind K. Dey |
Task Behavior and Interaction Planning for a Mobile Service Robot that Occasionally Requires Help. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Moritz Göbelbecker, Alper Aydemir, Andrzej Pronobis, Kristoffer Sjöö, Patric Jensfelt |
A Planning Approach to Active Visual Search in Large Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Ezequiel Quintero, Vidal Alcázar, Daniel Borrajo, Juan Fernández-Olivares, Fernando Fernández 0001, Angel García Olaya, Cesar Guzman, Eva Onaindia, David Prior |
Autonomous Mobile Robot Control and Learning with the PELEA Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Dominik Off, Jianwei Zhang 0001 |
Continual HTN Robot Task Planning in Open-Ended Domains: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Shiqi Zhang 0001, Mohan Sridharan |
Visual Search and Multirobot Collaboration Based on Hierarchical Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Tapio Taipalus |
Execution and Representation of Actions and Plans in ActionPool Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Mario Gianni, Panagiotis Papadakis, Fiora Pirri, Ming Liu 0001, François Pomerleau, Francis Colas, Karel Zimmermann, Tomás Svoboda, Tomás Petrícek 0002, Geert-Jan M. Kruijff, Harmish Khambhaita, Hendrik Zender |
A Unified Framework for Planning and Execution-Monitoring of Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher |
How to Plan When Being Deliberately Misled. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Alexei V. Samsonovich, Giorgio A. Ascoli |
NeuroNavigator: A Hippocampus-Inspired Cognitive Architecture for Spiking Network Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Action Planning for Autonomous Mobile Robots ![In: Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Akira Namatame |
Diffusion and Emergence in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 231-247, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Gary G. Yen |
Evolutionary Based Adaptive User Interfaces in Complex Supervisory Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 150-172, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Ajoy Kumar Palit, Walter Anheier |
Efficient Training Algorithm for Neuro-Fuzzy Network and its Application to Nonlinear Sensor Characteristic Linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 72-90, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Flávio Teixeira, Alexandre Ricardo Soares Romariz |
Statistical Analysis of Computational Intelligence Algorithms on a Multi-Objective Filter Design Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 193-229, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Esteban Tlelo-Cuautle, Ivick Guerra-Gómez, Carlos A. Reyes García, Miguel Aurelio Duarte-Villaseñor |
Synthesis of Analog Circuits by Genetic Algorithms and their Optimization by Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 173-192, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Weise 0001, Raymond Chiong |
Evolutionary Approaches and Their Applications to Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 114-149, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Paolo Renna |
A Performance Comparison between Efficiency and Pheromone Approaches in Dynamic Manufacturing Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 273-298, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Andres Upegui |
Dynamically Reconfigurable Hardware for Evolving Bio-Inspired Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 1-22, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Li-Minn Ang, King Hann Lim, Kah Phooi Seng, Siew Wen Chin |
A Lyapunov Theory-Based Neural Network Approach for Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 23-48, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Mariusz Boryczka |
Ant Colony Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 248-272, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Salvador García 0001, José Ramón Cano, Francisco Herrera |
A Review on Evolutionary Prototype Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 92-113, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Marcelo Keese Albertini, Rodrigo Fernandes de Mello |
A Self-Organizing Neural Network to Approach Novelty Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Systems for Automated Learning and Adaptation ![In: Intelligent Systems for Automated Learning and Adaptation: Emerging Trends and Applications, pp. 49-71, 2010, IGI Global, 9781605667997. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Dominique Michelucci |
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 118-131, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Dominique Michelucci |
What Is a Line ? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 132-151, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Quaresma |
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 169-181, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Susanne Apel, Jürgen Richter-Gebert |
Cancellation Patterns in Automatic Geometric Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 1-33, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Laurent Fuchs, Laurent Théry |
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 51-67, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Sana Stojanovic, Vesna Pavlovic, Predrag Janicic |
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 201-220, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Jacques D. Fleuriot |
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 34-50, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Phil Scott, Jacques D. Fleuriot |
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 182-200, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Lichtblau |
The Midpoint Locus of a Triangle in a Corner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 98-117, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Michael Gerhäuser, Alfred Wassermann |
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 68-77, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | |
Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![AAAI The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Benjamin Grégoire, Loïc Pottier, Laurent Théry |
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 42-59, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Gerald Bourgeois, Sébastien Orange |
Dynamical Systems of Simplices in Dimension Two or Three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 1-21, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Deepak Kapur, Manfred Minimair |
Multivariate Resultants in Bernstein Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 60-85, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Fernando San Segundo, J. Rafael Sendra |
Offsetting Revolution Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 179-188, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Nicolas Magaud, Julien Narboux, Pascal Schreck |
Formalizing Projective Plane Geometry in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 141-162, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zhenbing Zeng, Liangyu Chen 0001 |
On the Heilbronn Optimal Configuration of Seven Points in the Square. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 196-224, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao |
An Introduction to Java Geometry Expert - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 189-195, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Xiaoyu Chen 0001, Ying Huang, Dongming Wang 0001 |
On the Design and Implementation of a Geometric Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 22-41, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Aless Lasaruk, Thomas Sturm 0001 |
Automatic Verification of the Adequacy of Models for Families of Geometric Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 116-140, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Heinz Kredel |
Unique Factorization Domains in the Java Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 86-115, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Dominique Michelucci, Christoph Fünfzig |
Linear Programming for Bernstein Based Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers, pp. 163-178, 2008, Springer, 978-3-642-21045-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Selmer Bringsjord, Andrew Shilliday |
Organizing Committee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | David D. Jensen, Andrew S. Fast, Brian J. Taylor, Marc E. Maier, Matthew J. Rattigan |
Automatic Identification of Quasi-Experimental Designs for Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, pp. 24-25, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Alan Bundy |
Why Ontology Evolution is Essential in Modeling Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, pp. 8-9, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Konstantine Arkoudas |
Automatically Discovering Euler's Identity via Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, pp. 1-7, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Joshua Taylor, Selmer Bringsjord |
Discovery Using Heterogeneous Combined Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, pp. 30-, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Michael Chan 0002, Alan Bundy |
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, pp. 10-17, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Andrew Shilliday |
Infinitary Model Finding in Support of Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Automated Scientific Discovery ![In: Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, pp. 28-29, 2008, AAAI. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Francisco Botana, Tomás Recio (eds.) |
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 978-3-540-77355-9 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Hoon Hong, Dongming Wang 0001 (eds.) |
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 3-540-31332-X The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Julien Narboux |
Mechanical Theorem Proving in Tarski's Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 139-156, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Predrag Janicic, Pedro Quaresma |
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 39-51, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Lichtblau |
Cylinders Through Five Points: Complex and Real Enumerative Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 80-97, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Enumerative geometry, Gröbner bases, nonlinear systems |
23 | Eugenio Roanes-Macías, Eugenio Roanes-Lozano |
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 171-188, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Pavel Pech |
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 157-170, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Robert H. Lewis, Evangelos A. Coutsias |
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 68-79, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Lu Yang, Zhenbing Zeng |
Constructing a Tetrahedron with Prescribed Heights and Widths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 203-211, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generalized Cayley-Menger algebra, widths of a tetrahedron, geometric constraint solving |
23 | Philip H. Todd |
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 189-202, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Thomas C. Hales |
Equidecomposable Quadratic Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 24-38, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Montes, Tomás Recio |
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 113-138, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving |
23 | Dominique Michelucci, Sebti Foufou |
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 98-112, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Franz Winkler 0001 (eds.) |
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 3-540-20927-1 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Britta Denner-Broser |
On the Decidability of Tracing Problems in Dynamic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 111-129, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Gui-Fang Zhang, Xiao-Shan Gao |
Planar Generalized Stewart Platforms and Their Direct Kinematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 198-211, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Planar generalized Stewart platform, direct kinematics, geometric constraint solving, closed-form solution |
23 | Hongbo Li 0012 |
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 169-197, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Structural Reconstruction, Grassmann-Cayley Algebra, Local Propagation, Polyhedra, Geometric Reconstruction |
23 | Francisco Botana, Tomás Recio |
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 92-110, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Pavel Pech |
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 44-58, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | XueFeng Chen, Peng Li, Long Lin, DingKang Wang |
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 34-43, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Tielin Liang, Dongming Wang 0001 |
Towards a Geometric-Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 130-155, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Lu Yang, Zhenbing Zeng |
Symbolic Solution of a Piano Movers' Problem with Four Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 59-69, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Laura I. Meikle, Jacques D. Fleuriot |
Mechanical Theorem Proving in Computational Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 1-18, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov |
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 156-168, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Lichtblau |
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 70-91, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Hans-Gert Gräbe |
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 67-86, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 65387 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|