Frédéric Zamkotsian

According to our database, Frédéric Zamkotsian authored at least 2 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Combining representation formalisms for reasoning upon mathematical knowledge.

Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian

Proceedings of the 12th Knowledge Capture Conference 2023, 2023

2015

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array.

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015