Login:
Password:
Login
International Conference «Advanced Mathematics, Computations and Applications 2019» (AMCA-2019)
Novosibirsk, Russia
Information letter
Important dates
Program committee
Organizing committee
Topics
Scientific program
Open lecture
Round-table discussion
Abstract submission
Visa
Registration fee
Accommodation
Travel information
Proceedings
Participants
Reports
Registration/Login
Anureev I.S.
Bodin E.V.
Kodratyev D.A.
Promsky A.V.
Shilova S.O.
Fayfel B.L.
Shilov N.V.
Formal specification and verification of the standard Mathematical functions
Reporter:
Shilov N.V.
To reports list