Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Zhenbing Zeng, Meijing Shan |
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
Heilbronn triangular problem, nonlinear programming problem, semi-mechanization method, combinatorial geometry |
84 | Milos Besta, Frank A. Stomp |
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
80 | Na Jia, Changle Pang, Zhuomao E |
Study on Expert System for Towed Water-saving Irrigation Mechanization Technology. |
CCTA |
2007 |
DBLP DOI BibTeX RDF |
water-saving irrigation, towed watersaving irrigation mechanization technology, artificial intelligence, expert system |
69 | Milos Besta, Frank A. Stomp |
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
formal methods, pattern matching, theorem proving, PVS |
65 | Wenjun Wu 0003, Xiao-Shan Gao |
Mathematics mechanization and applications after thirty years. |
Frontiers Comput. Sci. China |
2007 |
DBLP DOI BibTeX RDF |
mathematics mechanization, characteristic set method, automated theorem discovering, symbolic equation solving, intelligent computer-aided design, computer vision, robotics, automated theorem proving, computer aided geometric design |
58 | Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun |
Intrinsic Differential Geometry with Geometric Calculus. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra |
42 | Kui Zhou, Ding Feng 0001, Chaobin Huang, Peng Wang, Jin Liu, Shouyong Li |
Intelligent Robot Manipulator's Application in the Racking of Drill Pipe. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
Drill pipe, Manipulator, Mechanization, Intelligent robot |
42 | Hongbo Li 0012, Ronghua Xu, Ning Zhang |
On Miquel's Five-Circle Theorem. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra |
38 | Dominique Bolignano |
Towards a Mechanization of Cryptographic Protocal Verification. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Manfred Kerber, Michael Kohlhase |
A Mechanization of Strong Kleene Logic for Partial Functions. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Roger H. Simonsen, D. Louise Anketell |
Mechanization of the curve fitting process: DATAN. |
Commun. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
31 | Richard D. Patton, Peter C. Patton |
What Can Be Automated? What Cannot Be Automated?. |
Handbook of Automation |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Martin Hepp, Frank Leymann, John Domingue, Alexander Wahler, Dieter Fensel |
Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Sidi O. Ehmety, Lawrence C. Paulson |
Program Composition in Isabelle/UNITY. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
program composition, universal and existential properties, UNITY, Isabelle |
31 | Robert Paige |
Transformational Programming - Applications to Algorithms and Systems. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
31 | L. S. Baumann, R. D. Coop |
Automated workflow control: a key to office productivity. |
AFIPS National Computer Conference |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Saul Gorn |
Summary remarks. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
27 | Ned Chapin |
Symbolic analysis methods for information systems. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
application mechanization, formalized analysis techniques, symbolic analysis methods, systems automation, information systems, system design, system analysis, data processing |
23 | Noé De Santo, Aurèle Barrière, Clément Pit-Claudel |
A Coq Mechanization of JavaScript Regular Expression Semantics. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Ende Jin, Nada Amin, Yizhou Zhang 0001 |
Extensible Metatheory Mechanization via Family Polymorphism. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Cobb |
The Representation of Knowledge and the Relevance of Biological Models at the Symposium on the Mechanization of Thought Processes, 1958. |
IEEE Ann. Hist. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Niklas Heidler |
Mechanization of LAGC Semantics in Isabelle. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
23 | Miguel Pagano, José E. Solsona |
Nominal Sets in Agda - A Fresh and Immature Mechanization. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
Mechanization of a Large DSML: An Experiment with AADL and Coq. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Qiangwen Fu, Qi Zhou, Gongmin Yan, Sihai Li, Feng Wu |
Unified All-Earth Navigation Mechanization and Virtual Polar Region Technology. |
IEEE Trans. Instrum. Meas. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jian Chen, Xiaohua Chen, Qingyan Zeng, Ishbir Singh, Amit Sharma |
Internet of Things-Based Agricultural Mechanization Using Neural Network Extreme Learning on Rough Set. |
Int. J. Agric. Environ. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Schreck, Nicolas Magaud, David Braun |
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Lubin Chang, Jingbo Di, Fangjun Qin |
Inertial based Integration with Transformed INS Mechanization in Earth Frame. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
23 | Xiao-Shan Gao |
New Developments of Mathematics Mechanization. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Momtaz Isaak, Azmi Yahya, Muhammad Razif, Nazmi Mat |
Mechanization status based on machinery utilization and workers' workload in sweet corn cultivation in Malaysia. |
Comput. Electron. Agric. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Alejandro Gadea, Emmanuel Gunther, Miguel Pagano |
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shunei Norikumo |
History of Mechanization and Organizational Change in the Life Insurance Industry in Japan (Examples from Dai-ichi Life, Nippon Life, Imperial Life, Meiji Life). |
KES-IDT |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mehdi Eskandarzade, R. M. Chandima Ratnayake, Meysam Najafi Ershadi |
Mechanization of Qualitative Risk Based Inspection Analysis. |
IEEM |
2020 |
DBLP DOI BibTeX RDF |
|
23 | |
International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Tuhin Sengupta, Gopalakrishnan Narayanamurthy, Roger Moser 0001, Pradeep Kumar Hota |
Sharing app for farm mechanization: Gold Farm's digitized access based solution for financially constrained farmers. |
Comput. Ind. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Schreck |
On the Mechanization of Straightedge and Compass Constructions. |
J. Syst. Sci. Complex. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Mechanization of Separation in Generic Extensions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
23 | Jared Moore |
The Price of Mechanization: Vonnegut's Player Piano in the 2010s [Review Essay]. |
IEEE Technol. Soc. Mag. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |
Bar-Hillel Theorem Mechanization in Coq. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Shunei Norikumo |
Changes in Organizations Due to Management Mechanization (Case Studies of Life Insurance Companies in Japan). |
KES-IDT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Xiaoqiang Wu, Ruican Hao |
Thinking on the C Language Teaching Method for the Major of Agricultural Mechanization Engineering. |
eLEOT |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Anthony Matthews |
The operation and mechanization of the hemispherical resonator gyroscope. |
PLANS |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Laila Seewang |
Mechanization Takes Command: A Contribution to Anonymous History. Sigfried Giedion. Minneapolis, MN: University of Minnesota Press, 2013, 785 pp. $29.95 (softcover) (ISBN: 9780816690435). |
J. Assoc. Inf. Sci. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Guillaume Allais |
Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic. |
TYPES |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Wenchao Gao, Xiaoming Xu, Lisheng Xu, Pu Liu, Tian Gao |
A fast nonlinear placement algorithm to improve agricultural mechanization. |
Agro-Geoinformatics |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Kuen-Bang Hou (Favonia) |
Higher-Dimensional Types in the Mechanization of Homotopy Theory. |
|
2017 |
DOI RDF |
|
23 | Rachida Khaled, Lamine Hammas |
Technological Innovation and the Agricultural Sustainability: What Compatibility for the Mechanization? |
Int. J. Innov. Digit. Econ. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
23 | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Avraham Shinnar, Jérôme Siméon, Martin Hirzel |
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). |
Dagstuhl Artifacts Ser. |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann |
Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology. |
ES |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Avraham Shinnar, Jérôme Siméon, Martin Hirzel |
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. |
ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Selfridge |
An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. |
ACL2 |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Timothy Bourke |
Mechanization of the Algebra for Wireless Networks (AWN). |
Arch. Formal Proofs |
2014 |
DBLP BibTeX RDF |
|
23 | Qing Dong, Min-li Yang |
Design and Implementation of WeChat Public Service Platform for the China Research Center for Agricultural Mechanization Development, CAU. |
CCTA |
2014 |
DBLP DOI BibTeX RDF |
|
23 | A. M. N. D. B. Seneviratne, R. M. Chandima Ratnayake |
Use of MCDM and AI Techniques for Mechanization of In-Service Inspection Planning Process. |
APMS (3) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Benzmüller, Bruno Woltzenlogel Paleo |
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
23 | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
Run your research: on the effectiveness of lightweight mechanization. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Markus Kleinert, Christian Ascher, Uwe Stilla |
Comparison of inertial mechanization approaches for inertial aided monocular EKF-SLAM. |
FUSION |
2012 |
DBLP BibTeX RDF |
|
23 | Eli Banks Liberato da Costa |
Charles Babbage (1791-1871) and the mechanization of calculus: from the gears to the thinking machine (Charles Babbage (1791-1871) e a mecanização do cálculo: das engrenagens à máquina de pensar). |
|
2012 |
RDF |
|
23 | Ruili Wang, Yulong Zhang 0002, Yi Huang, Fenglan Wei, Xuewei Bai, E. Liu |
Mechanization of deep tillage and mulching to improve soil water content and spring maize yield. |
EMEIT |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jieung Kim, Sukyoung Ryu |
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. |
CPP |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Wilmer Ricciotti |
Theoretical and implementation aspects in the mechanization of the metatheory of programming languages. |
|
2011 |
RDF |
|
23 | Marc Bezem, Dimitri Hendriks |
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving |
23 | Daniel Lesnic, C. Zhao |
Algorithmization and mechanization of the Cauchy problem associated with the plate equation. |
Int. J. Comput. Math. |
2007 |
DBLP DOI BibTeX RDF |
|
23 | H. M. Habib, E. R. El-Zahar |
An algorithm for solving singular perturbation problems with mechanization. |
Appl. Math. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Mamoun Filali |
A Mechanization of Phylogenetic Trees. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
23 | Weiming Wang |
An algorithm for solving the high-order nonlinear Volterra-Fredholm integro-differential equation with mechanization. |
Appl. Math. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Caidi Zhao |
Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms. |
Appl. Math. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Jon Doyle |
On Mechanization of Thought Processes (Extended Abstract). |
KR |
2006 |
DBLP BibTeX RDF |
|
23 | Weiming Wang, Changsheng Lin |
A new algorithm for integral of trigonometric functions with mechanization. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Zhenqing Li, Weiming Wang |
Mechanization for solving SPP by reducing order method. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Caidi Zhao |
Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Weiming Wang |
An algorithm for solving nonlinear singular perturbation problems with mechanization. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Weiming Wang 0001, Xinze Lian |
Computations of multi-resultant with mechanization. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Weiming Wang |
An algorithm for solving DAEs with mechanization. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Caidi Zhao |
Algorithm and mechanization to Cauchy problem of parabolic equation. |
Appl. Math. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Panagiotis Manolios, Daron Vroon 0001 |
Ordinal Arithmetic: Algorithms and Mechanization. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
automated reasoning, arithmetic, ACL2, ordinal |
23 | Minli Yang, Feng Yang, Lijuan Shi, Jieqiang Zhuo |
Study on Web-Based Agricultural Mechanization Decision Support System. |
AIAI |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Gualtiero Piccinini |
Jean-Pierre Dupuy, The Mechanization of Mind: On the Origins of Cognitive Science. |
Minds Mach. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | J. Christian Attiogbé |
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Soliman A. Edress, El-Sayed A. Al-Azhry, Yasser Abdelhamid |
Decision Support System for Establishing Agricultural Mechanization Units. |
Egypt. Comput. Sci. J. |
2001 |
DBLP BibTeX RDF |
|
23 | Ezequiel A. Di Paolo |
The Mechanization of the Mind: On the Origins of Cognitive Science, Stefan Wermter (Ed.), Jean-Pierre Dupuy, translated by M.B. DeBevoise, Princeton University Press, 2000, $29.95 / £19.95, 240 pp. ISBN: 0-691-02574-6. |
Cogn. Syst. Res. |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Céline Mariage, Jean Vanderdonckt |
Mechanization of web design guidelines evaluation. |
HCI |
2001 |
DBLP BibTeX RDF |
|
23 | Carlos Gustavo Guerra |
The Mechanization of Intelligence and the Human Aspects of Music. |
Readings in Music and Artificial Intelligence |
2000 |
DBLP BibTeX RDF |
|
23 | Jacques D. Fleuriot |
On the Mechanization of Real Analysis in Isabelle/HOL. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
23 | David M. Goldschlag |
A Mechanization of Unity in PC-NQTHM-92. |
J. Autom. Reason. |
1999 |
DBLP DOI BibTeX RDF |
|
23 | César A. Muñoz, John M. Rushby |
Structural Embeddings: Mechanization with Method. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Stéphane Demri |
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
23 | James F. Peters III |
Mechanization of Real-Time Linear CSP with Higher Order Logic. |
Fundam. Informaticae |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Ricardo Caferra |
Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. |
J. Appl. Non Class. Logics |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Odile Hermann |
Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre. (Mechanization of proof search for program synthesis in the second order functional arithmetic). |
|
1995 |
RDF |
|
23 | Michael Kohlhase |
A mechanization of sorted higher-order logic based on the resolution principle. |
|
1994 |
RDF |
|
23 | Zongming Fei, Jian Lu 0001 |
An Approach Toward Mechanization of Acquiring Reusable Software Components. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Yukinobu Tokunaga |
History and current state of postal mechanization in Japan. |
Pattern Recognit. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
23 | David Zhu, Jean-Claude Latombe |
Mechanization of spatial reasoning for automatic pipe layout design. |
Artif. Intell. Eng. Des. Anal. Manuf. |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Alan F. McMichael |
Mechanization of Analytic Reasoning About Sets. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
23 | Guillermo Arango |
Practical KBSE =3D Knowledge + Reuse + Mechanization. |
SCAI |
1989 |
DBLP BibTeX RDF |
|
23 | Alexandre Bronstein |
MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits. |
|
1989 |
RDF |
|
23 | Andrew Ireland |
Mechanization of program construction in Martin-Loef's theory of types. |
|
1989 |
RDF |
|