Work

Review of Group Formalism for Automated Formalization in Mechanical Engineering

Year: 2025

Type: conference-paper

Source: International Conference on Intelligent Communication Technologies and Virtual Mobile Networks (ICICV)

Authors: Moulya K. B, Bernardo Sebastiao, Milton Kakupa, Keerthana B. Chigateri

Institution: Nitte University

Language: English

Topic: Manufacturing Process and Optimization

Subfield: Industrial and Manufacturing Engineering

Field: Engineering

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4412713091

FWCI: 2.526

Cites: 21

Cited by: 1

Related to: 10