Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Chao-Chih Yang |
Deduction Graphs: An Algorithm and Applications. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
deduction graph, function-free Horn formula, logic queries, artificial intelligence, logic programming, logic programming, relational database, relational databases, expert systems, database theory, inference mechanisms, functional dependency, Horn clauses, polynomial time complexity, rule-based expert systems, inference problem |
36 | Natarajan Shankar |
Automated deduction for verification. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
|
36 | José L. Balcázar |
Deduction Schemes for Association Rules. |
Discovery Science |
2008 |
DBLP DOI BibTeX RDF |
deductive calculus, Association rules, redundancy |
36 | Zengchang Qin, Marcus Thint, Mirza Mohd. Sufyan Beg |
Deduction Engine Design for PNL-Based Question Answering System. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Guillaume Burel |
Unbounded Proof-Length Speed-Up in Deduction Modulo. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
rewriting, arithmetic, higher order logic, proof theory |
36 | Olaf Beyersdorff |
The Deduction Theorem for Strong Propositional Proof Systems. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Andreas Dandalis, Viktor K. Prasanna |
Run-time performance optimization of an FPGA-based deduction engine for SAT solvers. |
ACM Trans. Design Autom. Electr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
reconfigurable components, reconfigurable computing, configurable, high performance, Boolean satisfiability, reconfigurable systems, Adaptive computing, performance trade-offs |
36 | José Espírito Santo |
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001 |
A General Theory of Deduction, Induction, and Learning. |
Discovery Science |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Andreas Dandalis, Viktor K. Prasanna, Bharani Thiruvengadam |
Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers. |
FPL |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Annie Foret |
On Mixing Deduction and Substitution in Lambek Categorial Grammars. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Michaël Rusinowitch |
Rewriting for Deduction and Verification. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Michael Leuschel, Helko Lehmann |
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Geoff Sutcliffe |
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Maria Paola Bonacina, Jieh Hsiang |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Michel Parigot |
Free Deduction: An Analysis of "Computations" in Classical Logic. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
35 | Tetsuo Ida, Jacques D. Fleuriot (eds.) |
Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers |
Automated Deduction in Geometry |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Shuichi Moritsugu |
Extending the Descartes Circle Theorem for Steiner n-Cycles. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Pascal Mathis, Pascal Schreck |
Equation Systems with Free-Coordinates Determinants. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Sana Stojanovic |
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Ciprian Borcea, Ileana Streinu |
Realizations of Volume Frameworks. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Gabriel Braun, Julien Narboux |
From Tarski to Hilbert. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Umair Siddique, Vincent Aravantinos, Sofiène Tahar |
On the Formal Analysis of Geometrical Optics in HOL. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk |
Algebraic Analysis of Huzita's Origami Operations and Their Extensions. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Christophe Brun, Jean-François Dufourd, Nicolas Magaud |
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | John Christopher Bowers, Ileana Streinu |
Rigidity of Origami Universal Molecules. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Jing Yang 0039, Dongming Wang 0001, Hoon Hong |
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Dongming Wang 0001 |
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Michael Beeson |
Proof and Computation in Geometry. |
Automated Deduction in Geometry |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Thomas Sturm 0001, Christoph Zengler (eds.) |
Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers |
Automated Deduction in Geometry |
2011 |
DBLP DOI BibTeX RDF |
|
35 | 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 |
Automated Deduction in Geometry |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Pavel Pech |
On One Method of Proving Inequalities in Automated Way. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Dominique Michelucci |
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Dominique Michelucci |
What Is a Line ? |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Pedro Quaresma |
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Fadoua Ghourabi, Tetsuo Ida, Asem Kasem |
Proof Documents for Automated Origami Theorem Proving. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Susanne Apel, Jürgen Richter-Gebert |
Cancellation Patterns in Automatic Geometric Theorem Proving. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Laurent Fuchs, Laurent Théry |
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Sana Stojanovic, Vesna Pavlovic, Predrag Janicic |
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Yu Zou, Jingzhong Zhang |
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Jacques D. Fleuriot |
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Phil Scott, Jacques D. Fleuriot |
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Lichtblau |
The Midpoint Locus of a Triangle in a Corner. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Michael Gerhäuser, Alfred Wassermann |
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow (eds.) |
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 |
Interaction versus Automation: The two Faces of Deduction |
2009 |
DBLP BibTeX RDF |
|
35 | Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow |
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. |
Interaction versus Automation: The two Faces of Deduction |
2009 |
DBLP BibTeX RDF |
|
35 | Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp |
Inductive Theorem Proving meets Dependency Pairs. |
Interaction versus Automation: The two Faces of Deduction |
2009 |
DBLP BibTeX RDF |
|
35 | Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke 0001 |
Termination of Integer Term Rewriting. |
Interaction versus Automation: The two Faces of Deduction |
2009 |
DBLP BibTeX RDF |
|
35 | Viorica Sofronie-Stokkermans |
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms. |
Interaction versus Automation: The two Faces of Deduction |
2009 |
DBLP BibTeX RDF |
|
35 | Benjamin Grégoire, Loïc Pottier, Laurent Théry |
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Gerald Bourgeois, Sébastien Orange |
Dynamical Systems of Simplices in Dimension Two or Three. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Deepak Kapur, Manfred Minimair |
Multivariate Resultants in Bernstein Basis. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Fernando San Segundo, J. Rafael Sendra |
Offsetting Revolution Surfaces. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Nicolas Magaud, Julien Narboux, Pascal Schreck |
Formalizing Projective Plane Geometry in Coq. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Zhenbing Zeng, Liangyu Chen 0001 |
On the Heilbronn Optimal Configuration of Seven Points in the Square. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao |
An Introduction to Java Geometry Expert - (Extended Abstract). |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Xiaoyu Chen 0001, Ying Huang, Dongming Wang 0001 |
On the Design and Implementation of a Geometric Knowledge Base. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Aless Lasaruk, Thomas Sturm 0001 |
Automatic Verification of the Adequacy of Models for Families of Geometric Objects. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Heinz Kredel |
Unique Factorization Domains in the Java Computer Algebra System. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Dominique Michelucci, Christoph Fünfzig |
Linear Programming for Bernstein Based Solvers. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Francisco Botana, Tomás Recio (eds.) |
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers |
Automated Deduction in Geometry |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (eds.) |
Deduction and Decision Procedures, 30.09. - 05.10.2007 |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
35 | Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl |
Implementing RPO and POLO using SAT. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
35 | René Thiemann, Jürgen Giesl, Peter Schneider-Kamp |
Decision Procedures for Loop Detection. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
35 | Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs |
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
35 | Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli |
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
35 | Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik |
Termination of Programs using Term Rewriting and SAT Solving. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
35 | Hoon Hong, Dongming Wang 0001 (eds.) |
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Franz Baader, Peter Baumgartner 0001, Robert Nieuwenhuis, Andrei Voronkov (eds.) |
Deduction and Applications, 23.-28. October 2005 |
Deduction and Applications |
2006 |
DBLP BibTeX RDF |
|
35 | Julien Narboux |
Mechanical Theorem Proving in Tarski's Geometry. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Predrag Janicic, Pedro Quaresma |
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Xiaoyu Chen 0001, Dongming Wang 0001 |
Towards an Electronic Geometry Textbook. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Lichtblau |
Cylinders Through Five Points: Complex and Real Enumerative Geometry. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
Enumerative geometry, Gröbner bases, nonlinear systems |
35 | Eugenio Roanes-Macías, Eugenio Roanes-Lozano |
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Peter Lebmeir, Jürgen Richter-Gebert |
Recognition of Computationally Constructed Loci. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Pavel Pech |
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Robert H. Lewis, Evangelos A. Coutsias |
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Lu Yang, Zhenbing Zeng |
Constructing a Tetrahedron with Prescribed Heights and Widths. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
generalized Cayley-Menger algebra, widths of a tetrahedron, geometric constraint solving |
35 | Philip H. Todd |
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Thomas C. Hales |
Equidecomposable Quadratic Regions. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Antonio Montes, Tomás Recio |
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving |
35 | Dominique Michelucci, Sebti Foufou |
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Viktor Kuncak, Martin C. Rinard, Bruno Marnette |
On Algorithms and Complexity for Sets with Cardinality Constraints. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
35 | Jürgen Giesl, René Thiemann, Peter Schneider-Kamp |
Proving and Disproving Termination in the Dependency Pair Framework. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
35 | Jörg H. Siekmann |
Proof Presentation. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
35 | Deepak Kapur |
Automatically Generating Loop Invariants Using Quantifier Elimination. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
35 | Franz Winkler 0001 (eds.) |
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger |
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Britta Denner-Broser |
On the Decidability of Tracing Problems in Dynamic Geometry. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Gui-Fang Zhang, Xiao-Shan Gao |
Planar Generalized Stewart Platforms and Their Direct Kinematics. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
Planar generalized Stewart platform, direct kinematics, geometric constraint solving, closed-form solution |
35 | Hongbo Li 0012 |
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
Structural Reconstruction, Grassmann-Cayley Algebra, Local Propagation, Polyhedra, Geometric Reconstruction |
35 | Francisco Botana, Tomás Recio |
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Pavel Pech |
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | XueFeng Chen, Peng Li, Long Lin, DingKang Wang |
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Tielin Liang, Dongming Wang 0001 |
Towards a Geometric-Object-Oriented Language. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Lu Yang, Zhenbing Zeng |
Symbolic Solution of a Piano Movers' Problem with Four Parameters. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Laura I. Meikle, Jacques D. Fleuriot |
Mechanical Theorem Proving in Computational Geometry. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov |
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Lichtblau |
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Hans-Gert Gräbe |
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. |
Automated Deduction in Geometry |
2002 |
DBLP DOI BibTeX RDF |
|